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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Высказывание



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