Сводный каталог книг

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. И.В.Поттосина. - Новосибирск : Наука, 1991 - . : научное издание. - 1993. - 303 с. - Библиогр. в конце ст. . - 4.50 р.

УДК

519.6

Аннотация: Сборник представляет третий выпуск серии "Системная информатика", посвященный основным направлениям ведущихся в настоящее время исследований в области теории и языков программирования и разработки параллельных систем. Выпуск включает работы известных в области теоретического программирования авторов, в которых отражены вопросы математической теории программирования, теории параллельного программирования, трансформационного синтеза программ, а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода. Издание предназначено для специалистов по теоретической информатике и программному обеспечению, широкого круга математиков, программистов и инженеров.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Институт систем информатики им. А.П.Ершова СО РАН(Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : сборник научных трудов / Науч. ред.Ю.Л.Ершов, С.С.Гончаров ; РАН; Сиб. отд-ние; Ин-т математики им. С.Л.Соболева. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; вып.161). - Библиогр. в конце ст. - 5.00 р.ББК В173.1я43 + В127я43

Аннотация: Сборник посвящен построению математических моделей вычислимости на основе определимости. Работы выполнены в рамках развития теории семантического программирования. Решен вопрос о существовании алгоритма униформатизации над полями вещественных и р-адических чисел, найдены достаточные условия Е-определимости счетных моделей, решен вопрос об автоустойчивости счетных моделей в HYP, построены языки спецификаций и запросов в рамках семантического программирования. На основе анализа кванторных приставок решаются проблемы характеризации типов, сложности и определимости в булевых алгебрах и построения иерархии в подклассе регулярных языков. Исследован вариант архитектуры параллельного компьютера на основе статистических клеточных автоматов. Сборник рассчитан на специалистов в области математической и прикладной логики и теоретической информатики, студентов и аспирантов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст]. - Красноярск : КГТУ. - В надзаг.: Мин-во образования и науки РФ, Красноярский гос. технический ун-т. / Под ред. В.И. Быкова. - 2004. - 292 с. : ил. - Библиогр. в конце ст. - ISBN 5-7636-0639-6 : 8.50 р.

ГРНТИ	28.17
УДК	061	681.3

ББК В181

Аннотация: Представлены работы по следующим направлениям теоретической и прикладной математики: математические методы, численные методы, математическое моделирование, технологии вычислительного эксперимента, математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Рекомендован научным работникам, занимающимся теоретической и прикладной математикой, а также может быть полезен аспирантам и студентам.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)