Библиотека

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

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

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

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

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

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

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

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

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

В 1994-1995 гг. в газетном варианте заводская многотиражная газета «Электрон» Минского ПОВТ опубликовала очерки воспоминаний лауреата Ленинской премии главного инженера Ю.В. Карпиловича «Так было», изданные позднее отдельной книгой. Посетителям музея предлагается электронная версия, созданная представителями Брестского ЭМЗ Понариным О.С. и Фёдоровой А.П. и размещённая в музее с разрешения автора.

К ЧИТАТЕЛЮ. Мысль о написании мемуаров зародилась у меня давно. История завода, коллектив создателей сложнейшей техники, являвшейся долгие годы визитной карточкой научно-технического прогресса в Беларуси, стоят того, чтобы не быть забытыми. Но всё же были сомнения: а нужен ли этот экскурс в прошлое в нынешний очень сложный период нашего развития? Ведь уже нет страны, в которой мы жили и трудились, утрачены многие славные традиции. И не всегда прежний опыт способен сослужить нам добрую службу.

…Однажды один из ныне действующих руководителей объединения спросил меня: кто такой Георгий Павлович Лопато? И тогда мне стаю ясно — писать надо. Как много мы уже забыли! Ведь Георгий Павлович — один из первопроходцев разработки и выпуска ЭВМ в нашей единой некогда стране, первый главный инженер СКБ, первый директор НИИ ЭВМ, человек, чьи идеи легли в основу многолетней деятельности коллектива объединения. А разве мало других людей, ушедших и ещё живых, чей талант и труд достойны благодарной памяти? В моих воспоминаниях, возможно, немало субъективного, кое-что забылось, но рассказ о людях объединения через призму нашего общего труда, через поэтапное освоение выпуска все более сложной продукции считаю полезным и сегодня. Ведь без умения работать, чем мы всегда гордились, нам не выйти из нынешнего кризиса.

АВТОР.

В книге, написанной английскими специалистами Дж. Э. Фишером (Кронфилдский технологический институт) и X Б. Гетландом (Окландский университет), в популярной форме рассматриваются свойства и характеристики полупроводниковых приборов. На их основе поясняется использование полупроводниковых приборов в различных электронных устройствах и приводятся простые расчетные соотношения. Приводятся числовые примеры расчетов большинства электронных схем, используемых в современной прикладной электронике.

Для подготовленных радиолюбителей.