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