Математическая логика и теория алгоритмов. Учебное пособие
Об издании
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
Библиографическая запись
Перемитина, Т. О. Математическая логика и теория алгоритмов : учебное пособие / Т. О. Перемитина. — Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. — 132 c. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/72121.html (дата обращения: 27.07.2023). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Профобразование)
Князьков В.С., Волченская Т.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Зыков С.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Куликов А.И., Овчинникова Т.Э.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Крючек Е.С., Айзятуллова Г.Р., Пашкова Л.В.
(Издательство «Спорт»)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Профобразование)
Князьков В.С., Волченская Т.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Зыков С.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Куликов А.И., Овчинникова Т.Э.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Крючек Е.С., Айзятуллова Г.Р., Пашкова Л.В.
(Издательство «Спорт»)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Гунина И.А.
(Воронежский государственный технический университет, ЭБС АСВ)
Алексеев А.Н., Абалакин А.А., Блау С.Л., Хриптулов И.В., Гнездова Ю.В., Романова Ю.А., Солдатова Н.Ф., Романова И.Н., Семченкова С.В., Лазько О.В., Чулкова Г.В., Кузьменкова В.Г., Королева Е.Л., Лавр...
(Научный консультант)
Редькина Т.М., Шашина И.А., Гурьянов А.В.
(Международный банковский институт имени Анатолия Собчака)
Василенко Н.В.
(Международный банковский институт имени Анатолия Собчака)
Беловицкий К.Б., Булатенко М.А., Микаева А.С., Шеверева Е.А.
(Научный консультант)
Васина А.В.
(Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ)
Синютин С.А., Леонова А.В.
(Издательство Южного федерального университета)
Гунина И.А.
(Воронежский государственный технический университет, ЭБС АСВ)
Алексеев А.Н., Абалакин А.А., Блау С.Л., Хриптулов И.В., Гнездова Ю.В., Романова Ю.А., Солдатова Н.Ф., Романова И.Н., Семченкова С.В., Лазько О.В., Чулкова Г.В., Кузьменкова В.Г., Королева Е.Л., Лавр...
(Научный консультант)
Редькина Т.М., Шашина И.А., Гурьянов А.В.
(Международный банковский институт имени Анатолия Собчака)
Василенко Н.В.
(Международный банковский институт имени Анатолия Собчака)
Беловицкий К.Б., Булатенко М.А., Микаева А.С., Шеверева Е.А.
(Научный консультант)
Васина А.В.
(Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ)
Синютин С.А., Леонова А.В.
(Издательство Южного федерального университета)