Е.А. Кузьменкова - Формальная спецификация программ (1184224), страница 9
Текст из файла (страница 9)
151.3.1. Понятие множества .................................................................................. 151.3.2. Способы определения множеств ............................................................ 16Упражнения........................................................................................................... 171.4. Списки ............................................................................................................. 181.4.1. Понятие списка .........................................................................................
181.4.2. Способы определения списков ............................................................... 181.4.3. Операции над списками........................................................................... 20Упражнения........................................................................................................... 201.5. Отображения (maps) ....................................................................................... 211.5.1. Понятие отображения .............................................................................. 211.5.2.
Способы определения отображений ...................................................... 221.5.3. Операции над отображениями ................................................................ 23Упражнения........................................................................................................... 25Глава 2. Задание практикума ..................................................................................... 262.1. Постановка задачи ..........................................................................................
262.2. Варианты заданий........................................................................................... 262.3. Методические рекомендации ........................................................................ 30Глава 3. Сценарий работы с редактором eden ......................................................... 313.1. Начало работы с редактором......................................................................... 313.2.
Командное меню редактора........................................................................... 333.3. Редактирование модуля ................................................................................. 343.4. Обработка ошибок редактирования ............................................................. 383.5. Завершение редактирования модуля ............................................................ 41Ответы и решения к упражнениям главы 1..............................................................
44Пример варианта письменного экзаменаи его решение .............................................................................................................. 49ЛИТЕРАТУРА............................................................................................................. 5657.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
