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