Электронный каталог

Электронный ресурс

Перемитина, Т. О.
Математическая логика и теория алгоритмов : учебное пособие / Министерство образования и науки Российской Федерации ; Томский Государственный Университет Систем Управления и Радиоэлектроники (ТУСУР). – Томск : ТУСУР, 2016. – 132 с. : ил. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=480886. – http://biblioclub.ru/. – Библиогр.: с.130. – На рус. яз.

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».

510.6
510.51

основной = ЭБС Университетская библиотека