Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Переменная свободная



КнигаСтраницы для поиска
Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика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
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте