Зыков С. В. - Программирование: учебник и практикум для вузов [2022, PDF, RUS]

Примеры страниц (скриншоты)

Оглавление

Предисловие .................................................................................................................. 7
Раздел 1
ФУНКЦИОНАЛЬНЫЙ ПОДХОД
Глава 1. Место функционального подхода и Microsoft .NET
в семействе языков и подходов к программированию ....................................................... 13
1.1. Классификация языков программирования ................................................................ 13
Контрольные вопросы .............................................................................................. 19
1.2. Концепция и возможности подхода .NET .................................................................... 20
Контрольные вопросы ............................................................................................... 26
1.3. Функциональный подход к программированию ............................................................ 27
Контрольные вопросы ............................................................................................... 33
Глава 2. Формальные системы, поддерживающие
функциональный подход .................................................................................................. 35
2.1. Лямбда-исчисление как формализация языка функционального
программирования ........................................................................................................... 35
Контрольные вопросы ............................................................................................... 40
2.2. Комбинаторная логика как формальная система .......................................................... .41
Контрольные вопросы ................................................................................................ 45
2.3. Теория типов и ее моделирование средствами комбинаторной логики ........................... .46
Контрольные вопросы ................................................................................................ 54
Глава З. Синтаксис и семантика функциональных программ ................................................. 56
3.1. Синтаксис языков программирования ........................................................................... 56
Контрольные вопросы .................................................................................................. 64
3.2. Семантика языков программирования ........................................................................... 65
Контрольные вопросы .................................................................................................. 72
Глава 4. Рекурсия и моделирование среды вычислений ......................................................... 74
4.1. Рекурсивные функции и множества ............................................................................... 74
Контрольные вопросы .................................................................................................. 80
4.2. Абстрактные машины и категориальная комбинаторная логика ........................................ 81
Контрольные вопросы .................................................................................................. 87
4.3. Категориальная абстрактная машина ............................................................................. 88
Контрольные вопросы .................................................................................................. 94
4.4. Оптимизация вычислений в абстрактных машинах .......................................................... 95
Контрольные вопросы .................................................................................................. 101
И того вые вопросы ............................................................................................................ 103
Практикум по гетерогенному программированию
в среде Microsoft .NET ......................................................................................................... 113
П.1. Функциональное программирование и computer science .................................................. 113
П.2. Базисные типы и стандартные функции языка F# ........................................................... 116
Контрольные вопросы ......................................................................................................... 117
П.3. Функции F# для основных комбинаторов ........................................................................ 125
Контрольные вопросы .......................................................................................................... 126
П.4. Рекурсивные вычисления .............................................................................................. 141
Контрольные вопросы .......................................................................................................... 141
П.5. Функции для синтаксического разбора простых языковых
конструкций ........................................................................................................................ 153
Контрольные вопросы .......................................................................................................... 154
П.6. Реализация категориальной абстрактной машины ........................................................... 159
Контрольные вопросы .......................................................................................................... 159
Приложение. Особенности инсталляции интегрированной среды
разработки Visual Studio .NET ............................................................................................... 167
Библиография ..................................................................................................................... 168
Раздел 2
ОБЪЕКТНО-ОРИЕНТИРОВАННЫЙ ПОДХОД
Глава 1. Основы языковой программной среды ...................................................................... 173
1.1. Введение в объектно-ориентированный подход к программированию ............................... 173
Контрольные вопросы .......................................................................................................... 181
1.2. Среда Microsoft .NET и ее использование для гетерогенного
программирования .............................................................................................................. 182
Контрольные вопросы .......................................................................................................... 192
1.3. Основы объектно-ориентированного программирования на языке С# ............................... 193
Контрольные вопросы .......................................................................................................... 204
Глава 2. Концептуальные основы и семантика объектно-
ориентированного подхода .................................................................................................. 206
2.1. Семантика основных конструкций языка программирования С# ....................................... 206
Контрольные вопросы .......................................................................................................... 213
2.2. Основные понятия объектно-ориентированного подхода: объекты,
классы и методы ................................................................................................................. 214
Контрольные вопросы .......................................................................................................... 222
Глава З. Дисциплина типов и важнейшие концепции гетерогенной
среды вычислений .............................................................................................................. 224
3.1. Теория типов и типизация в .NET ................................................................................... 224
Контрольные вопросы .......................................................................................................... 233
3.2. Концепция наследования и ее реализация в языке С# ..................................................... 234
Контрольные вопросы .......................................................................................................... 242
3.3. Концепция инкапсуляции и ее реализация в языке С# ..................................................... 243
Контрольные вопросы .......................................................................................................... 250
3.4. Концепция полиморфизма и ее реализация в языке С# .................................................... 251
Контрольные вопросы .......................................................................................................... 257
Глава 4. Расширения объектно-ориентированного подхода ......................................................259
4.1. Расширенные возможности полиморфизма в языке С# ..................................................... 259
Контрольные вопросы .......................................................................................................... 267
4.2. Событийно управляемое программирование в среде .NET ................................................. 268
Контрольные вопросы .......................................................................................................... 278
4.3. Компонентное программирование в .NET ......................................................................... 279
Контрольные вопросы .......................................................................................................... 288
Практикум по гетерогенному программированию
в среде Microsoft .NET .......................................................................................................... 290
П.1. Разработка элементарных программ на языке программирования С# ................................ 290
Контрольные вопросы .......................................................................................................... 293
П.2. Объекты и классы (наследование, конструкторы, деструкторы) ........................................ 297
Контрольные вопросы .......................................................................................................... 299
П.3. Полиморфные методы ................................................................................................... 301
Контрольные вопросы .......................................................................................................... 303
П.4. Расширенные возможности языка программирования С# ................................................. 306
Контрольные вопросы .......................................................................................................... 308
П.5. Событийно-ориентированное программирование ............................................................. 310
Контрольные вопросы .......................................................................................................... 314
П.6. Проектирование и реализация гетерогенных приложений ................................................ 316
Контрольные вопросы .......................................................................................................... 317
Библиография ..................................................................................................................... 320