|
|
 |
| Результат поиска |
Поиск книг, содержащих: Дизъюнктивная нормальная форма
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 19, 27, 30 | | Мендельсон Э. — Введение в математическую логику | 34 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1124 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 863 | | Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства | 45 | | Клини С. — Математическая логика | 46 | | Биркгоф Г., Барти Т. — Современная прикладная алгебра | 165 | | Эдельман С.Л. — Математическая логика | 38 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 34 | | Токхейм Р. — Основы цифровой электроники | 81 | | Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 90,134 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 29 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 46 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—126, 563; II—135 | | Линде Д.П. (ред.) — Справочник по радиоэлектронным устройствам (том 1) | 393 | | Гладкий А.В. — Введение в современную логику | 69 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 47 | | Кохонен Т. — Ассоциативные запоминающие устройства | 310 | | Романовский И.В. — Дискретный анализ | 20 | | Миллер Р — Теория переключательных схем. Том 1. Комбинационные схемы | 111, 147 | | Босс В. — Лекции по математике. Том 10 | 28 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 180 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 206 | | Хаггарти Р. — Дискретная математика для программистов | 198 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 19, 26, 30 | | Клини С.К. — Математическая логика | 46 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 21 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 88, 189 | | Мендельсон Э. — Введение в математическую логику | 34 | | Хаггарти Р. — Дискретная математика для программистов | 198 | | Биркгоф Г., Барти Т. — Современная прикладная алгебра | 165 |
|
|
|
|
О проекте