Методичні аспекти навчання дискретної математики майбутніх фахівців з інформаційних технологій

Abstract

The article is devoted to the actual issues of teaching discrete mathematics in the institutions of higher technical education (IHTE). For future IT professionals, knowledge in mathematical logic is of great importance in future professional activities, since it forms the mathematical basis of computer logic. After all, the laws of logic are based on the principles of algorithmization, which are the basis of programming, the principles of coding information. The foundation of all computing and automation is the conversion of binary signals, analysis, design and use of logic circuits. The basis of modern mathematical logic is the computation of expressions and calculations of predicates, which are based on any programming language. Widely used logical methods for building databases. The methodological features of teaching the main sections of discrete mathematics are considered: set theory, Boolean algebra, combinatorics, graph theory for students of IT specialties. Discrete mathematics is important for the formation of complementary types of thinking among students: system-combinatorial and logical-algorithmic. The article deals with specific problems that are directed towards the formation of the system-combinatorial type of thinking. By forming this kind of thinking students can be taught to find solutions in new, unfamiliar circumstances. The article studies that the logical-algorithmic type of thinking is directly related to the algorithmic component of learning. The development of this type of thinking gives students the opportunity for the quick selection from a previously familiar set of conditions, and consequently – finding an optimal solution in specific circumstances. The article may be useful for the teachers who work with future IT specialists.