Математическая логика и теория алгоритмов

Вайнштейн, Юлия Владимировна; Пенькова, Татьяна Геннадьевна; Вайнштейн, Виталий Исаакович

Математическая логика и теория алгоритмов

Вайнштейн, Юлия Владимировна, Пенькова, Татьяна Геннадьевна, Вайнштейн, Виталий Исаакович

Дата публикации: 2019

Дата публикации в реестре: 2020-06-02T17:13:07Z

Аннотация:

Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.

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