Математическая логика и теория алгоритмов
| Подзаголовок: | Учебное пособие |
| Издательство: | Томский государственный университет систем управления и радиоэлектроники |
| Авторы: | Перемитина Т.О. |
| Год издания: | 2016 |
| ISBN: | |
| Тип издания: | учебное пособие |
| Гриф: |
Библиографическая запись
Перемитина, Т. О. Математическая логика и теория алгоритмов : учебное пособие / Т. О. Перемитина. — Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. — 132 c. — ISBN 2227-8397. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/72121 (дата обращения: 04.11.2025). — Режим доступа: для авторизир. пользователей
Об издании
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
Рекомендуем
Уголовно-правовые и криминологические аспекты преступлений против собственности