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