Каталог
Математическая логика и теория алгоритмов
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
Перемитина Т. О. Математическая логика и теория алгоритмов / Т.О. Перемитина. - Томск : ТУСУР, 2016. - 132 с. - ISBN tusur_2017_68. - URL: http://m.ibooks.ru/bookshelf/356518/reading (дата обращения: 28.03.2024). - Текст: электронный.