5 semester

1

Title

Mathematical logic

2

Course

3rd  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