Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
 1..5 
1.
В18я73
П 25

    Пентус, Анна Евгеньевна.
    Математическая теория формальных языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). - ISBN 5-94774-512-7. - ISBN 5-9556-0062-0 : 300.00 р.
ББК В18я73
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
формальные языки -- порождающие грамматики -- конечные автоматы -- математическая лингвистика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие
2.
В185.2я73
С 59

    Соколов, Валерий Анатольевич.
    Формальные языки и грамматики [] : задачи и упражнения : учеб. пособие для вузов / В. А. Соколов, О. Б. Кушнаренко, Н. М. Бадин. - Ярославль : [б. и.], 1993. - 54 с. - ISBN 5-230-18242-3 : 400.00 р.
ББК В185.2я73
Рубрики: Программирование
Кл.слова (ненормированные):
формальные языки -- языки программирования -- математическое программирование -- учебник В185.2 -- задачи В185.2 -- ЯрГУ -- грамматика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Кушнаренко, Ольга Борисовна; Бадин, Николай Михайлович
Свободных экз. нет
Найти похожие
3.
З973.2-018.1я73
О-60

    Опалева, Эльвира Александровна.
    Языки программирования и методы трансляции [Текст] : [учеб. пособие для вузов] / Э. А. Опалева, В. П. Самойленко. - СПб : БХВ-Петербург, 2005. - 476 с. - ISBN 5-94157-327-8 : 135.42 р.
ББК З973.2-018.1я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- компиляция -- формальные грамматики -- формальные языки -- распознающие автоматы -- конечные автоматы -- синтаксический анализ -- учебник З973.2-018.1 -- учебник В185.2

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
4.
В185.2я73
С59

    Соколов, Валерий Анатольевич.
    Технологии трансляции [Текст] : учеб. пособие для вузов / В. А. Соколов, Д. Ю. Чалый. - Ярославль : [б. и.], 2008. - 122 с. - ISBN 978-5-8397-0630-9 : 46.00 р.
ББК В185.2я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- формальные языки -- анализаторы -- лексические анализаторы -- синтаксический анализ -- математическая лингвистика -- грамматики -- лексические ошибки -- конечные автоматы -- токены -- трансляторы -- технологии трансляции -- учебник В185.2 -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
5.
519.7/8
М23

    Манин, Ю. И.
    Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - М. : Советское радио, 1980. - 128 с. : ил. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 0.45 р.
ГРНТИ
28
УДК
519.7/8

Кл.слова (ненормированные):
РЕКУРСИВНЫЕ -- ФУНКЦИИ -- АЛГОРИТМ -- ДИОФАНТОВЫ МНОЖЕСТВА -- НЕРАЗРЕШИМОСТЬ -- СЛОЖНОСТЬ ПО КОЛМОГОРОВУ -- СЛУЧАЙНОСТЬ -- ВЕРСАЛЬНЫЕ СЕМЕЙСТВА -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВЫЧИСЛИМОСТЬ -- теорема Геделя -- принцип неполноты

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
 1..5