Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>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