Mathematical Logic and Theory of Algorithms
Course: «Applied (computer) Linguistics and English language»
Structural unit: Educational and Scientific Institute of Philology
Title
Mathematical Logic and Theory of Algorithms
Code
ННД.11.03
Module type
Обов’язкова дисципліна для ОП
Educational cycle
First
Year of study when the component is delivered
2021/2022
Semester/trimester when the component is delivered
2 Semester
Number of ECTS credits allocated
2
Learning outcomes
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.
Form of study
Full-time form
Prerequisites and co-requisites
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.
Course content
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.
Recommended or required reading and other learning resources/tools
Planned learning activities and teaching methods
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).
Assessment methods and criteria
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.
Language of instruction
Ukrainіаn
Lecturers
This discipline is taught by the following teachers
Departments
The following departments are involved in teaching the above discipline