|
|
 |
| Результат поиска |
Поиск книг, содержащих: Метаязык
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 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 | | Валиков А.Н. — Технология XSLT | 55 | | Моль А. — Теория информации и эстетическое восприятие | 203—204 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 218, 459, 470 | | Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 28 | | Себеста Р.У. — Основные концепции языков программирования | 128 | | Берестовая С.Н., Перевозчикова О.Л., Романов В.М. — Конструирование систем программирования обработки данных | 55 | | Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal | 21 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 379 | | Клини С.К. — Математическая логика | 12, 239—243, 247, 307 | | Хэмминг Р.В. — Теория кодирования и теория информации | 19 | | Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 14 | | Мендельсон Э. — Введение в математическую логику | 39 | | Гришкин И.И. — Понятие информации. Логико-методолгический аспект. | 37, 55, 120, 132 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 183 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 194 |
|
|
|
|
О проекте