Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные языки<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

681.3
Л 69

Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.

УДК

681.3

519.76

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика

Доп.точки доступа:
Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

681.3.06(075)
К 63

Компаниец, Р. И.
Системное программирование. Основы построения трансляторов [Text] : учебник [для вузов] / Компаниец, Р. И., Маньков, Е. В., Филатов, Н. Е. - СПб. : КОРОНА принт, 2000. - 254 с. : ил, табл. - (Учебное пособие для высших и средних учебных заведений). - Библиогр.: с. 255. - ISBN 5-7931-0124-1 : 143-00 р.

УДК

681.3.06(075)

681.3.068(075)

681.3.066.1(075)

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Кл.слова (ненормированные):
программирование -- системное программирование -- трансляторы -- языки транслятора -- конверторы программ -- математические модели языков -- компиляторы -- анализаторы -- "Каштан" система -- формальные языки -- операционные системы -- операционные среды

Доп.точки доступа:
Маньков, Е. В.; Филатов, Н. Е.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие

681.31(075)
К 68

Королев, Л. Н.
Информатика [Text] : введение в компьютерные науки : учебник для вузов / Королев, Л. Н., Миков, А. И. - М. : Высш. шк., 2003. - 340 с. : ил. - Библиогр.: с. 320-321. - Перечень привед. в кн. алгоритмов : с. 327-328. - Предм. указ.: с. 329-341. - ISBN 5-06-004272-3 (в пер.) : 193-00 р.

УДК

681.31(075)

681.31(09)

681.3.06(075)

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ОБЩИЕ ВОПРОСЫ АВТОМАТИКИ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ--ИСТОРИЯ АВТОМАТИКИ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ.ПЕРСОНАЛИЯ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Кл.слова (ненормированные):
информатика -- алгоритмы -- формальные языки -- ЭВМ -- ПЭВМ -- запоминающие устройства -- обработка данных -- лабораторные практикумы -- персоналии -- ученые -- история вычислительной техники

Доп.точки доступа:
Миков, А. И.
Экземпляры всего: 2
НТА (1), КХ (1)
Свободны: НТА (1), КХ (1)
Найти похожие

004(075)
Г 12

Гавриков, М. М.
Теоретические основы разработки и реализации языков программирования [Text] : учеб. пособие для вузов / Гавриков, М. М., Иванченко, А. Н., Гринченков, Д. В. - М. : Кнорус, 2010. - 177 с. : ил., табл. - Библиогр.: с. 178. - ISBN 978-5-406-001 21-9 : 94-00 р.

УДК

004(075)

004.43(075)

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Кл.слова (ненормированные):
языки программирования -- формальные языки -- трансляторы -- компиляторы -- синтаксический анализ -- семантические анализ -- сканирование

Доп.точки доступа:
Иванченко, А. Н.; Гринченков, Д. В.
Экземпляры всего: 2
ОХФ (1), ООНЛ (1)
Свободны: ОХФ (1), ООНЛ (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)