|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Исчисление предикатов
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. | 457 | | Верещагин Н.К., Шень А. - Языки и исчисления | 58, 158 | | Новиков Ф.А. - Дискретная математика для программистов | 119 | | Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 276 | | Дейт К. - Введение в системы баз данных | 899, 907 | | Клини С. - Математическая логика | 93-176, 241, 248, 339 | | Эдельман С.Л. - Математическая логика | 115, 127, 157-163 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. - Логика. Автоматы. Алгоритмы | 41, 440 | | Горбатов В.А. - Фундаментальные основы дискретной математики. Информационная математика | 142 | | Нильсон Н. - Искусственный интеллект. Методы поиска решений | 172 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики | 62 | | Смолин Д.В. - Введение в искусственный интеллект: конспект лекций | 61 | | Фути К., Судзуки Н. - Языки программирования и схемотехника СБИС | 46 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. - Достоверный и правдоподобный вывод в интеллектуальных системах | 46, 52 | | Кобринский Н.Е., Трахтенброт Б.А. - Введение в теорию конечных автоматов | 69 (см. также 'Логика предикатов') | | Фейс Р. - Модальная логика | 24 | | Гильберт Д., Бернайс П. - Основания математики. Логические исчисления и формализация арифметики. | 141, 144-145 | | Ярцева В.Н. (ред.) - Большой Энциклопедический Словарь. Языкознание | 110, 439 | | Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 228 | | Каллан Р. - Основные концепции нейронных сетей | 199 | | Юревич Е.И. - Основы робототехники | 221 | | Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 214 | | Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов | 81 | | Энгелер Э. - Метаматематика элементарной математики | 14 | | Пенроуз Р. - Тени разума. В поисках науки о сознании | 155, 260 | | Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 219 | | Слэйгл Дж. - Искусственный интелект | 119, 261 | | Андерсон Р. - Доказательство правильности программ | 79 | | 3алманзон Л.А. - Беседы об автоматике и кибернетике | 291 | | Гаек П., Гавранек Т. - Автоматическое образование гипотез | 17 | | Марков А.С., Лисовский К.Ю. - Базы данных. Введение в теорию и методологию | 208, 216 | | Себеста Р.У. - Основные концепции языков программирования | 617 | | Лорьер Ж.-Л. - Системы искусственного интеллекта | 101 | | Гетманова А.Д. - Учебник по логике | 73 | | Поспелов Д.А. - Фантазия или наука: на пути к искусственному интеллекту | 59 | | Верещагин Н.К., Шень А. - Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 56, 156 | | Клини С.К. - Математическая логика | 93-176, 241, 248, 339 |
|
|
|
|
|
|
|
О проекте