Научная Библиотека Пермского Государственного Университета

Главная

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

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

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

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

Поисковый запрос: (<.>A=Бауэр, Фридрих Л.$<.>)

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

   681
   Б 298

    Бауэр, Фридрих Л..
    Информатика : задачи и решения / Ф. Л. Бауэр, Р. Гнац, У. Хилл ; пер.: М. К. Валиев, В. К. Сабельфельд ; ред. А. П. Ершов. - М. : Мир, 1978. - 355 с. : ил. - 1.30 р.

ГРНТИ	20
УДК	004(076.2)

Рубрики: Информатика--Учебные издания
Кл.слова (ненормированные):
информатика (задачи)

Доп.точки доступа:
Гнац, Р.; Хилл, У.; Валиев, Камиль Ахметович \пер.\; Сабельфельд, В. К. \пер.\; Ершов, А. П. \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   51
   А 456

    Алгоритмы в современной математике и ее приложениях : материалы международного симпозиума, Ургенч, УзССР, 16-22 сент. 1979 г. / АН СССР, Сибирское отд-ние, ВЦ; ред.: А. П. Ершов, Д. Кнут. - Новосибирск : ВЦ СО АН СССР, 1982 - .
   Ч. 2. - 1982. - 315 с. - Библиогр. в конце докл. - 1.40 р.
    Содержание:
Манин, Ю. И. Расширяющаяся конструктивная вселенная / Ю. И. Манин. - С .4-10
Ван, Вейнгаарден А. Безъязыковое программирование / Вейнгаарден А. Ван. - С .10-32
Непейвода, Н. Н. Логический подход к программированию / Н. Н. Непейвода. - С .32-64
Тыугу, Э. Х. Структурный синтез программ / Э. Х. Тыугу. - С .64-79
Летичевский, А. А. О поиске инвариантных соотношений в программах / А. А. Летичевский. - С .79-93
Адельсон-Вельский, Г. М. Что мы можем сделать с задачами полного перебора? / Г. М. Адельсон-Вельский, А. О. Слисенко. - С .93-124
Альдер, А. Алгоритмическая сложность линейных алгебр / А. Альдер, Ф. Штрассен. - С .124-139
Клини, С. К. Алгоритмы в различных смыслах / С. К. Клини. - С .139-147
Шанин, Н. А. Роль понятия алгорифма в семантике арифметических языков / Н. А. Шанин. - С .147-181
Цейтин, Г. С. От логицизма к процедурализму / Г. С. Цейтин. - С .181-194
Ершов, А. П. Абстрактная вычислимость в алгебраических системах / А. П. Ершов. - С .194-230
Бауэр, Фридрих Л. Алгоритмы и алгебра / Ф. Л. Бауэр. - С .230-240
Глушков, В. М. О формальных преобразованиях алгоритмов / В. М. Глушков. - С .240-254
Матиясевич, Ю. Что делать после установления неразрешимости алгорифмической проблемы? / Ю. Матиясевич. - С .254-257
Буда, А. Об опыте езды на двух конях в программировании / А. Буда. - С .257-263
Анисимов, А. В. Преобразование Чёрча-Россера и разрешимые свойства обработки деревьев / А. В. Анисимов. - С .263-270
Клини, С. К. Об истоках теории рекурсивных функций / С. К. Клини. - С .270-309

ГРНТИ	27.01.13
УДК	51(082)

Рубрики: Математика--Сборники
Кл.слова (ненормированные):
АЛГОРИТМЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (ПРИЛОЖЕНИЯ) -- МАТЕМАТИКА (АЛГОРИТМЫ)

Доп.точки доступа:
Ершов, Андрей Петрович \ред.\; Кнут, Дональд Э. \ред.\; Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   681
   Б 298

   Бауэр, Фридрих Л.
    Информатика. Вводный курс = Informatik : [учебное пособие] : в 2 ч. / Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. - Москва : Мир, 1990 - . - ISBN 5-03-000298-7.
   Ч. 1. - 1990. - 336 с. : ил. - ). - ISBN 5-03-002099-3 : 1.60 р., 2.10 р., 1.60 р.

ГРНТИ	20
УДК	004

Рубрики: Информатика--Учебные издания
Кл.слова (ненормированные):
программирование -- машинно-ориентированные алгоритмические языки -- двоичные комбинационные схемы -- переключательные схемы

Доп.точки доступа:
Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\
Экземпляры всего: 3
ЧЗЕ (1), АБУ (1), Х (1)
Свободны: ЧЗЕ (1), АБУ (1), Х (1)
Найти похожие

   681
   Б 298

   Бауэр, Фридрих Л.
    Информатика. Вводный курс = Informatik : [учебное пособие] : в 2 ч. / Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. - Москва : Мир, 1990 - . - ISBN 5-03-000298-7.
   Ч. 2. - 1990. - 742 с. - ). - Библиогр.: с. 681-684. - Предм.-имен. указ.: с. 704-733. - ISBN 5-03-002100-0 : 2.10 р.

ГРНТИ	20
УДК	004

Рубрики: Информатика--Учебные издания
Кл.слова (ненормированные):
формальные языки -- синтаксис -- история информатики -- семантика -- алгоритмические языки
Аннотация: Блочная структура и динамическое распределение памяти.

Доп.точки доступа:
Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\
Экземпляры всего: 2
ЧЗЕ (1), АБУ (1)
Свободны: ЧЗЕ (1), АБУ (1)
Найти похожие

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

Статистика обращений

Статистика за 29.06.2024
Число запросов	24490
Число посетителей	558
Число заказов	0

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