Математична логіка, теорія алгоритмів та програмування (ПМ_

Mathematical logic, theory of algorithms and programming

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

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.

При використанні матеріалів - посилання на сайт  обов'язкове

Політика конфіденційності

Технічна підтримка сайту

Повідомити про корупцію

Image

Україна, 33028, м. Рівне, вул. Соборна 11, mail@nuwm.edu.ua

Контакти

Наші координати

Скринька довіри

Image

При використанні матеріалів - посилання на сайт  обов'язкове

Всі права захищені законодавством України

Технічна підтримка сайту

Україна, 33028, м. Рівне, вул. Соборна 11,

mail@nuwm.edu.ua

Контакти

Наші координати

2024 Національний університет водного господарства та природокористування