Информационные системы и технологии
Информационные Системы И Технологии все записи на форуме https://s2.skladcik.org. Все записи на форуме по тегу Информационные системы и технологии
-
Скачать Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин)
Описание книги: Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, К-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык...- Организатор
- Тема
- алексей набебин дискретная математика информатика информатика и вычислительная техника информационные системы и технологии математика сергей авдошин учебник формально-логические системы и языки
- Ответы: 0
- Форум: Электронные книги
