Faculty of BSU

1 |
Name of the discipline |
Mathematical Logic |

2 |
Course of study |
3 |

3 |
Semester of training |
6 |

4 |
Amount of credits |
3 |

5 |
FULL NAME of lecturer | Candidate of physical and mathematical sciences,Senior LecturerTarazevich Yury Georgievich |

6 |
Objectives of the studydisciplines | Acquaintance with the problems and methods of discrete mathematics. Forming the skills of discrete mathematical thinking and the ability to apply it in solving specific problems.As a result of the study, the student should be able to:- formulate the main statements from the considered sections of Mathematical Logic;- apply basic statements to solve typical problem |

7 |
Prerequisites | Discrete mathematics, algebra, mathematical analysis |

8 |
Contentdisciplines | The subject of mathematical logic. The logic of statements. The calculus of propositions. The logic of predicates. Calculus of predicates. Turing machines. |

9 |
Recommendedliterature | 1. E. Mendelson, Introduction to mathematical logic. M .: Nauka, 19822. S. Yablonsky, Introduction to Discrete Mathematics. M.: Nauka, 1986.3. I. Lavrov, L. Maksimova, Problems in set theory, mathematical logic and the theory of algorithmic algorithms. M .: Nauka, 19844. A. Moshchensky, V. Moshchensky, Course of mathematical logic. Minsk: BSU, 2001. |

10 |
Teaching methods | Reproductive (passive), visual, comparative, dialog-heuristic, problematic, research |

11 |
Language of instruction | Russian |

12 |
Conditions (requirements),routine control | Theoretical colloquium, written test work |

13 |
Current formattestation | credit |