МАТЕМАТИЧЕСКАЯ ЛОГИКА?И ТЕОРИЯ АЛГОРИТМОВ | Научно-инновационный портал СФУ

МАТЕМАТИЧЕСКАЯ ЛОГИКА?И ТЕОРИЯ АЛГОРИТМОВ

Год издания: 2019

Ключевые слова: алгебра логики, формулы алгебры логики, исчисление высказываний, исчисление предикатов, формальные аксиоматические теории, алгоритмов теория, теория алгоритмов, вычислительной сложности теория, теория вычислительной сложности

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

Ссылки на полный текст

Издание

Место издания: Красноярск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.