Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

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

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

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

Поисковый запрос: <.>K=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>

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

Вид документа : Однотомное издание
Шифр издания : 6П2.154/Б 24
Автор(ы) : Барашко, Анатолий Сергеевич, Липская, Виктория Алексеевна, Ройзен, Семен Иосифович
Заглавие : Исследование по теории сложности вычислений и формальным языкам
Выходные данные : Киев: Наукова думка, 1978
Колич.характеристики :176 с.: ил.; 21.5см
Коллективы : Институт прикладной математики и механики (Донецк)
Примечания : Библиография: с. 171-172
Цена : 1.40, р.
УДК : 6П2.154
Предметные рубрики: Автоматизация-- Вычислительные устройства
Ключевые слова (''Своб.индексиров.''): сложности вычислений--частично-рекурсивные функции--формальные языки--ядро--множества
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154.5/М 23
Автор(ы) : Манин Ю.И.
Заглавие : Вычислимое и невычислимое : научное издание
Выходные данные : Москва: "Советское радио", 1980
Колич.характеристики :128 с.: ил.; 20 см
Примечания : Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125
Цена : 0.45, 0.45, р.
УДК : 6П2.154.5
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): рекурсивные--функции--алгоритм--диофантовы множества--неразрешимость--сложность по колмогорову--случайность--версальные семейства--формальные языки--вычислимость--теорема геделя--принцип неполноты
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : 73/Б 29
Автор(ы) : Бауэр, Фридрих Л.
Заглавие : Информатика. Вводный курс: учебное пособие : в 2 частях/ Фридрих Л. Бауэр ; Ф. Л. Бауэр, Г. Гооз ; ред. А. П. Ершов; [перевод с немецкого М.К. Валиева, В.Г. Кербеля и В.К. Сабельфельда]. - 2-е изд., полностью переработанное и расширенное. Ч. 2
Выходные данные : Москва: Мир, 1990 - 1990
Колич.характеристики :419 с.: ил.
ISBN (в пер.), Цена 5-03-002099-3: 2.10 р.
ББК : 73
Предметные рубрики: Научно-информационная деятельность-- Общие вопросы научно-информационной деятельности
Ключевые слова (''Своб.индексиров.''): шеннона теория информации--алгоритмические языки--блочная структура--внешняя память--динамическое распределение памяти--информатика--информация--история информатики--организация памяти--распределение памяти--семантика алгоритмических языков--синтаксис алгоритмических языков--системы счисления--соответствия--структура данных--теория информации шеннона--устройства ввода данных--устройства ввода/вывода данных--устройства вывода данных--формальные языки--функции
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие

Тематический навигатор

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