Робоча програма «Математична логіка, теорія алгоритмів та програмування» для студентів спеціальності 122 «Комп’ютерні науки». Program of the Discipline «Mathematical logic, theory of algorithms and programming» Specialty 122 «Computer Science»

Downloads

Downloads per month over past year

04-01-29 Жуковська, Н. А. (2019) Робоча програма «Математична логіка, теорія алгоритмів та програмування» для студентів спеціальності 122 «Комп’ютерні науки». Program of the Discipline «Mathematical logic, theory of algorithms and programming» Specialty 122 «Computer Science». [Робочі програми]

[img] Text
04-01-29 (1).pdf

Download(747kB)

Abstract

Суть навчальної дисципліни «Математична логіка, теорія алгоритмів та програмування» – вивчення мислення за допомогою числень при використанні математичних методів та спеціальних символів. Математична логіка вивчає різні математичні теорії, зокрема формальні аксіоматичні теорії логіки висловлень та логіки предикатів та питання їх існування, несуперечності, повноти та розв’язності. Теорія алгоритмів – розділ математики, що вивчає загальні властивості алгоритмів з точки зору алгоритмічних систем. Зокрема, в курсі дисципліни «Математична логіка, теорія алгоритмів та програмування» вивчаються такі алгоритмічні системи, як рекурсивні функції, машини Тюрінга та Поста, нормальні алгоритми Маркова. The essence of the discipline "Mathematical Logic, Theory of Algorithms and Programming" is the study of thinking using numerals using mathematical methods and special characters. Mathematical logic studies various mathematical theories, in particular the formal axiomatic theories of the logic of expressions and the logic of predicates and their existence, consistency, completeness, and solvability. Theory of algorithms is a section of mathematics that studies the general properties of algorithms in terms of algorithmic systems. In particular, in the course of the discipline "Mathematical Logic, Theory of Algorithms and Programming", algorithmic systems such as recursive functions, Tyuring and Post machines, and normal Markov algorithms are studied.

Item Type: Робочі програми
Uncontrolled Keywords: 04-01-29, висловлення, предикат, алгоритм, оператор, марківська підстановка, рекурсивні функції, машина Тюрінга, statement, predicate, algorithm, operator, Markov substitution, recursive functions, Turing machine
Шифр: 04-01-29
Subjects: Шифр галузі знань > 12 Інформаційні технології
Шифр галузі знань > 12 Інформаційні технології > 122 Комп’ютерні науки та інформаційні технології
Шифр галузі знань > 12 Інформаційні технології > 122 Комп’ютерні науки
Divisions: Навчально-науковий інститут автоматики, кібернетики та обчислювальної техніки > Прикладної математики
Depositing User: В. Є. Перелигіна
Date Deposited: 17 Apr 2019 12:57
Last Modified: 17 Apr 2019 12:57
URI: http://ep3.nuwm.edu.ua/id/eprint/14700

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year