Математическая логика и теория алгоритмов. Учебное пособие
Об издании
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 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 (дата обращения: 27.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Иванова Ю.А., Мишенева Ю.И., Нестеренко В.Г., Сайтимова Т.Н.
(Профобразование)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Филимонова А.В.
(Волгоградский государственный социально-педагогический университет, «Перемена»)
Богатырёва Н.Ю.
(Московский педагогический государственный университет)
Краснощеков В.В., Сидорчук И.В., Колбасенкова А.Е.
(Санкт-Петербургский политехнический университет Петра Великого)
Протодьяконов А.В., Пылов П.А., Садовников В.Е.
(Инфра-Инженерия)
Фарафонова О.В., Дергунова B.C.
(Липецкий государственный технический университет, ЭБС АСВ)
Марианна де Силва Прадо
(Когито-Центр, Московский институт психоанализа)