Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=формальні мови<.>
Загальна кількість знайдених документів : 4
Показані документи с 1 за 4
1.
519.85
А 45


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

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

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

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

2.
007.52:519.7
К 82


    Криницкий, Николай Андреевич.
    Алгоритмы и роботы [] / Н. А. Криницкий. - М. : Радио и связь, 1983. - 168 с. : рис., табл. - (Кибернетика). - Лит.: с. 165. - 0.55 р.
УДК
ББК 32.816
Рубрики: Робототехніка--Популярні видання
   
Кл.слова (ненормовані):
автоматы -- автомати -- линеаризация -- лінеаризація -- делинеаризация -- делінеаризація -- формальные языки -- формальні мови -- коллективы алгоритмов -- колективи алгоритмів -- процессоры -- процесори -- программирование математического обеспечения -- програмування математичного забезпечення -- коллективы роботов -- колективи роботів -- первичные алгоритмы -- первинні алгоритми -- натуральные алгоритмы -- натуральні алгоритми -- операторные алгоритмы -- операторні алгоритми
Анотація: Теория, принцип действия и методы логического проектирования дискретных роботов.

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

3.
004.43
Х42


    Хигман, Б.
    Сравнительное изучение языков программирования [] = A Comparative Study of Programming Languages / Б. Хигман ; пер. с англ. Л. В. Ухова ; под ред. В. В. Мартынюка. - Москва : Мир, 1974. - 204 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 197-201. - 0.87 р.
УДК
ББК 32.973
Рубрики: Мови програмування--Популярні видання
   
Кл.слова (ненормовані):
языки программирования -- естественные языки -- природні мови -- искусственные языки -- штучні мови -- формальные языки -- формальні мови -- Кобол -- Фортран -- языки обработки списков -- мови обробки списків -- язык CPL -- мова CPL -- язык PL/I -- мова PL/I
Анотація: Вводный курс при изучении конкретных языков: АЛГОЛ, Фортран и КОБОЛ, основные понятия и конструкции языков программирования.

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

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

4.
027.54(477.25)
Н34


. Національна бібліотека України імені В. І. Вернадського

    Вітушко, Антон.
    Онтології аналітичних служб у бібліотечному середовищі [] / А. Вітушко // Наукові праці Національної бібліотеки України імені В. І. Вернадського : збірник / Нац. акад. наук України, Нац. б-ка України ім. В. І. Вернадського, Асоц. б-к України; ред. О. С. Онищенко (голова) [та ін.]. - К. : НБУВ, 2010. - Вип. 26 . - С. 182-190. - Л-ра в кінці ст.
УДК
ББК 78.34(4УКР-2К)751.1
Рубрики: Інформаційні технології
   Автоматизовані бібліотечні системи

   Автоматизовані системи обробки даних

Кл.слова (ненормовані):
онтології -- системи керування знаннями -- формальні мови -- моделювання предметної галузі -- дескриптивні логіки -- метаописання

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

Дод.точки доступу:
Онищенко, О. С. \ред.\; Боряк, Г. В. \ред.\; Бровкін, А. Г. \ред.\; Горовий, В. М. \ред.\; Національна академія наук України; Національна бібліотека України імені В. І. Вернадського; Асоціація бібліотек України

Є примірники у відділах: всього 2 : БГ (1), ФОНД (1)
Вільні: БГ (1), ФОНД (1)

Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)