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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=контекстно-свободные языки<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

51(075.8)
Л 63

Лисовик, Леонид Петрович.
Трансдьюсеры. I [] : науч. изд. / Л. П. Лисовик. - К. : [Феникс], 2006. - 368 с. - Л-ра: с.326-364. - ISBN 966-651-340-4 : 030.00 грн
Продолж. кн. Лисовик, Л. П. Теория трансдьюсеров. Т. 1 / Л. П. Лисовик. - К. : Феникс, 2005-2007. - (Математическое мышление)

УДК

51(075.8)

ББК 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)
Знайти схожі

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