Вид документа : Однотомное издание Шифр издания : 517/Г 858 Автор(ы) : Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович Заглавие : Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" Выходные данные : Москва: КНОРУС, 2010 Колич.характеристики :206, [2] с.: ил. Примечания : Библиогр.: с. 205-206 ISBN, Цена 978-5-406-00120-2: 140.00, 112.20, р. ГРНТИ : 27.03.19 + 27.03.17 УДК : 510.6 + 510.51](075.8) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): булева алгебра--логика математическая--алгоритмов теория--булевы функции--квайна-мак класки метод--логика предикатов--алгоритм редукции--пролог (язык программирования) Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(9) Свободны : Х(1), ЧЗЕ(1), АБУ(9) Доп.точки доступа: Потоцкий, Сергей Иванович |