Дискретная математика. Формально-логические системы и языки
Авдошин, С. М.Код товара: 3364883
Наличие:
товар закончился
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог.
Цена в интернет-магазине может отличаться от цены в магазинах сети.
- Вид товара:Книги
- Рубрика:Прикладная и вычислительная математика. Математическое программирование. Математическая кибернетика
- Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
- ISBN:978-5-97060-622-3
- Серия:Несерийное издание
- Издательство: ДМК ПРЕСС
- Год издания:2018
- Количество страниц:389
- Тираж:200
- Формат:70х100/16
- Переплет:мягкая обложка
- Автор/Редактор/Составитель:С. М. Авдошин, А. А. Набебин
- Вес, г.:576
- Код товара:3364883
Поделиться:
ТАКЖЕ ВАМ МОЖЕТ БЫТЬ ИНТЕРЕСНО
3364883