Помогите найти <Информатика. Основополагающее введение. М. Брой>

google nigma yandex дают ссылки на магазины с отсутствием товара.
bolero ozon и подобные сайты так же сообщают об отсутствии товара.
в издательстве диалог-мифи данного четырехтомника нет в продаже.

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

 

если кому интересна 2 часть, пишите в личку

 

а что там хорошего?

 

Манфред Брой
Информатика

Диалог-Мифи
Springer-Lehrbuch

Основополагающее введение Часть I

Содержание
ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА - 6
ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ - 7
ПРЕДИСЛОВИЕ - 8
1. ИНФОРМАЦИЯ И ЕЕ ПРЕДСТАВЛЕНИЕ
1.1. Понятие "информация" - 12
1.2. Пример информации и ее представления: высказывательные формы - 16
1.2.1. Булевские термы - 17
1.2.2. Булевская алгебра истинностных значений - 20
1.2.3. Интерпретация булевских термов - 22
1.2.4. Законы булевской алгебры и булевских термов - 25
1.2.5. Применение законов для булевских термов: редукция - 27
1.3. Информация и ее представление в нормальной форме - 32
1.3.1. Переход от представления к информации - 32
1.3.2. Преобразование представлений - 34
1.3.3. Нормальные формы и однозначные нормальные формы - 34
1.3.4. Последовательности литер - 36
1.3.5. Формальные языки - 38
2. ВЫЧИСЛИТЕЛЬНЫЕ СТРУКТУРЫ И АЛГОРИТМЫ - 40
2.1. К понятию "алгоритм" - 40
2.1.1. Неформальные описания алгоритмов - 41
2.1.2. Формальное описание алгоритма через за мену текстов - 46
2.1.3. Детерминистические алгоритмы текстовых замен - 52
2.1.4. Отображения, индуцируемые алгоритмами текстовых замен - 54
2.2. Вычислительные структуры - 57
2.2.1. Семейства функций и множеств как вычислительные структуры - 58
2.2.2. Сигнатуры - 64
2.2.3. Основные термы - 67
2.2.4. Вычисления основных термов: схемы - 69
2.2.5. Термы с (свободными) идентификаторами - 71
2.2.6. Интерпретация термов с (свободными) идентификаторами - 73
2.2.7. Термы с (свободными) идентификаторами как схемы - 74
2.3. Алгоритмы как системы подстановки термов - 75
2.3.1. Правила подстановки термов - 75
2.3.2. Система подстановки термов - 76
2.3.3. Алгоритмы подстановки термов - 78
2.3.4. Корректность систем подстановки термов - 79
2.4. Логика высказываний и логика предикатов - 82
2.4.1. Логика высказываний - 84
2.4.2. Логика предикатов - 88
3. ЯЗЫКИ ПРОГРАММИРОВАНИЯЯ И ПРОГРАММИРОВАНИЕ - 93
3.1. Синтаксис: описание формального языка с помощью БНФ - 93
3.1.1. БНФ-нотация - 94
3.1.2. Синтаксические диаграммы - 99
3.1.3. Контекстные условия - 99
3.2. Семантика - 100
3.3. К реализации языков программирования - 101
3.4. Методика программирования - 102
3.4.1. Принципы программирования - 102
3.4.2. Вычислительные структуры - 104
4. АППЛИКАТИВНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ - 105
4.1. Элементы чисто аппликативных ЯП - 105
4.1.1. Синтаксис выражений и примитивных вычислительных структур - 107
4.1.2. Описание значений выражений - 108
4.1.3. Константы и идентификаторы - 110
4.1.4. Условные выражения - 112
4.1.5. Применение функций - 114
4.1.6. Связывание (свободных) идентификаторов: абстракция функций - 116
4.2. Расширение аппликативных языков: объявления - 123
4.2.1. Объявление элемента - 123
4.2.2. Объявления функций - 127
4.3. Рекурсивные объявления функций - 129
4.3.1. Индуктивное толкование рекурсивных объявлений функций - 135
4.3.2. Толкование через наименьшую неподвижную точку - 140
4.3.3. Рекурсивные объявления функций в системах подстановки термов - 147
4.3.4. Схема для рекурсивного объявления функции - 148
4.4. Формы рекурсий - 149
4.4.1. Линейная рекурсия - 149
4.4.2. Повторная рекурсия - 150
4.4.3. Каскадная рекурсия - 151
4.4.4. Удаленная рекурсия - 153
4.4.5. Взаимная рекурсия - 154
4.5. Техника аппликативного программирования - 155
4.5.1. Описание постановки задачи: спецификации - 156
4.5.2. Обобщение постановки задачи через вложение - 160
4.5.3. К структурированию от постановки задачи - 163
4.5.4. Вывод рекурсий из спецификаций - 164
4.5.5. Подавление параметров, подчиненные вычислительные предписания - 165
4.5.6. Эффективность аппликативной программы - 167
4.5.7. Документирование - 171
4.5.8. Тестирование и интеграция программ - 172
4.6. Техника доказательства для рекурсивных программ - 173
4.6.1. Индукция и рекурсия - 174
4.6.2. Частичная корректность - 178
4.6.3. Доказательство терминированности - 179
5. УПРАВЛЯЮЩИЕ СТРУКТУРЫ, ОРИЕНТИРОВАННЫЕ НА ПРИСВАИВАНИЕ - 183
5.1. Ориентированные на присваивание языковые элементы: операторы - 183
5.1.1. Синтаксис - 184
5.1.2. Программные переменные и присваивание - 184
5.3.1. Состояния - 186
5.1.4. Функциональное значение операторов - 186
5.1.5. Операционная семантика операторов - 186
5.2. Простые операторы - 187
5.2.1 "Пустой" оператор nop - 187
5.2.2. Незавершающийся оператор abort - 187
5.2.3. Оператор присваивания - 187
5.3. Производные операторы - 189
5.3.1. Последовательная композиция - 189
5.3.2. Условные операторы - 190
5.3.3. Операторы цикла - 192
5.4. Объявления переменных и блоки - 195
5.5. Процедуры - 198
5.5.1. Объявления процедур - 198
5.5.2. Вызов процедуры - 199
5.5.3. Глобальные переменные в процедурах - 201
5.5.4. Рекурсивные процедуры - 202
5.6. Разделы, связывания, видимость, продолжительность жизни - 203
5.7. Техника программирования для императивных программ - 206
5.7.1. Метод утверждений - 206
5.7.2. Доказательство терминированности - 211
6. ОБЪЯВЛЕНИЯ ТИПОВ - 213
6.1. Объявления типов - 213
6.1.1. Скалярные элементы: перечисление - 213
6.1.2. Прямое произведение: кортеж - 214
6.1.3. Прямая сумма: вариантные типы - 218
6.1.4. Частичные области - 222
6.2. Массивы - 222
6.2.1. Одномерные массивы - 222
6.2.2. Массивы в императивных языках: селективные изменения - 225
6.2.3. Многомерные массивы и общие типы индексов - 226
6.2.4. Динамические и гибкие массивы - 227
6.3. Конечные множества как вычислительные структуры - 228
7. МАШИННО-ОРИЕНТИРОВАННЫЕ ЯЗЫКОВЫЕ ЭЛЕМЕНТЫ: ПЕРЕХОДЫ И ССЫЛКИ - 232
7.1. Управление потоком - 232
7.1.1. Метки и переходы - 232
7.1.2. Диаграммы управления потоком - 234
7.2. Ссылки и указатели - 238
8. РЕКУРСИВНЫЕ ОБЪЯВЛЕНИЯ ТИПОВ - 242
8.1. Вычислительные структуры вида последовательностей - 242
8.1.1. Вычислительные структуры последовательностей - 242
8.1.2. Ввод/вывод и внешние вычислительные структуры - 250
5.2. Древовидные вычислительные структуры - 256
8.3. Рекурсивные объявления типов - 269
5.3.1. Индуктивное толкование рекурсивных объявлений типов - 270
8.3.2. Толкование рекурсивных объявлений типов через неподвижную точку - 271
8.3.3. Применение рекурсивных объявлений типов - 272
8.4. Списки - 273
8.4.1. Простые списки - 273
8.4.2. Рекурсивно объявленные списковые типы - 275
8.4.3. Реализация последовательностей в виде списков - 276
8.4.4. Двунаправленные списки - 277
8.4.5. Кольцевые списки - 279
8.4.6. Обобщенные частичные структуры - 283
ЛИТЕРАТУРА - 288
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ - 291

Основополагающее введение Часть II.
Вычислительные структуры и машинно-ориентированное программирование

Содержание
ПРЕДИСЛОВИЕ - 5
1. КОДИРОВАНИЕ И ТЕОРИЯ ИНФОРМАЦИИ - 7
1.1. Коды и кодирование - 8
1.2. Оптимальность кодов и разрешающая информация - 18
1.3. Надежность передачи сообщений - 25
2. ДВОИЧНЫЕ ПЕРЕКЛЮЧАТЕЛЬНЫЕ СХЕМЫ И УЗЛЫ - 32
2.1. Булевская алгебра и булевские функции - 32
2.2. Нормальные формы булевских функций - 39
2.3. Переключательные схемы - 46
2.4. Переключательные узлы - 87
3. СТРУКТУРА ВЫЧИСЛИТЕЛЬНЫХ МАШИН - 117
3.1. К структурированному устройству ЭВМ - 117
3.3. Архитектуры вычислительных машин - 151
3.4. Вычислительные сети - 154
4. МАШИННО-ОРИЕНТИРОВАННЫЕ ПРОГРАММНЫЕ СТРУКТУРЫ - 159
4.1. Машинные языки программирования - 159
4.2. Способы адресации и управления памятью - 182
4.3. Техника машинно-ориентированного программирования - 197
4.4. Машинная реализация рекурсий - 206
ЛИТЕРАТУРА - 220
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ - 222

Основополагающее введение Часть III.
Структуры систем и системное программирование

Содержание
ПРЕДИСЛОВИЕ - 5
1. ПРОЦЕССЫ, КОММУНИКАЦИЯ И КООРДИНАЦИЯ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ - 7
1.1. Процессы - 9
1.1.1. Структуры действий как процессы - 9
1.1.2. Структурирование процессов - 17
1.1.3. Последовательное представление процессов с помощью трасс - 22
1.1.4. Разложение процесса на подпроцессы - 27
1.1.5. Действия как переходы состояний - 31
1.2. Описания систем через множество процессов - 39
1.2.1. Сети Петри - 40
1.2.2. Термы для описания процессов - 52
1.2.3. Синхронизация и координация агентов - 60
1.2.4. Предикаты над процессами - 67
1.3. Языки программирования для описания взаимодействующих систем - 70
1.3.1. Коммуникация через обмен сообщениями - 70
1.3.2. Общие программные переменные - 76
1.3.3. Языковые средства для параллельных ходов работы - 81
1.3.4. Потоки ввода/вывода - 86
2. ОПЕРАЦИОННЫЕ СИСТЕМЫ И СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ - 92
2.1. Основные аспекты операционных систем - 93
2.1.1. Функции операционной системы - 93
2.1.2. Режимы обработки - 99
2.1.3. Простая ОС для пакетного режима - 102
2.1.4. Простая ОС для мультипрограммной системы - 106
2.2. Относящиеся к пользователю аспекты ОС - 112
2.2.1. Командный язык - 113
2.2.2. Управление пользователями - 115
2.2.3. Доступ к вычислительной мощности - 116
2.2.4. Организация данных и управление ими - 116
2.2.5. Служба передачи сообщений - 118
2.2.6. Аспекты надежности и защиты - 118
2.3. Распределение ресурсов ВС - 119
2.3.1. Выделение процессора - 120
2.3.2. Управление оперативной памятью - 121
2.3.3. Выделение устройств ввода/вывода - 122
2.3.4. Распределение ресурсов в мультипрограммном режиме - 123
2.3.5. Выделение ресурсов в режиме диалога - 124
2.4. Методы реализации системного программирования - 125
2.4.1. Концепция прерываний - 125
2.4.2. Синхронизация - 130
2.4.3. Сегментация - 133
2.4.4. Метод страничного обмена - 134
2.4.5. Релокация программ - 137
2.4.6. Одновременное использование подпрограмм - 139
2.4.7. Управление устройствами ввода/вывода - 139
2.5. Структуры ОС - 140
2.5.1. Структурирование ОС - 140
2.5.2. Процессно-ориентированные структуры ОС - 141
3. ИНТЕРПРЕТАЦИЯ И КОМПИЛЯЦИЯ ПРОГРАММ - 143
3.1. Лексический анализ языков программирования - 146
3.1.1. Отображение предгруппировки - 147
3.1.2. Обстоятельный пример: AS - 153
3.1.3. Лексический анализ AS - 155
3.2. Разбиение программ на части - 162
3.2.1. Абстрактный синтаксис - 163
3.2.2. Древовидное представление AS-программ - 169
3.2.3. Синтаксический анализ AS-программ - 173
3.3. Контекстные условия - 180
3.3.1. Контекстные условия и предикаты - 181
3.3.2. Контекстные условия для языка программирования AS - 188
3.3.3. Синтаксический анализ AS - 189
3.4. Интерпретация языков программирования - 190
3.4.1. Семантика - 190
3.4.2. Синтаксис и семантика - 191
3.4.3. Ввод и вывод - 192
3.4.4. Интерпретатор - 193
3.4.5. Стековая машина: пример интерпретатора - 195
3.4.6. AS-интерпретатор - 198
3.4.7. Общие замечания к интерпретаторам - 201
3.5. Компиляция языков программирования - 202
3.5.1. Компилятор - 202
3.5.2. Перевод AS-программ в KMS-программы - 206
3.5.3. Общие замечания к компиляторам - 213
ЛИТЕРАТУРА - 217
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ - 219

Основополагающее введение Часть IV.
Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация

Содержание
1. ФОРМАЛЬНЫЕ ЯЗЫКИ - 5
1.1. Отношения и графы - 6
1.1.1. Двухместные отношения - 6
1.1.2. Пути в графах и образование замыканий - 10
1.2. Грамматики - 18
1.2.1. Редукционные и генерационные грамматики - 25
1.2.2. Иерархия языков по Хомскому - 29
1.2.3. Структурные графы и структурные деревья - 31
1.2.4. Тупики и бесконечные трассы вывода - 37
1.3. Грамматики типа 3 и конечные автоматы - 42
1.3.1. Регулярные выражения - 43
1.3.2. Конечные автоматы - 44
1.3.3. Эквивалентность форм представления - 48
1.3.4. Регулярные выражения, конечные автоматы и языки типа 3 - 52
1.3.5. Минимальные автоматы - 60
1.4. Контекстно-свободные языки и магазинные автоматы - 62
1.4.1. БНФ-нотация - 63
1.4.2. Магазинные автоматы - 64
1.4.3. Магазинные автоматы и контекстно-свободные языки - 67
1.4.4. Нормальная форма Грейбах - 70
1.4.5. LR(к)-языки - 73
1.4.6. LL(к)-грамматики - 79
1.4.7. Метод рекурсивного спуска - 82
1.5. Контекстно-зависимые грамматики - 83
2. ВЫЧИСЛИМОСТЬ - 85
2.1. Гипотетические машины - 87
2.1.1. Машины Тьюринга - 87
2.1.2. Регистровые машины - 95
2.2. Рекурсивные функции - 97
2.2.1. Примитивно-рекурсивные функции - 97
2.2.2. μ-рекурсивные функции - 105
2.2.3. Общие объявления рекурсивных функций - 110
2.3. Эквивалентность понятий вычислимости - 114
2.3.1. Эквивалентность μ -вычислимости и тьюринг-вычислимости - 114
2.3.2. Эквивалентность RM- и тьюринг-вычислимости - 116
2.3.3. Тезис Чёрча - 118
2.4. Разрешимость - 120
2.4.1. Невычислимые функции - 120
2.4.2. Разрешимые предикаты - 121
2.4.3. Рекурсивные и рекурсивно-перечислимые множества - 122
3. ТЕОРИЯ СЛОЖНОСТИ - 125
3.1. Мера сложности - 125
3.1.1. Временна'я сложность - 125
3.1.2. Ленточная сложность - 127
3.1.3. Временна'я и ленточная сложность задач - 129
3.1.4. Полиномиальная и недетерминированная полиномиальная временная сложность - 134
3.1.5. Бэктрекинг-недетерминированность в языках программирования - 135
3.2. NP-полнота - 140
3.2.1. Проблема выполнимости для булевских выражений - 140
3.2.2. Другие NP-полные проблемы - 144
3.3. Эффективные алгоритмы для NP-полных проблем - 145
3.3.1. Искусный просмотр больших древовидных структур - 146
3.3.2. Альфа-бета-поиск - 149
3.3.3. Динамическое программирование - 154
3.3.4. Гриди-алгоритмы - 157
4. ЭФФЕКТИВНЫЕ АЛГОРИТМЫ И СТРУКТУРЫ ДАННЫХ - 159
4.1. Избранные алгоритмы - 159
4.1.1. Сложность алгоритмов сортировки - 159
4.1.2. Пути в графах - 162
4.2. Деревья - 165
4.2.1. Упорядоченные, ориентированные и отсортированные деревья - 165
4.2.2. Представление деревьев массивами - 166
4.2.3. AVL-деревья - 167
4.2.4. В-деревья - 168
4.3. Эффективное представление множеств - 169
4.3.1. Вычислительная структура множеств с доступом по ключу - 170
4.3.2. Представление множеств AVL-деревьями - 171
4.3.3. Метод хэширования - 180
5. МЕТОДЫ ОПИСАНИЙ В ПРОГРАММИРОВАНИИ - 184
5.1. Формализмы для спецификаций - 184
5.1.1. Абстракция в спецификации - 184
5.1.2. Спецификация абстрактных вычислительных структур - 186
5.1.3. Спецификация функций - 190
5.1.4. Спецификация операторов - 191
5.2. Базы данных и информационные системы - 194
5.2.1. Моделирование отношений сущность/связь - 195
5.2.2. Диаграммы сущность/связь - 197
5.2.3. Характеризация связей - 198
5.2.4. К применению систем баз данных - 199
5.2.5. Система управления базой данных - 200
5.2.6. Запросы к базам данных и их изменение - 200
5.3. Логическое программирование - 201
5.3.1. Решение задач в логическом программировании - 202
5.3.2. Выполнение логических программ - 204
5.3.3. Унификация - 207
5.4. Объектно-ориентированное программирование - 211
6. ЗАКЛЮЧИТЕЛЬНЫЕ ЗАМЕЧАНИЯ К ИНФОРМАТИКЕ - 221
6.1. Применения информатики - 223
6.2. Информатика и право - 226
6.3. Социальная компетенция информатиков - 226
6.4. Информатика и экономика - 227
6.5. Информатика, научная теория и философия - 228
6.6. К ответственности информатиков - 229
ЛИТЕРАТУРА - 230
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ - 233

 

skomarov
интересно. надо будет гденить слить