|
|
 |
| Результат поиска |
Поиск книг, содержащих: Тавтология
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 19 | | Верещагин Н.К., Шень А. — Языки и исчисления | 13, 48 | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 32, 33 | | Новиков Ф.А. — Дискретная математика для программистов | 102, 107 | | Мендельсон Э. — Введение в математическую логику | 24 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 849, 863 | | Клини С. — Математическая логика | 144 | | Куратовский К., Мостовский А. — Теория множеств | 12 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 208, 236 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 23, 38 | | Никольская И.Л. — Математическая логика | 27 | | Малпас Дж. — Реляционный язык Пролог и его применение | 32—33,69 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 51, 82, 86, 89, 91, 137, 143, 158, 336 | | Кон П. — Универсальная алгебра | 219 | | Голдблатт Р. — Топосы. Категорный анализ логики. | 142, 143 | | Фейс Р. — Модальная логика | 326 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 501 | | Хант Э. — Искусственный интеллект | 351, 358 | | Гладкий А.В. — Математическая логика | 105 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—1147; V—317 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46, 75 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 85, 127 | | Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 215 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 254 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 21 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 304 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 20 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 212, 219, 370 | | Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 643, 644, 645, 648, 656, 657, 659 | | Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных | 174, 248, 382 | | Ковальски Р. — Логика в решении проблем | 188 | | Бунге М. — Причинность. Место принципа причинности в современной науке | 98, 242, 250, 328 | | Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 588 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 179 | | Хаггарти Р. — Дискретная математика для программистов | 36 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 13, 47 | | Клини С.К. — Математическая логика | 144 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 128 | | Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 483 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 99 | | Мендельсон Э. — Введение в математическую логику | 24 | | Жолков С.Ю. — Математика и информатика для гуманитариев | 209 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 85, 127 | | Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики | 166 | | Хаггарти Р. — Дискретная математика для программистов | 36 |
|
|
|
|
О проекте