Библиотека

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

Книга публиковалась к 20-летию кафедры. Автор рассказывает о своей работе на кафедре, которая имеет самые высокие в мире достижения в области олимпиадного программирования. Публикуется с разрешения автора. Любого рода «заимствования» из этой книги возможны только с разрешения автора и издательства «Мозаика НК».

Из предисловия: "Физико-математический (впоследствии – механико-математический) факультет Ростовского университета всегда отличался яркими, талантливыми, неординарными личностями, которые вдохновляли и вели за собой. Одной из таких звёзд был и Адольф Львович Фуксман. 40 лет его жизни вместили в себя блестящие оригинальные статьи по приближению функций, кандидатскую диссертацию, преподавательскую деятельность, руководство университетским Вычислительным центром, создание собственной научной школы, организацию легендарных ежегодных всесоюзных школ-семинаров по системному и теоретическому программированию, работы по технологии расслоенного программирования, исследования по слаборазделенным грамматикам, оригинальный подход к технологии создания больших программных комплексов и монографию «Технологические аспекты создания программных систем», которая выйдет уже после гибели А.Л. Фуксмана и станет бестселлером для программистов и памятником выдающемуся учёному и практику.
В сборнике представлены воспоминания ученика и соратника А.Л. Фуксмана, заместителя директора ВЦ РГУ тех времен Сергея Мариановича Абрамовича; друга и коллеги по теории программирования, автора одной из первых книг по языкам программирования Виталия Шахновича Кауфмана; друга с первых студенческих дней, входящего в число наиболее выдающихся выпускников РГУ и завоевавшего высокий авторитет в Европе в области функционального анализа, профессора Вячеслава Павловича Захарюты, старшего сына Адольфа Львовича, члена Правления Ростовского отделения союза композиторов РФ, доцента Ростовской консерватории, кандидата искусствоведения Михаила Адольфовича Фуксмана; воспоминания коллег и соратников и список собранных публикаций. Все эти воспоминания людей, знавших А.Л.Фуксмана с разных сторон, и позволяют отвечать на вопрос о том, как стать (выдающимся) программистом.
В сборник вошла малая часть фотодокументов и воспоминаний об этом удивительном человеке, воспоминаний очень субъективных, в чем-то неточных, но одинаково искренних, позволяющих за короткими строками официальной биографии увидеть Личность, покорявшую всех, кто оказывался рядом." Публикуется с разрешения авторов.

Книга, которую вы держите в руках, представляет собой третий том одноименного сборника, издающегося с 2014 года. Материалы этого тома охватывают «поздний советский период» развития ИТ – 70-е и 80-е годы ХХ века. Открывают книгу интервью с двумя свидетелями и непосредственными участниками событий тех лет – Виктором Петровичем Иванниковым, академиком РАН, заведующим кафедрами системного программирования факультета ВМК МГУ им. М.В. Ломоносова и Московского физико-технического университета, профессором, научным руководителем Института системного программирования РАН, и Борисом Арташесовичем Бабаяном, членом-корреспондентом РАН, доктором технических наук, профессором, заведующим кафедрой «Микропроцессорные технологии» МФТИ, Intel Fellow, лауреатом Государственной и Ленинской премий.
Материалы третьего тома сборника включают в себя статьи о системе управления развитием вычислительной техники в СССР, об эволюции информационно-вычислительных систем в одной из самых авторитетных организаций не только российской, но и мировой науки – Курчатовском институте. Кроме того, в книге много новой информации об отечественных разработках в области создания вычислительных машин серии ЕС, а также о советских домашних компьютерах.
Книга адресована широкому кругу читателей, интересующихся историей отечественной науки и вычислительной техники, а также ИТ-специалистам, студентам вузов и аспирантам, обучающимся по специальностям, связанным с информационными технологиями. Публикуется с разрешения автора.

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

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

Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказательства их правильности. Дана теория композиции и сборки модулей в сложные системы. Предназначено для преподавания студентам 1–3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.
Продолжение серии учебных пособий, предыдущая часть: Программная инженерия. Тема 2. Технология программирования..

Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказа-тельства их правильности. Дана теория композиции и сборки модулей в сложные системы. 

Предназначено для преподавания студентам 1–3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук. Продолжение серии учебных пособий, предыдущая часть: Программная инженерия. Тема 1. Теория программирования.

Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказательства их правильности. Дана теория композиции и сборки модулей в сложные системы.
Предназначено для преподавания студентам 1–3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук. Первая книга в серии учебных пособий, следующая часть: Программная инженерия. Тема 2. Технология программирования.

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

Книга «Электронные цифровые машины» представляет собой введение в область техники автоматических электронных цифровых вычислительных машин.
В книге излагаются сведения об устройстве машин, способы представления чисел и выполнения операций над ними, методика подготовки и программирования математических задач, а также рассматривается применение машин для решения различных логических задач, для целей автоматического управления и другие неарифметические возможности этих машин.
Книга предназначается для широких кругов инженеров, научных работников и студентов высших учебных заведений.