Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Высказывание
Книга
Страницы для поиска
Новиков П.С. — Конструктивная математическая логика с точки зрения классической
9
Верещагин Н.К., Шень А. — Языки и исчисления
9
Дейт К. — Введение в системы баз данных
904
Клини С. — Математическая логика
12, 94, 97, 112, 177
Шапиро С.И. — Решение логических и игровых задач
7, 9
Эдельман С.Л. — Математическая логика
8
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ
140
Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика
94
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики
19
Смолин Д.В. — Введение в искусственный интеллект: конспект лекций
53
Никольская И.Л. — Математическая логика
7
Гиндикин С.Г. — Алгебра логики в задачах
14
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей
35
Степанов С.А. — Арифметика алгебраических кривых
251
Кон П. — Универсальная алгебра
14
Фейс Р. — Модальная логика
226, 296
Шиханович Ю.А. — Введение в современную математику. Начальные понятия
29
Марков А.А., Нагорный Н.М. — Теория алгорифмов
32
Робинсон А. — Введение в теорию моделей и мета-математику алгебры
21
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание
90
Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ
50
Каллан Р. — Основные концепции нейронных сетей
194
Нечаев В.И. — Числовые системы
5
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов
376
Виноградов И.М. — Математическая энциклопедия. Предметный указатель
I—123; V—269
Акофф Р., Эмери Э. — О целеустремленных системах
257—260
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия
11
Панов М.И. — Методические проблемы интуиционистской математики
64, 70, 78, 80
Осуга С. — Обработка знаний
48
Касьянов В.Н. — Оптимизирующие преобразования программ
8
Успенский В.А. — Лекции о вычислимых функциях
53
Глушков В.М. — Основы безбумажной информатики
20
Мантуров О.В., Матвеев Н.М. — Курс высшей математики: Линейная алгебра. Аналитическая геометрия. Дифференциальное исчисление функций одной переменной
388
Акилов Г.П., Дятлов В.Н., Решетняк Ю.Г. (ред.) — Основы математического анализа
16
Робинсон А. — Введение в теорию моделей и математическую логику
21
Рассел С., Норвиг П. — Искусственный интеллект: современный подход
286, 626
Кейслер Г., Чэн Ч.Ч. — Теория моделей
17
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию
119, 143
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник
26
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия
632, 638
Куринной Г.Ч. — Математика. Справочник
57
Левин В.И. — Профессии сжатого воздуха и вакуума
73
Себеста Р.У. — Основные концепции языков программирования
616
Варпаховский Ф.Л., Солодовников А.С. — Алгебра
27
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту
54
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики
172
Бочаров В.А., Маркин В.И. — Основы логики
19
Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы
141
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь
37
Калужин Л.А. — Введение в общую алгебру
61
Линде Д.П. (ред.) — Радиолюбительский справочник
286
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления
9
Клини С.К. — Математическая логика
12, 94, 97, 112, 177
Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы
14
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций
29, 35, 111
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект
82, 195, 197—200, 202, 203, 205, 209, 211—213, 222, 223, 313, см. также "Суждение"
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга
92, 190
Савельев А. Я — Арифметические и логические основы цифровых автоматов
164
Жолков С.Ю. — Математика и информатика для гуманитариев
200
Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики
149
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте