[Анфиса]

Серия - Математическое обеспечение ЭВМ (издательство "Мир", "Финансы и статистика") [1971-1995, DjVu, RUS]


Год: 1971-1995
Автор: Указан для каждой книги
Жанр: Научно-популярная литература
Издательство: М.: "Мир", "Финансы и статистика"
Серия: Математическое обеспечение ЭВМ
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы + OCR
Описание: Математическое обеспечение ЭВМ - комплекс программ, описаний и инструкций, обеспечивающих автоматическое функционирование ЭВМ. Различают общее математическое обеспечение (для организации вычислительного процесса на данной ЭВМ) и специальное математическое обеспечение (для решения конкретных задач).

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

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

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

Издательство: Мир
Год выпуска: 1982
Формат: DjVu
Количество страниц: 72
Описание: Новое описание известного языка программирования Алгол 60, в котором учтены поправки и дополнения, принятые Международной федерацией по обработке информации (ИФИП). При подготовке этого издания было использовано более раннее описание этого языка.

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

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

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

Издательство: Мир
Год выпуска: 1974
Формат: DjVu
Количество страниц: 79
Описание: Ассемблеры и загрузчики - важное звено в системе математического обеспечения вычислительных машин, хотя в научной литературе им уделялось мало внимания по сравнению с более сложными и эффектными компиляторами с языков программирования высокого уровня.Ассемблеры - наиболее эффективное, а подчас и единственное средство автоматизации программирования в тех случаях, для которых еще нет проблемно-ориентированных языков и компиляторов. Удобство применения ассемблеров резко повысилось с внедрением макропроцессоров.Книга представляет интерес и как учебное пособие по ассемблерам, и как простое введение в автоматизацию программирования.

Она будет полезна студентам и аспирантам, специализирующимся по программированию на ЭВМ.

Издательство: Мир
Год выпуска: 1987
Формат: DjVu
Количество страниц: 288
Описание: Книга американского специалиста содержит описание основных возможностей операционной системы UNUX. В своё время приобрела большую популярность, определённый интерес сохраняет и сейчас. Несмотря на внешне лёгкое описание, содержит достаточно полный материал о возможностях системы.

Издательство: Мир
Год выпуска: 1980
Формат: DjVu
Количество страниц: 190
Описание: Цель книги Д. Баррона, хорошо знакомого читателям по двум его книгам из серии "Математическое обеспечение ЭВМ", - помочь разобраться в существующем многообразии языков программирования. Общие принципы их построения иллюстрируются примерами из таких известных языков, как АЛГОЛ-60, ФОРТРАН, АЛГОЛ-68, ПЛ/1, АПЛ. В доступной и интересной форме, но вместе с тем достаточно аккуратно, рассматриваются основные понятия языков программирования, значительное внимание уделяется вводу-выводу и общей структуре программ.

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

Издательство: Мир
Год выпуска: 1991
Формат: DjVu
Количество страниц: 275
ISBN: 5-03-001943-X
Описание: Предлагаемый сборник переводов содержит статьи, посвященные в основном вопросам преобразования программ с целью переводов последовательных программ (точнее, программ на последовательных языках программирования) в параллельные. Работы по созданию компиляторов для параллельных ЭВМ ведутся за рубежом во многих университетах и некоторых фирмах. Наиболее полно в сборнике представлены работы Университета штата Иллинойс. Статья Д. Падуа и М. Вольфа содержит основные сведения об особенностях векторных и параллельных ЭВМ, основных типах зависимостей по данным, методам векторизации и оптимизации программ. В одной из статей М. Вольфа подробно рассматривается основной метод векторизации - перестановка циклов в гнезде вложенных do-циклов, а в другой описываются средства ускорения выполнения циклов. Три статьи в сборнике посвящены конкретным проектам Университета штата Иллинойс.

Издательство: Мир
Год выпуска: 1993
Формат: DjVu
Количество страниц: 284
ISBN: 5-03-001942-1
Описание: Книга американского специалиста, представляющая собой руководство по издательской системе AMS-TeX, предназначенной для подготовки научных публикаций с большим количеством математических формул. Эта система работает как на больших ЭВМ, так и на персональных компьютерах. Приведенных в книге сведений вполне достаточно для практической подготовки научных статей к публикации. Изложение рассчитано на неподготовленного пользователя и сопровождается большим числом примеров и упражнений.

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

Издательство: Мир
Год выпуска: 1978
Формат: DjVu
Количество страниц: 214
Описание: Книга содержит систематическое изложение основ современных методов обработки данных.
В ней подробно изучаются информационные структуры, характерные для нечислового применения ЭВМ, такие, как строки, таблицы и файлы. Описываются соответствующие им абстрактные структуры — графы, деревья, списки, стеки и методы их организации в машинной памяти. Специальная глава посвящена сортировке таблиц во внутренней и внешней памяти. Изложение хорошо продумано и богато иллюстрировано примерами. Каждая глава сопровождается упражнениями.

Книга принесет большую пользу как студентам, изучающим программирование, так и специалистам по АСУ, системному программированию и другим применениям ЭВМ.

Издательство: Мир
Год выпуска: 1982
Формат: DjVu
Количество страниц: 328
Описание: Сборник посвящён одному из направлений системного теоретического программирования - разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании.

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

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

Издательство: Мир
Год выпуска: 1988
Формат: DjVu
Количество страниц: 368
ISBN: 5-03-000972-8
Описание: Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р.Ковальский (Великобритания).

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

Издательство: Мир
Год выпуска: 1991
Формат: DjVu
Количество страниц: 408
ISBN: 5-03-001635-X
Описание: Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия).

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

Издательство: Мир
Год выпуска: 1981
Формат: DjVu
Количество страниц: 264
Описание: Методология программирования — данное совокупа мыслей, понятий, основ, приемов и средств, характеризующая стиль написания, отладки и сопровождения программ. Книга охватывает 3 круга вопросов: главные програмные конструкты, модульная текстура программ и проэетирование программ.

Издательство: Мир
Год выпуска: 1974
Формат: DjVu
Количество страниц: 72
Описание: Книга содержит систематическое описание методов обработки списков, необходимых каждому программисту при работе с задачами со сложными данными. В ней описывается применение методов обработки списков в процессе программирования, а также представление списков в машинной памяти. Проводится сравнение некоторых языков программирования, специально предназначенных для обработки списков.

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

Издательство: Мир
Год выпуска: 1995
Формат: DjVu
Количество страниц: 302
ISBN: 5-03-001426-8
Описание: Книга известных специалистов в области современного программирования (Швейцария, Великобритания), дающая описание нового стандарта языка программирования Фортран. Новый стандарт вобрал в себя опыт, накопленный при разработке других языков, и вместе с тем сохранил индивидуальность Фортрана. Он полностью обратно совместим с Фортраном 77. Первый автор знаком читателям по его книге "Оптимизация в Фортране" (М.: Мир, 1986).

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

Издательство: Мир
Год выпуска: 1977
Формат: DjVu
Количество страниц: 288
Описание: Книга посвящена формальному описанию языков программирования. Подробно рассмотрены средства описания синтаксиса (грамматики Хомского, формулы Бэкуса-Наура), однако основное внимание уделено Венскому методу формального описания семантики языков программирования.

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

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

Издательство: Финансы и статистика
Год выпуска: 1989
Формат: DjVu
Количество страниц: 255
ISBN: 5-279-00250-X
Описание: Полное описание современной версии алгоритмического языка Паскаль, получившего широкое распространение в качестве языка практического программирования, что объясняется концептуальной целостностью, лёгкостью понимания его основных конструкций, широкими возможностями введения новых типов данных.

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

Издательство: Мир
Год выпуска: 1979
Формат: DjVu
Количество страниц: 240
Описание: Эта книга — руководство по программированию на алгоритмическом языке Алгол 68. Язык описывается в ней достаточно полно и в то же время на весьма доступном уровне, без излишней формализации. Для чтения не требуется предварительного знакомства с более простыми алгоритмическими языками. Книга ориентирована на применение языка в рамках структурного программирования. В ней четко выделяются разделы, относящиеся, с одной стороны, к задачам числового характера, а с другой — к обработке символьной информации и экономическим применениям.

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

Издательство: Мир
Год выпуска: 1983
Формат: DjVu
Количество страниц: 240
Описание: Введение в новый язык программирования Ада, ориентированный на современную технологию программирования. Он содержит выразительные средства, ранее не встречавшиеся в языках такого класса, - абстрактные типы данных, пакеты, управление видимостью и др. Книга богато снабжена характерными примерами, показывающими возможности этого языка.

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

Издательство: Мир
Год выпуска: 1987
Формат: DjVu
Количество страниц: 224
Описание: Книга известного швейцарского специалиста по системному программированию, знакомого советским читателям по переводам его книг «Введение в системное программирование» (М. Мир, 1977) и «Алгоритмы + структуры данных = программы» (М. Мир, 1985).

Язык Модула-2 является преемником известного языка Паскаль и ориентирован на однопроцессорные малые ЭВМ. Книга сочетает в себе достоинства учебного пособия и справочного руководства по этому языку.

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

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

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

Издательство: Мир
Год выпуска: 1987
Формат: DjVu
Количество страниц: 336
Описание: нига ангийских специалистов, содержащая описание основ логического программирования и особенностей языка пролог - базового языка ЭВМ 5-го поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных. обработкой естественного языка, разработкой компиляторов ЭВМ.

Книга полезна для первого ознакомления с языком Пролог.

Издательство: Мир
Год выпуска: 1976
Формат: DjVu
Количество страниц: 183
Описание: Книга содержит лаконичное я, полное изложение алгоритмического языка Фортран IV. Подробно рассмотрены все элементы и конструкции языка, вопросы рационального распределения памяти, использования операторов и организации общих блоков. Особое Внимание уделено построению фортрановских программ. Большое количество примеров способствует быстрому усвоению особенностей языка.

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

Издательство: Мир
Год выпуска: 1976
Формат: DjVu
Количество страниц: 86
Описание: Книга посвящена изложению методов трансляции с одного из непроцедурных языков программирования - с языка таблиц решений. Программы, написанные на этом языке, позволяют удобно описывать сложные ситуации, возникающие при системном анализе. Таблицы решений представляют собой новый перспективный метод программирования, который находит применение при решении многих задач стстемного анализа.

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

Издательство: Мир
Год выпуска: 1975
Формат: DjVu
Количество страниц: 144
Описание: Книга посвящена принципам организации и методам обработки больших массивов информации. В книге затрагивается практически вся современная проблематика использования файлов. Особый интерес представляют вопросы их защиты, использования файлов в системах, работающих в режиме реального времени, а также принципы построения и методы отладки программ обработки. Проводимые автором исследования не связаны с какой-либо конкретной вычислительной системой, и поэтому их результаты могут быть использованы при создании самых различных систем обработки данных.

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

Издательство: Мир
Год выпуска: 1974
Формат: DjVu
Количество страниц: 80
Описание: В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все более широкое распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примерах.

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

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

Издательство: Мир
Год выпуска: 1974
Формат: DjVu
Количество страниц: 205
Описание: В книге систематизированы общие принципы, лежащие в основе различных языков программирования. Её можно рассматривать и как вводный курс при изучении конкретных языков, в частности языков АЛГОЛ, ФОРТРАН и КОБОЛ. Довольно подробно рассматриваются основные понятия и конструкции языков программирования. Изложение материала иллюстрируется большим количеством примеров на самых различных языках.

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

Издательство: Мир
Год выпуска: 1975
Формат: DjVu
Количество страниц: 247
Описание: Обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию. Последовательно рассматриваются данные различной степени сложности. Эта тематика весьма актуальна, поскольку в практике программирования приходится иметь дело со все более сложными структурами данных. Систематическое изложение иерархических принципов в программировании и имеет непосредственное отношение к языкам моделирования.

Для программистов всех специализаций.

Издательство: Мир
Год выпуска: 1977
Формат: DjVu
Количество страниц: 190
Описание: В монографии устанавливается естественная связь между математической лингвистикой и методами трансляции современных языков программирования. Проводится последовательный алгоритмический подход к рассматриваемым конструкциям, что позволяет приблизить элементы теории языков к потребностям практики. Изложение сопровождается многочисленными задачами для самостоятельного решения.

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

Издательство: Мир
Год выпуска: 1983
Формат: DjVu
Количество страниц: 349
Описание: Книга английского специалиста по программированию, обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами.

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

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

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

Издательство: Мир
Год выпуска: 1980
Формат: DjVu
Количество страниц: 255
Описание: Язык программирования Снобол-4, реализованный на большинстве зарубежных машин, отличается чрезвычайно широкой сферой применений и имеет общеобразовательное значение. Этот язык содержит ряд средств и понятий, никак не отраженных в других языках программирования. Настоящая монография является первой работой на русском языке, содержащей обстоятельное и полное описание самого языка и некоторых сторон его реализации.

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

Издательство: Мир
Год выпуска: 1982
Формат: DjVu
Количество страниц: 208
Описание: Фортран — один из первых языков программирования. Его различные диалекты обобщены в новом стандарте, включающем современные управляющие структуры, дополнительные типы данных, средств ввода-вывода. Автор книги — американский ученый, известный по переводу его книги "Операционные системы" (М.: Мир, 1976).

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

Издательство: Финансы и статистика
Год выпуска: 1988
Формат: DjVu
Количество страниц: 191
ISBN: 5-279-00280-1
Описание: Книга английских авторов ориентирована на читателя, знакомого с языком Си либо имеющего опыт программирования на других языках. Содержит обширный справочный раздел, включающий описание синтаксиса и стандартных функций языка.

В книге приведены исходные тексты компилятора подмножества языка C (Small C), генерирующего код на ассемблере спроектированной авторами 8-битной виртуальной машины, легко преобразуемого в код любого микропроцессора или микроконтроллера.

Для широкого круга программистов, желающих изучить язык Си.

Список отсутствующих книг:

Браун П.Дж. - Макропроцессоры и мобильность программного обеспечения (1977)
Браух В. - Программирование на Фортране 77 для инженеров (1987)
Денинг В., Эссиг Г., Маас С. - Диалоговые системы «Человек - ЭВМ»: Адаптация к требованиям пользователя (1984)
Коддингтон Л. - Ускоренный курс КОБОЛа (1974)
Колин А. - Введение в операционные системы (1975)
Кристиан К. - Руководство по программированию на языке модула-2 (1989)
Маурер У. - Введение в программирование на языке ЛИСП (1976)
Пересмотренное сообщение об Алголе 68 (1979)
Сингер М. Мини-ЭВМ РDР-11. - Программирование на языке ассемблера и организация машины (1984)
Требования и спецификации в разработке программ (1984)
Фокс Дж. - Программное обеспечение и его разработка. (1985)
Хенли Дж. - Автоматизированная библиотека и информационные системы (1974)
Хигман Б. - Введение в программирование для вычислительных машин (1978)
Хьюз Ч.Е., Пфлигер Ч.П., Роуз Л.Л. - Методы программирования: курс на основе Фортрана (1981)
Эрбс Х.-Э., Штольц О. - Введение в программирование на языке Паскаль (1989)
Эфрос Л.Б. - Введение в программирование для ЭВМ БЭСМ-6 (1971)
Эшли Р., Фернандес Д. - Язык управления заданиями (1981)