Е.А. Кузьменкова - Формальная спецификация программ (Е.А. Кузьменкова - Формальная спецификация программ.pdf), страница 9
Описание файла
PDF-файл из архива "Е.А. Кузьменкова - Формальная спецификация программ.pdf", который расположен в категории "". Всё это находится в предмете "пакеты прикладных программ" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 9 страницы из PDF
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.