Б 24 Барашко, Анатолий Сергеевич. Исследование по теории сложности вычислений и формальным языкам [Текст] / А. С. Барашко, В. А. Липская, С. И. Ройзен ; [отв. ред. В. Н. Редько] ; Акад. наук Укр. ССР, Ин-т прикл. математики и механики. - Киев : Наукова думка, 1978. - 176 с. : ил. ; 21.5см. - Библиография: с. 171-172. - 1850 экз.. - (в пер.) : 1.40 р.
Кл.слова (ненормированные): СЛОЖНОСТИ ВЫЧИСЛЕНИЙ -- ЧАСТИЧНО-РЕКУРСИВНЫЕ ФУНКЦИИ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯДРО -- МНОЖЕСТВА Доп.точки доступа: Липская, Виктория Алексеевна; Ройзен, Семен Иосифович; Редько, В. Н. \ред.\; Институт прикладной математики и механики (Донецк) ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
М 23 Манин, Ю. И. Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - Москва : "Советское радио", 1980. - 128 с. : ил. ; 20 см. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 25 000 экз.. - 0.45 р.
Кл.слова (ненормированные): РЕКУРСИВНЫЕ -- ФУНКЦИИ -- АЛГОРИТМ -- ДИОФАНТОВЫ МНОЖЕСТВА -- НЕРАЗРЕШИМОСТЬ -- СЛОЖНОСТЬ ПО КОЛМОГОРОВУ -- СЛУЧАЙНОСТЬ -- ВЕРСАЛЬНЫЕ СЕМЕЙСТВА -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВЫЧИСЛИМОСТЬ -- теорема Геделя -- принцип неполноты ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Б 29 Бауэр, Фридрих Л. Информатика. Вводный курс : учебное пособие : в 2 частях / Фридрих Л. Бауэр ; Ф. Л. Бауэр, Г. Гооз ; ред. А. П. Ершов; [перевод с немецкого М.К. Валиева, В.Г. Кербеля и В.К. Сабельфельда]. - 2-е изд., полностью переработанное и расширенное. - Москва : Мир, 1990. - ISBN 5-03-000298-7. Ч. 2 / ред. А. П. Ершов ; пер.: М. К. Валиев, В. Г. Кербель, В. К. Сабельфельд. - 419 с. : ил. - ISBN 5-03-002099-3 (в пер.) : 2.10 р. Рубрики: Научно-информационная деятельность--Общие вопросы научно-информационной деятельности Кл.слова (ненормированные): Шеннона теория информации -- алгоритмические языки -- блочная структура -- внешняя память -- динамическое распределение памяти -- информатика -- информация -- история информатики -- организация памяти -- распределение памяти -- семантика алгоритмических языков -- синтаксис алгоритмических языков -- системы счисления -- соответствия -- структура данных -- теория информации Шеннона -- устройства ввода данных -- устройства ввода/вывода данных -- устройства вывода данных -- формальные языки -- функции Доп.точки доступа: Бауэр, Фридрих Л.; Гооз, Герхард; Ершов, А. П. \ред.\; Валиев, М. К. \пер.\; Кербель, В.Г. \пер.\; Сабельфельд, В.К. \пер.\; Лейбниц, Готфрид Вильгельм (немецкий математик, физик, философ-идеалист, языковед ; 1646-1716) \о нем\ ~Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |