Сергей Авдошин, Алексей Набебин – Дискретная математика. Формально-логические системы и языки
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых [...]