Год издания: 2019
Ключевые слова: алгебра логики, формулы алгебры логики, исчисление высказываний, исчисление предикатов, формальные аксиоматические теории, алгоритмов теория, теория алгоритмов, вычислительной сложности теория, теория вычислительной сложности
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.?Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Издание
Место издания: Красноярск
Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет
Персоны
- Вайнштейн Юлия Владимировна (Сибирский федеральный университет)
- Пенькова Татьяна Геннадьевна (Красноярский научный центр СО РАН)
- Вайнштейн Виталий Исаакович (Сибирский федеральный университет)
- Ноженкова Л.Ф., рец. (Красноярский научный центр СО РАН)
- Рудакова Г.М., рец. (Сибирский государственный университет науки и технологий им. акад. М.Ф. Решетнева)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.