Книги сотрудников ИСИ

В книге рассмотрена деятельность выдающихся ученых Новосибирского научного центра (ННЦ) Сибирского отделения АН СССР/РАН, которые в 1957 г. выступили с инициативой создания центра науки и образования на востоке страны и стали организаторами академических институтов. Ныне имена основателей увековечены в названиях 14 институтов ННЦ. Впервые в одной книге объединены персональные истории основателей этих институтов — ученых-лидеров, получивших мировую известность в области математики и информатики, механики и энергетики, физики, химии, геологии и геофизики, горного дела. Показано, что биографии сибирских ученых тесным образом связаны с историей российской науки. Пересечение в Сибири представителей различных научных направлений и породило феномен новосибирского Академгородка, о котором в 1960-е годы узнали во всем мире.

Монография посвящена жизни и деятельности выдающегося ученого, основателя сибирской школы теоретической физики доктора физико-математических наук Юрия Борисовича Румера (1901–1985).

Книга представляет собой собрание документов и воспоминаний, отражающих жизненный путь, научные искания и дружеские привязанности Ю.Б. Румера. Издание структурировано, содержит предисловие и одиннадцать глав, приложения. На широком документальном материале, который хранится в нескольких архивах: архиве НГУ, МГУ, Научном архиве СО РАН, архиве ФСБ России, а также в семейных архивах сына и дочери Ю.Б. Румера, архиве Д.Д. Саратовкина, — читатель получает возможность провести собственное исследование. Объединенный общим замыслом материал раскрывает формирование Ю.Б. Румера как ученого, его вклад в теоретическую физику, описывает трагические моменты его жизни. Показана роль ученого в развитии сибирской науки в годы создания Сибирского отделения Академии наук СССР, его педагогическая и просветительская деятельность.

Монография иллюстрирована фотографиями из архива Ю.Б. Румера в разные периоды его жизни.

Книга представляет интерес для специалистов в области физики, историков науки, биографов, преподавателей истории науки, студентов-физиков, адресована всем интересующимся историей отечественной науки.

Предлагаемый русско-английский и англо-русский словарь охватывает около 5000 терминов по теории-графов и её применениям в информатике и программировании. Для удобства читателя в одной книге даются обе части: русско-английская и англо-русская.

Для широкого круга специалистов, использующих методы теории графов при решении своих задач, в первую очередь для системных и прикладных программистов, а также для специалистов по САПР, конструкторов СБИС и т.д.

Биография выдающегося ученого, математика, программиста, создателя Сибирской школы программирования академика Андрея Петровича Ершова изложена в данной книге. В истории советской науки Ершов занимает особое место как пионер и лидер отечественного программирования, на становление и развитие которого он оказал значительное и определяющее влияние. Его биография продолжает серию публикаций об ученом: она выходит вслед за сборником документов и воспоминаний «Андрей Петрович Ершов – ученый и человек», Новосибирск, Изд-во СО РАН, 2006 г. и «Андрей Петрович Ершов. Материалы к биобиблиографии сибирских ученых», Новосибирск, ООО «Сибирское Научное Издательство», 2009 г.

Книга адресована широкому кругу специалистов в области информатики, студентам, преподавателям, а также читателям, интересующимся историей отечественной науки.

Институт систем информатики им. А.П. Ершова был образован 20 лет тому назад на базе нескольких отделов ВЦ СО АН. Здесь перечисляются важнейшие достижения этих коллективов, в частности, Отдела программирования, созданного А.П. Ершовым в 1958 г. Представлена структура ИСИ СО РАН, основные направления исследований и результаты научной и педагогической деятельности коллектива.

Сборник содержит труды семинара «История информатики в Сибири», прошедшего в рамках VII Международной Ершовской конференции «Перспективы систем информатики», которая состоялась в Новосибирском Академгородке с 15 по 19 июня 2009 г.

Семинар был посвящен 50-летию со дня образования Отдела программирования (ОП) и 20-летию Института систем информатики им. А.П. Ершова СО РАН (ИСИ).

Данный выпуск «Материалов к биобиблиографии сибирских ученых» посвящен известному советскому математику, одному из пионеров теоретического и системного программирования, создателю Сибирской школы информатики, академику Андрею Петровичу Ершову (1931–1988). Выпуск включает биографическую хронику А.П. Ершова, очерки его научной, научно-организационной и педагогической деятельности, хронологический указатель трудов ученого, список трудов о нем, а также другие вспомогательные указатели.

Книга рассчитана на специалистов по информатике, историков науки, студентов-математиков и программистов, всех, кто интересуется историей отечественной науки.

Предлагаем вниманию читателей первый цикл из трех лекций, прочитанных в 2007–2009 гг. Открыл этот цикл директор Института математики им. С.Л. Соболева СО РАН, академик РАН Ю.Л. Ершов лекцией на тему «Математическая логика и теоретическая информатика», в которой он высказал мысль о взаимовлиянии этих двух дисциплин. Со следующей лекцией выступил член-корреспондент РАН, один из создателей отечественной серии вычислительных машин «Эльбрус», первый европейский ученый, удостоенный звания Intel Fellow, Б.А. Бабаян. Она называлась «История развития архитектуры вычислительных машин». И, наконец, завершала цикл лекция д.т.н. А.А. Берса (ИСИ СО РАН) «Об основаниях информатики». А.А. Берс показал, что глубокое философское содержание информатики не менее важно, чем ее практическая суть. Оно определяет современную картину мира, где информация играет роль кровеносной системы. Объединенные под одной обложкой, эти три лекции дают представление о теоретической, практической и мировоззренческой составляющих современной информатики.

Книга содержит более 2500 относящихся к графам терминов вместе с их ясными и сжатыми определениями. Помимо базовой терминологии теории графов в неё включены термины и определения по информатике. Каждый термин приводится на английском и русском языках, после чего следует его описание.

Книга будет полезна студентам и преподавателям по информатике, а также всем, кто использует компьютеры дома, в лаборатории или на работе.

Издание осуществлено при частичной финансовой поддержке Российского фонда фундаментальных исследований (гранты РФФИ № 09-07-00012 и № 08-01-00673).

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

Книга представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования. Будет особенно интересна тем, кто связан с разработкой методических и программных средств поддержки дистанционного обучения.

Теория параллельных систем и процессов - активно развивающийся раздел компьютерных наук, в задачу которого входит разработка и исследование формальных моделей для спецификации и анализа систем с независимой работой компонентов. Среди таких моделей наибольшую известность приобрели сети Петри (СП) и процессные алгебры (ПА). Понятие эквивалентности - важнейшее понятие теории вычислительных процессов. Поведенческие эквивалентности позволяют сравнивать системы с учетом различных аспектов их функционирования. Бисимуляционная эквивалентность является, на сегодняшний день, одним из самых популярных отношений, используемых для сопоставления поведения систем и процессов. В монографии разработан и исследован широкий спектр поведенческих (в том числе и бисимуляционных) эквивалентностей для СП и ПА, а также для подклассов и расширений этих моделей.

В книге представлены следующие результаты.

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

Монография предназначена студентам, аспирантам и исследователям, интересующимся теоретической информатикой, в частности, формальным моделированием и анализом свойств поведения параллельных систем и процессов.

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

Книгу можно приобрести в интернет-магазине Издательства СО РАН или в книжном магазине Академкнига (г. Новосибирск, Морской пр-т, д. 22, телефон: (383) 330-0922).

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

В истории советской науки Ершов занимает особое место как пионер и лидер отечественного программирования, на становление и развитие которого он оказал значительное и определяющее влияние.

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

Книга адресована широкому кругу специалистов в области информатики, студентам, преподавателям и всем, кто интересуется историей отечественной науки.

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

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

• Объектно-ориентированное программирование (С++) 
• Объектно-ориентированное программирование (С++, Ява и C#) 
• Языки спецификаций 

Кроме того, здесь же вы найдете домашнее задание .

Настоящая работа посвящена исследованию проблемы автоматического построения сетевых моделей Estelle-спецификаций распределенных систем и развития средств верификации этих моделей. Язык выполнимых спецификаций Estelle принят в качестве международного стандарта. Рассматриваются Estelle-спецификации с задержками и приоритетами, но без динамических конструкций, позволяющие адекватно представлять значительный класс коммуникационных протоколов. В качестве моделей выбраны раскрашенные сети Петри, предложенные Йенсеном, которые расширяются посредством семантик времени в смысле Мерлина и приоритетов. В работе представлен метод трансляции Estelle-спецификаций в данной сетевой модели, описана его реализация, а также система NetCalc, предназначенная для редактирования и симуляции таких моделей. Кроме того, представлены результаты экспериментов по сетевому моделированию и поиску семантических ошибок для версий четырех известных протоколов: со скользящим окном, кольцевого, соединений, InRes.