Серия книг «Математическое обеспечение ЭВМ» — 20 книг

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

Обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию. Последовательно рассматриваются данные различной степени сложности. Эта тематика…

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

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

Введение в операционные системы ЭВМ, предназначенное для первоначального знакомства с предметом. Изложены на достаточно доступном уровне основные понятия операционных систем, их назначение, принципы работы. Основное внимание уделено проблеме распределения ресурсов, общей для всех операционных систем. Изложение сжатое, материал тщательно подобран.

Для программистов разной квалификации, аспирантов и студентов институтов.

Введение в операционные системы ЭВМ, предназначенное для первоначального знакомства с предметом. Изложены на достаточно доступном уровне основные понятия операционных систем, их…

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

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

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

Первая на русском языке книга по языку управления заданиями систем IBM 360 и 370. В этой книге, принадлежащей американским авторам, подробно изложены понятия языка управления заданиями, содержится много иллюстративных примеров, приводятся контрольные упражнения. Знание языка управления заданиями позволит программистам эффективно и гибко использовать средства ОС ЕС ЭВМ.

Для программистов, работающих с ЕС ЭВМ и студентов, изучающих операционные системы.

Первая на русском языке книга по языку управления заданиями систем IBM 360 и 370. В этой книге, принадлежащей американским авторам, подробно изложены понятия языка управления…

Рассматривается задача создания проблемно-ориентированных диало­говых систем, требующих минимальных затрат труда пользователя на их освоение и автоматически приспосабливающихся к индивидуальному уровню подготовленности пользователя. Детально проанализированы возможности системы «человек ЭВМ», сформулированы ограничения на прикладную диалоговую систему с учетом класса ее пользователей. Авторами (ФРГ) предложена методика реализации диалоговой системы на основе анализа ее целей.
Для разработчиков и пользователей диалоговых систем общения с ЭВМ.

Рассматривается задача создания проблемно-ориентированных диало­говых систем, требующих минимальных затрат труда пользователя на их освоение и автоматически приспосабливающихся к…

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

Для программистов разной квалификации.

Книга американского специалиста, содержащая описание популярного языка Модула-2, его инструкций, стиля программирования. В ней нашел отражение опыт программирования и опыт…

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

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

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

Книга представляет значительный интерес для широкого круга программистов.

Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, "Структурное…

Сборник работ зарубежных специалистов, отражающий современное со­стояние в новом направлении программирования, тесно связанном с матема­тической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник вклю­чен специально написанный обзор литературы по логическому программиро­ванию. Среди авторов известные зарубежные специалисты: Б.Домелки, П.Середи (ВНР), А.Колмероэ (Франция), Дж.Робинсон (США), Р.Ковальский (Великобритания).

Для математиков-прикладников, программистов, аспирантов и студентов университетов.

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

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

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

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

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

Монография известного швейцарского специалиста по системному программированию, знакомого советским читателям по переводу его книги «Систематическое программирование. Введение»…

Фортран - один из первых языков программирования. Его различные диалекты обобщены в новом стандарте, включающем современные управляющие структуры, дополнительные типы данных, средств ввода-вывода.

Для программистов, разработчиков программного обеспечения, студентов и аспирантов вузов.

Фортран - один из первых языков программирования. Его различные диалекты обобщены в новом стандарте, включающем современные управляющие структуры, дополнительные типы данных,…

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

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

В монографии устанавливается естественная связь между математической лингвистикой и методами трансляции современных языков программирования. Проводится последовательный…

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


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

Книга П.Брауна, посвященная макропроцессорам и проблеме мобильности программного обеспечения ЭВМ, в доступной форме излагает суть этих вопросов. Ее цель - научить читателя…

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


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

Книга П.Брауна, посвященная макропроцессорам и проблеме мобильности программного обеспечения ЭВМ, в доступной форме излагает суть этих вопросов. Ее цель - научить читателя…

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

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

Книга посвящена систематическому рассмотрению методов синтаксического анализа, применяемых при компиляции программ для ЭВМ. Она написана на высоком научном уровне, однако от…

Книга известного швейцарского специалиста по системному программированию, знакомо­го советским читателям по переводам его книг
«Введение в системное программирование» (М.: Мир, 1977) и «Алгоритмы + структуры данных = программы» (М.: Мир, 1985). Язык Модула-2
является преемником известного языка Паскаль и ориентирован на однопроцес­сорные малые ЭВМ. Книга сочетает в себе достоинства учебного
пособия и справочного ру­ководства по этому языку.

Для системных программистов, для специалистов, работающих с языком Модула-2.

Книга известного швейцарского специалиста по системному программированию, знакомо­го советским читателям по переводам его книг
«Введение в системное программирование» (М.: Мир,…

Сборник статей зарубежных специалистов, содержащий новые результаты в области построения систем программирования для векторных супер-ЭВМ. В него включены работы по анализу зависимостей в программах, по векторизации и оптимизации преобразований, по применению теории графов для представления программ и создания векторизующих компиляторов. Среди авторов статей - известные специалисты: M.Вольф, К.Оттенштейн, Р.Аллен (США), К.Хаммер (ФРГ).


Для математиков-прикладников, разработчиков программного обеспечения, аспирантов и студентов вузов.

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

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

Книга необходима всем, кто занимается программированием.

В книге канадского автора содержится исчерпывающее описание (от подготовки программы до отладки) языка программирования Паскаль, который получил широкое распространение. Он…