04-05-12 Карпович, І. М. (2018) Робоча програма навчальної дисципліни “Математична логіка та теорія алгоритмів” для студентів спеціальності 126 ”Інформаційні системи та технології”. WORK PROGRAM EDUCATIONAL DISCIPLINE "Mathematical Logic and Theory of Algorithms" Specialty 126 "Information Systems and Technologies". [Робочі програми]

Preview

Text 04-05-12.pdf Download(645kB) | Preview

Abstract

Програма навчальної дисципліни "Математична логіка та теорія алгоритмів" передбачає вивчення базових понять математичної логіки і теорії алгоритмів, розгляд семантичних моделей логіки та логічних систем, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій. Викладання навчальної дисципліни «Математична логіка та теорія алгоритмів» забезпечить такі результати навчання: застосовувати теоретичні, методичні і практичні підходи для створення сучасних програмних та інформаційних систем; розробляти нові математичні методи, ефективні алгоритми і методи реалізації функцій інформаційних систем і технологій у прикладних галузях. The program of the discipline "Mathematical Logic and Theory of Algorithms" provides for the study of basic concepts of mathematical logic and algorithm theory, the consideration of semantic models of logic, logical systems, formal algorithms and algorithmically calculated functions. Teaching of the discipline "Mathematical Logic and Theory of Algorithms" will provide the following learning outcomes: apply theoretical, methodological and practical approaches for creating modern software and information systems; to develop new mathematical methods, effective algorithms and methods of realization of functions of information systems and technologies in applied branches.

Actions (login required)

View Item

Downloads