Робоча програма «Математична логіка, теорія алгоритмів та програмування» для студентів спеціальності 121 «Інженерія програмного забезпечення (Інтернет речей)». Program of the Discipline «Mathematical logic, theory of algorithms and programming» Specialty 121 «Software Engineering (Internet of Things)»

Завантажень

Завантажень за місяць протягом останнього року

04-01-47 Жуковська, Н. А. (2019) Робоча програма «Математична логіка, теорія алгоритмів та програмування» для студентів спеціальності 121 «Інженерія програмного забезпечення (Інтернет речей)». Program of the Discipline «Mathematical logic, theory of algorithms and programming» Specialty 121 «Software Engineering (Internet of Things)». [Робочі програми]

[img]
Перегляд
Text
04-01-47 (1).pdf

Download(750kB) | Перегляд

Анотація

Суть навчальної дисципліни «Математична логіка, теорія алгоритмів та програмування» – вивчення мислення за допомогою числень при використанні математичних методів та спеціальних символів. Математична логіка вивчає різні математичні теорії, зокрема формальні аксіоматичні теорії логіки висловлень та логіки предикатів та питання їх існування, несуперечності, повноти та розв’язності. Теорія алгоритмів – розділ математики, що вивчає загальні властивості алгоритмів з точки зору алгоритмічних систем. Зокрема, в курсі дисципліни «Математична логіка, теорія алгоритмів та програмування» вивчаються такі алгоритмічні системи, як рекурсивні функції, машини Тюрінга та Поста, нормальні алгоритми Маркова. 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.

Тип елементу : Робочі програми
Ключові слова: 04-01-47, висловлення, предикат, алгоритм, оператор, марківська підстановка, рекурсивні функції, машина Тюрінга, statement, predicate, algorithm, operator, Markov substitution, recursive functions, Turing machine
Шифр: 04-01-47
Тематики: Шифр галузі знань > 12 Інформаційні технології
Шифр галузі знань > 12 Інформаційні технології > 121 Інженерія програмного забезпечення
Підрозділи: Навчально-науковий інститут автоматики, кібернетики та обчислювальної техніки > Прикладної математики
Користувач, що депонує: В. Є. Перелигіна
Дата внесення: 17 Квіт 2019 12:57
Останні зміни: 17 Квіт 2019 12:57
URI: http://ep3.nuwm.edu.ua/id/eprint/14701
Перегляд елементу Перегляд елементу

Завантажень

Завантажень за місяць протягом останнього року