Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Нормальная форма конъюнктивная
Книга
Страницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления
19
Нильсон Н. — Искусственный интеллект. Методы поиска решений
184
Глушков В.М. — Синтез цифровых автоматов
211
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.
83
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
59
Виноградов И.М. — Математическая энциклопедия. Предметный указатель
I—126; II—1102
Ростовцев А.Г., Маховенко Е.Б. — Теоретическая криптография
341
Глушков В.М. — Основы безбумажной информатики
531
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики
180
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления
19
Савельев А. Я — Арифметические и логические основы цифровых автоматов
175
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте