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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Метаязык



КнигаСтраницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств38
Мендельсон Э. — Введение в математическую логику39
Клини С. — Математическая логика12, 239—243, 247, 307
Манин Ю.И. — Доказуемое и недоказуемое9
Никольская И.Л. — Математическая логика22
Малпас Дж. — Реляционный язык Пролог и его применение151,298,318,321
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование234
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах442
Голдблатт Р. — Топосы. Категорный анализ логики.319
Гладкий А.В. — Формальные грамматики и языки11
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание297
Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез194
Линдон Р. — Заметки по логике14, 15
Виноградов И.М. — Математическая энциклопедия. Предметный указательIII—653
Столл Р.Р. — Множества. Логика. Аксиоматические теории183
Борковский А.Б. — Англо-русский словарь по программированию и информатике165
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач14
Браун П. (ред.) — Мобильность программного обеспечения230, 233, 234
Квиттнер Н. — Задачи, программы, вычисления, результаты129
Валиков А.Н. — Технология XSLT55
Моль А. — Теория информации и эстетическое восприятие203—204
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию218, 459, 470
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник28
Себеста Р.У. — Основные концепции языков программирования128
Берестовая С.Н., Перевозчикова О.Л., Романов В.М. — Конструирование систем программирования обработки данных55
Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal21
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс379
Клини С.К. — Математическая логика12, 239—243, 247, 307
Хэмминг Р.В. — Теория кодирования и теория информации19
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач14
Мендельсон Э. — Введение в математическую логику39
Гришкин И.И. — Понятие информации. Логико-методолгический аспект.37, 55, 120, 132
Столл Р.Р. — Множества. Логика. Аксиоматические теории183
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе194
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте