Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/30529
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 15:53:34 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Классы Поста
Автор: Угольников А.Б.
Аннотация:
Учебное пособие содержит доказательство конечной порождаемости всех замкнутых классов функций алгебры логики (классов Поста), на основе которого дано описание структуры всех замкнутых классов. Этот материал входит в программу курса "Дискретная математика", читаемого студентам механико-математического факультета МГУ им. М.В. Ломоносова на четвертом курсе.
|
|
О проекте