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

Михальченко, Галина Ефимовна

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

Михальченко, Галина Ефимовна

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

Дата публикации в реестре: 2020-06-02T16:53:16Z

Аннотация:

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

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

Ключевые слова:
алгебра высказываний, булевы функции, логика предикатов, алгоритмы, теория алгоритмов, 510.6(07)

Тип: Book