Infopaket

Mathematical Logic and Theory of Algorithms

ННД.11.03

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

First

2023/2024

2 Semester

2

PLR 3. To organize the process of learning and self-education. PLR 18. To possess skills for managing projects and solving complicated issues in professional activity in the field of computational linguistics and be responsible for making decisions under unpredictable circumstances. PLR 22. To know the basic Mathematics conceptions and terminology and Mathematic methods and use them to solve specialized tasks of computational linguistics. PLR 27. To know and use relevant mathematical conceptions, methods of domain, system and object-oriented analyses and mathematical simulation, modern programming languages for creating software. PLR 29. To know and use methods of developing algorithms, constructing software as well as data and knowledge structures.

Full-time form

Before starting this course, students should know the basic concepts of discrete mathematics: the basics of set theory, theory of relations, theory of Boolean functions. - To be able to establish the basic multi-theoretical relations, use the apparatus of the theory of Boolean functions.

The goal of the discipline is to acquire basic knowledge of the foundations of mathematical logic, including the study of semantic models and formal languages ​​of logic, their possibilities for describing subject areas; study of formal-axiomatic logical systems and proof search systems, possibilities of their application in applied fields.

Teaching methods: verbal, visual, practical, which contribute to the formation of abilities, skills and competencies (lecture, explanation, demonstration, illustration, discussion, control work, test tasks, presentation (report) independent work).

The semester final grade is formed by the points obtained by the student in the process of performing the specified types and forms of education and obtained in the exam. The maximum distribution is carried out according to the following algorithm: 60 points (60%) - semester control and 40 points (40%) - exam.

Ukrainіаn