Материалов:
875 618

Репозиториев:
30

Авторов:
596 024

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

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

Дата публикации в реестре: 2020-03-31T23:31:10Z

Аннотация:

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

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

Тип: Book


Связанные документы (рекомендация CORE)