Infopaket

Algorithm theory and mathematical logic

Обов’язкова дисципліна для ОП

First

2021/2022

4 Semester

4

Know the basic concepts, tools and methods of mathematical logic, their application in information technology and systems analysis, know the languages ​​of propositional logic and logic of the 1st order, their ability to describe subject areas. Know the basic methods of finding proofs and means of logical inference: the method of resolutions, Hilbert and Henzen type calculations). Know the basic formal models of algorithms and computational functions, their properties, Church's thesis, know coding and numbering, universal functions and programs. Be able to derive in propositional calculus and in prime-order calculus of the Henzen type. Justify your own view on the problem and how to solve it, communicate with colleagues on the application of mathematical logic and algorithm theory.

Know: basic concepts of discrete mathematics: basics of set theory, relations theory, Boolean function theory. Be able to: establish basic set-theoretic relations, use the apparatus of Boolean function theory.

The discipline "Algorithm Theory and Mathematical Logic" is a component of the educational-professional training program for the first (bachelor's) level of higher education in the field of knowledge №12 "Information Technology" in the specialty №124 "System Analysis" of the educational-professional program "System Analysis". This discipline is a compulsory curriculum for the program "Systems Analysis" It is taught in the 4th semester of the 2nd year in the amount of 120 hours. (4 ECTS credits), in particular: lectures - 30 hours, practical classes - 30 hours, independent work - 60 hours. The course includes 4 tests. The discipline ends with a test in the 4th semester.

1. Nikitchenko MS, Shkilnyak SS Mathematical logic and theory of algorithms. - K., 2008. 2. Trokhimchuk RM, Nikitchenko MS Discrete mathematics in examples and problems. Kyiv. nat. Univ. Taras Shevchenko. - Kyiv: Kyiv University, 2017. - 248 p. 3. Zubenko VV, Shkilnyak SS Fundamentals of mathematical logic: a textbook. K .: NULES of Ukraine, 2020.– 102 p.

Lecture, practical classes, independent work

Test work, credit

Ukrainian