681 Б 298 Бауэр, Фридрих Л.. Информатика : задачи и решения / Ф. Л. Бауэр, Р. Гнац, У. Хилл ; пер.: М. К. Валиев, В. К. Сабельфельд ; ред. А. П. Ершов. - М. : Мир, 1978. - 355 с. : ил. - 1.30 р.
Кл.слова (ненормированные): информатика (задачи) Доп.точки доступа: Гнац, Р.; Хилл, У.; Валиев, Камиль Ахметович \пер.\; Сабельфельд, В. К. \пер.\; Ершов, А. П. \ред.\ Экземпляры всего: 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
Кл.слова (ненормированные): АЛГОРИТМЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (ПРИЛОЖЕНИЯ) -- МАТЕМАТИКА (АЛГОРИТМЫ) Доп.точки доступа: Ершов, Андрей Петрович \ред.\; Кнут, Дональд Э. \ред.\; Академия наук СССР. Сибирское отделение; Вычислительный центр Экземпляры всего: 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 р.
Кл.слова (ненормированные): программирование -- машинно-ориентированные алгоритмические языки -- двоичные комбинационные схемы -- переключательные схемы Доп.точки доступа: Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\ Экземпляры всего: 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 р.
Кл.слова (ненормированные): формальные языки -- синтаксис -- история информатики -- семантика -- алгоритмические языки Аннотация: Блочная структура и динамическое распределение памяти. Доп.точки доступа: Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\ Экземпляры всего: 2 ЧЗЕ (1), АБУ (1) Свободны: ЧЗЕ (1), АБУ (1) |