Электронный каталог

Электронный ресурс
22.122я73

Вайнштейн, Юлия Владимировна.
Математическая логика и теория алгоритмов [Электронный ресурс] : Учебное пособие / Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн ; СФУ. – Красноярск : СФУ, 2019. – 110 с. – Режим доступа : https://e.lanbook.com/book/157585. – Для авторизованных пользователей МПГУ. – Книга из коллекции СФУ - Математика. – На рус. яз. – ISBN 978-5-7638-4076-6.

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».

ББК 22.122я73
ББК 22.127я73
510.6(07)

основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано