Статья Л. Карделли и П. Вегнера, опубликованная в Computing Surveys, Vol. 17, n. 4, Dec 1985. Посвящена системам типизации, абстракции данных и полиморфизму. Содержание. From Untyped to Typed Universes. Organizing Untyped Universes. Static and Strong Typing. Kinds of Polymorphism. The Evolution of Types in Programming Languages. Type Expression Sublanguages. Preview of Fun. The...
Статья. (Выходные данные не указаны). Екатеринбург: ИММ УрО РАН. — 33 с.
В статье рассмотрены положения, которые служат основой для создания теории компьютерной визуализации. Показана знаковая природа компьютерной визуализации, что позволяет применить семиотический анализ. Важными понятиями теории являются понятия языка визуализации и метафоры визуализации.
М.: Мир, 1982. 328 с. Сборник посвящён одному из направлений системного теоретического программирования - разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. Краткое содержание:
Парнас Д. Метод спецификации модулей программного обеспечения (с примерами).
Скотт Д. Теория решеток, типы...
Статья. 18 с., 2002 г. №№ 39, 40, 43, 44, "Информатика"
В "Информатике" № 14 за 2002 год была опубликована статья одного из авторов, посвящённая задачам вычислительной геометрии в олимпиадах по информатике. В частности, там был опубликован ряд элементарных подзадач, на которые опирается решение большинства задач вычислительной геометрии. Однако, занятия даже с математически...
Сборник трудов аспирантов и молодых ученых. — Новосибирск, Институт систем информатики имени А.П. Ершова, 2005. — 123 с.
Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное...
Новосибирск, Институт систем информатики имени А.П. Ершова, 2006. — 170 с. Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение. Содержание: Андреева М.В....
Статья из электронного журнала «Исследовано в России», 2003. — С. 1228-1271.
Содержание:
Введение. Постановка проблемы.
Метод "проб и ошибок" (МПиО).
Об оценках МПиО.
МПиО: оценки негативного характера.
МПиО: оценки нейтрально-критического и нейтрального характера.
МПиО: оценки позитивного характера.
МПиО: вербальные определения в изданиях энциклопедического характера....
Статья.
Многие реальные объекты имеют иерархическую структуру, например, схема предприятия или структура власти в государстве, генеалогическое дерево семьи или родословная некоторого человека. Для представления таких объектов и обработки связанной с ними информации удобна организация данных, отражающая структуру объектов. Если абстрагироваться от конкретного содержания...
Новосибирск, 2008. — 332 с. Сборник является шестнадцатым в серии, издаваемой Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ. Посвящен проблемам, касающимся методов и инструментов конструирования и оптимизации параллельных программ и систем. Представляет интерес для системных программистов, студентов и аспирантов, специализирующихся в...
Новосибирск: Ин-т систем информатики имени А. П. Ершова СО РАН, 2005. — 274 с. Является двенадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН. Описывает методы и инструменты конструирования и оптимизации программ. Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области...
Новосибирск: Институт систем информатики имени А. П. Ершова СО РАН, 2007. — 235 с.
Является пятнадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области...
Новосибирск: Ин-т систем информатики имени А. П. Ершова СО РАН, 2006. — 280 с. Является тринадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики. Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области...
Новосибирск: Институт систем информатики им. А. П. Ершова СО РАН, 2004. — 278 с. Является одиннадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П. Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач, связанных с программными средствами и математическими основами информатики. Сборник представляет интерес...
Новосибирск: Институт систем информатики им. А. П. Ершова СО РАН, 2002. — 256 с. Сборник является девятым в серии книг, издаваемых Институтом систем информатики им. А.П. Ершова СО РАН по проблемам конструирования и оптимизации программ. Он посвящен решению актуальных задач конструирования эффективных и надежных программ и систем на основе теоретико-графовых методов,...
Под редакцией проф. С.А. Ложкина. — М.: Факультет Вычислительной математики и кибернетики МГУ, 2002. — 92 с. О внесении изменений во встроенную систему при нарушении директивных сроков задач (Балашов В.В.). О некоторых гибридных системах (Вишневская Е. А.). О новых подходах к проблеме управления хаосом (А.В. Дернов). Выделение источника из смеси звуковых сигналов с...
Альманах современной науки и образования. — Тамбов: Грамота, 2015. — № 9 (99). — C. 99-102. — ISSN: 1993-5552. В работе рассмотрена проблема предсказания с использованием нейронных сетей на основе игры "Ping-pong". Изучены различные конфигурации нейронной сети и эвристики, влияющие на скорость обучения и ошибку сети. Для визуализации процесса обучения создана специальная...
Вип. 12 (165). – Донецьк: ДВНЗ ДонНТУ, 2010. –204 с.
У збірнику опубліковані статті співробітників факультету обчислювальної техніки та інформатики, а також інших навчальних і наукових закладів України, які є науковими партнерами ДонНТУ. У публікаціях наведені результати наукових досліджень і розробок в таких напрямках, як інформатика, чисельні методи, паралельні обчислення,...
Статья опубликована в журнале «Информационно-управляющие системы». 2003. №6, с. 38–49.
задача управления лифтом. Он на основании невнятного технического задания, используя только словесное описание алгоритмов, приводит в окончательной форме программу на языке низкого уровня. В предисловии к третьему изданию упомянутой книги приводятся слова Б. Гейтса: «За последние двадцать лет...
Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2004. — 244 с.
Настоящий сборник содержит статьи с представлением разнообразных явлений, сопутствовавших развитию программирования в России и проявляющихся на уровне управления информатикой как наукой, оценки ее эффективности, сохранения ее результатов и передачи их следующим поколениям. Сборник посвящен И.В....
Труды школы-конкурса молодых ученых (25 мая–15 июня 2003 года). — Новосибирск, Академгородок, 2003. — 80 с. Сборник содержит статьи, представленные на электронной школе-конкурсе "Новые подходы и решения" аспирантами и молодыми сотрудниками ИСИ СО РАН по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное...
Сборник научных работ. Новосибирск, Институт систем информатики им. А.П. Ершова, 2003. — 63 с. Сборник включает работы по предикатному программированию. Представлен обзор концепции предикатного программирования и элементов языка предикатного программирования P. Технология предикатного программирования демонстрируется на примерах конкретных задач. Описывается алгоритм склеивания...
Комментарии