Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

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

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

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

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

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

510.6(075)
Л63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текстььь] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

фывфывфыв:
интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг
Аннотация: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

519.85
А 45

Алгебра. Языки. Программирование. [] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. - 3-е изд. перераб. и доп. - К. : Наук. думка, 1989. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-378. - ISBN 5-12-000499-7 : 3.90 р.

УДК

519.85

ББК 22.14 + 22.183.4
Рубрики: Алгебра--Наукові видання
Мови програмування--Наукові видання

фывфывфыв:
множества -- множини -- кардинальные числа -- кардинальні числа -- отношния эквивалентности -- відношення еквівалентності -- универсальные алгебры -- універсальні алгебри -- изолированные множества -- ізольовані множини -- теория программирования -- теорія програмування -- системы алгоритмических алгебр -- системи алгоритмічних алгебр -- адресные программы -- адресні програми -- тождественные преобразования -- тотожні перетворення -- формальные языки -- формальні мови -- линейные грамматики -- лінійні граматики -- контекстно-свободные языки -- контекстно-вільні мови -- языки программирования -- мови програмування -- параметрические грамматики -- параметричні граматики -- проэктирование программ -- проектування програм -- системы программирования -- системи програмування -- структуры -- структури
Аннотация: Монография посвящена изучению алгебраических методов с учётом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Глушков, В. М.; Цейтлин, Г. Е.; Ющенко, Е. Л.
Экземпляры всего: 3
ФОНД (3)
Свободны: ФОНД (3)
Найти похожие

007.52:519.7
К 82

Криницкий, Николай Андреевич.
Алгоритмы и роботы [] / Н. А. Криницкий. - М. : Радио и связь, 1983. - 168 с. : рис., табл. - (Кибернетика). - Лит.: с. 165. - 0.55 р.

УДК

007.52:519.7

ББК 32.816
Рубрики: Робототехніка--Популярні видання

фывфывфыв:
автоматы -- автомати -- линеаризация -- лінеаризація -- делинеаризация -- делінеаризація -- формальные языки -- формальні мови -- коллективы алгоритмов -- колективи алгоритмів -- процессоры -- процесори -- программирование математического обеспечения -- програмування математичного забезпечення -- коллективы роботов -- колективи роботів -- первичные алгоритмы -- первинні алгоритми -- натуральные алгоритмы -- натуральні алгоритми -- операторные алгоритмы -- операторні алгоритми
Аннотация: Теория, принцип действия и методы логического проектирования дискретных роботов.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

004.43
Х42

Хигман, Б.
Сравнительное изучение языков программирования [] = A Comparative Study of Programming Languages / Б. Хигман ; пер. с англ. Л. В. Ухова ; под ред. В. В. Мартынюка. - Москва : Мир, 1974. - 204 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 197-201. - 0.87 р.

УДК

004.43

ББК 32.973
Рубрики: Мови програмування--Популярні видання

фывфывфыв:
языки программирования -- естественные языки -- природні мови -- искусственные языки -- штучні мови -- формальные языки -- формальні мови -- Кобол -- Фортран -- языки обработки списков -- мови обробки списків -- язык CPL -- мова CPL -- язык PL/I -- мова PL/I
Аннотация: Вводный курс при изучении конкретных языков: АЛГОЛ, Фортран и КОБОЛ, основные понятия и конструкции языков программирования.

Держатели документа:
ЖОУНБ ім. О. Ольжича

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

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