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