|
|
 |
| Результат поиска |
Поиск книг, содержащих: Переменная свободная
| Книга | Страницы для поиска | | Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика | 36, 565 | | Верещагин Н.К., Шень А. — Языки и исчисления | 94 | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 27 | | Кузнецов А.В., Сакович В.А., Холод Н.И. — Высшая математика: математическое программирование | 26, 37 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 467 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 20, 30 | | Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 312 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 158 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 70, 79 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 11 | | Филд А., Харрисон П. — Функциональное программирование | 132 | | Такеути Г. — Теория доказательств | 11 | | Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 49 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 25 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 44 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 22 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 83, 229 | | Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ | 24 | | Новиков П.С. — Элементы математической логики | 129, 184 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 77, 215 | | Гладкий А.В. — Математическая логика | 77 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1083 | | Сакс Дж.Е. — Теория насыщенных моделей | 17 | | Гладкий А.В. — Введение в современную логику | 57 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 69 | | Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 47 | | Уэно Х., Исидзука М. — Представление и использование знаний | 143 | | Осуга С. — Обработка знаний | 93 | | Касьянов В.Н. — Оптимизирующие преобразования программ | 140, 181 | | Робинсон А. — Введение в теорию моделей и математическую логику | 22 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 | | Бердж В. — Методы рекурсивного программирования | 16, 35 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 127 | | Кусраев А.Г. — Булевозначный анализ инволютивных банаховых алгебр | П.1(2) | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 223 | | Бочаров В.А., Маркин В.И. — Основы логики | 102 | | Калужин Л.А. — Введение в общую алгебру | 82 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 93 | | Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 55, 110 | | Новиков П.С. — Элементы математической логики | 129, 184 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 94, 191 |
|
|
|
|
О проекте