Faculty of BSU

1 |
Title |
Mathematical logic |

2 |
Course |
4 |

3 |
Semester |
8 |

4 |
Credits |
3 |

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 |
Basic knowledge of discrete mathematics |

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 |
Final credit test |