|
1 |
Title |
Mathematical logic |
|
2 |
Course |
3rd course, qualification: mathematics, software programming. WEB- and Internet programming |
|
3 |
Semester |
5 |
|
4 |
Credits |
4 |
|
5 |
Name and Summer 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 |