1 
Title 
Mathematical logic 
2 
Course 
3^{rd} course, qualification: mathematics; mathematics and software programming for mobile devices. 
3 
Semester 
5 
4 
Credits 
4 
5 
Name and Surname of the lecturer 
PhD, associate professor Suprun Valery Pavlovich

6 
Main goals 
Introduction into mathematical logic, as a branch of discrete mathematics. Evolution of mathematical skills of thinking implementing for typical mathematical tasks solving.
Mandatory skills for graduate students: – formulize main definitions of mathematical logic; – implement definitions and propositions for typical tasks of logic design in electronics; – use main points of mathematical logic for various section of mathematics. 
7 
Knowledge 
Main points of combinatory, set theory, and theory of Boolean functions. 
8 
Сontent 
Subject of mathematical logic. Boolean algebra. Propositional calculus. Predicate calculus. Turing Machine. 
9 
Literature 
1. Novikov P.S. Elementi matematicheskoi logiki. M. Nauka, 1973. 2. Mendelson E., Vvedenie v matematicheskuyu logiku. M.: Nauka, 1971. 3. Yablonsky S.V. Vvedenie v diskretnuiu matematiku. M.: Nauka, 1986. 4. Suprun V.P. OSnovi matematicheskoi logiki. M.: Lenand / URSS, 2017. 
10 
Form of lectures 
Dialogic, demonstration, heuristic, problematic, researching 
11 
Language 
Russian 
12 
Testing forms 
Theoretical and writing tests 
13 
Form of exam 
Exam (current rating value 0.3), exam value – 0.7 