 |
Лекции по дискретной математике: функциональные системы с операциями - http://www.csu.ac.ru/students/lectures/ldm.pdf
Рассмотривается алгебра логики (функции, ДНФ, замыкание, классы и полнота) и k-значная логика (функции, операции замыкания и полнота, теорема Кузнецова, критерий Слуцкого). Е.А.Фоминых. |