Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Семантический спуск определения ЯП – исключение из определения ЯП компонентов, сводимых у более простым или общим средствам, что формально не влияет на полноту ЯП.
Список свободной памяти – структура данных, обеспечивающая динамический доступ к памяти.
Степень изученности задачи – оценка готовности к программированию постановки задачи и методов еѐ решения.
Структурное программирование – методика представления императивно-процедурных программ, упрощающая их отладку.
Универсальная семантическая функция ЯП – функция вычисления результата любой правильно представленной на ЯП функции от допустимых данных.
Уровень абстрагирования понятий – характеристика независимости понятия от малосущественных свойств конкретных примеров.
Хэш-функции – методика хранения динамически изменяемого конечного множества из элементов бесконечного множества.


АББРЕВИАТУРЫ

Обозначение	Расшифровка
АК	Абстрактный комплекс
АМ	Абстрактная машина
АС	Абстрактный синтаксис
БД	Базы данных
БНФ	Формы Бэкуса-Наура
БС	Базовые средства
ВС	Вспомогательная семантика
ЖЦП	Жизненный цикл программ
ЗШ	Заочная школа юных программистов
ЗШЮП	Заочная школа юных программистов
ИП	Императивно-процедурное программирование
ИС	Информационная система
ИТ	Информационные технологии
КМ	Конкретная машина
КП	Компонентное программирование
КС	Конкретный синтаксис
КЯ	Концептуальные языки программирования
ЛП	Логическое программирование
ЛШ	Летняя школа юных программистов
ЛШЮП	Летняя школа юных программистов

НФ	Нормализованная форма
ОИВТ	Основы информатики и вычислительной техники
ООП	Объектно-ориентированное программирование
ОС	Операционная семантика
ПЖЦП	Полный жизненный цикл программ
ПИП	Процедурно-императивное программирование
ПП	Парадигма программирования
РБНФ	Расширенные формы Бэкуса-Наура
РИС	Распределѐнная информационная система
РП	Реализационная прагматика
СД	Структуры данных
СП	Система программирования
СПП	Стандартное прикладное программирование
СУ	Синтаксическое управление
ТА	Таблица атомов
ТД	Типы данных
ТИ	Таблица идентификаторов/имѐн
ТП	Технология программирования
УФ	Универсальная функция языка программирования
УЯ	Учебный язык программирования
ФП	Функциональное программирование
ШИ	Школьная информатика
ШЮП	Школа юных программистов
ЯНОП	Язык начального обучения программированию
ЭП	Эксплуатационная прагматика
ЯВУ	Язык высокого уровня
ЯНОП	Язык начального обучения программированию
ЯНУ	Язык низкого уровня
ЯП	Язык программирования
ЯПП	Язык параллельного программирования
ЯСВУ	Язык сверх высокого уровня
ЯСП	Язык и система программирования
ЯФП	Язык функционального программирования
AMA	Абстрактная машина.ассемблера
AMF	Абстрактная машина языка Forth
AML	Абстрактная машина языка Lisp
AMM	Абстрактная машина макрогенератора
AMP	Абстрактная машина языка Pascal
AMQ	Абстрактная машина управления процессами
BIOS	basic input/output system - «базовая система ввода-вывода»
CSP	Communicating Sequential Processes — теория взаимодействующих последовательных процессов,

	разработанная Чарльзом Э. Хоаром в 1969 году.
CCS	Calculus of Communicating Systems — исчисление общающихся систем, разработанное Робином Милнером в 1980 году
FDD	Функционально-ориентированное проектирование
LAP	Ассемблер языка Lisp
PID	Идентификатор процесса
RISC	restricted (reduced) instruction set computer — компьютер с сокращѐнным набором команд
SECD	Абстрактная машина языка Lisp
SECM	Абстрактная машина языка Pascal
SSA	Однократное присваивание
UML	Универсальный язык моделирования UML
XP	Экстремальное программирование

ОБОЗНАЧЕНИЯ

(X . Y) – работает как (cons X Y) – X становится «головой» списка Y. (x . l ) – это значит, что первый элемент списка – x, а остальные находятся в списке l.
(x y . l ) – первый элемент списка – x, второй элемент списка – y, остальные находятся в списке l.
([XL . YL] . AL) – работает как (pairlis XL YL AL) – функция аргументов XL,YL, AL строит список пар-консолидаций соответствующих элементов из списков XL, YL и присоединяет их к списку AL. Полученный список пар, похожий на таблицу с двумя столбцами, называется ассоциативным списком или таблицей атомов. Такой список может использоваться для связывания имен переменных и функций при организации вычислений интерпретатором.
(X | Y) – работает как (append X Y) – сцепляет списки в один общий список.
AL[X] – работает как (assoc X AL) – функция двух аргументов, X и AL. Если AL – таблица атомов, подобная тому, что формирует функция pairlis, то assoc выбирает из него первую пару, начинающуюся с X. Таким образом, это функция поиска определения или значения в таблице атомов.
[x] – содержимое памяти по адресу x.
e[n] – содержимое n-го элемента контекста.
{A | B | … | Z} – множество вариантов.
A(Pr) – число аргументов процедуры Pr.
L(Pr) – число локальных переменных процедуры Pr. @F – адрес подпрограммы, выполняющей функцию F. @c – адрес позиции «c» в программе.
_ – произвольное значение ( _ подчерк).
(Expr) – результат вычисления выражения или успех выполнения процесса.
$ – переменная для кода успеха/результата процесса.
$* – все аргументы переданные скрипту (выводятся в строку).
$! – PID последнего запущенного в фоне процесса.
$$ – PID самого скрипта.
NN(d) – список номеров и имѐн элементов очереди. [, … ] - очереди процессов.
NULL – пустой файл.
H(d) – голова очереди, точнее – процесс с наивысшим приоритетом. T(d) – хвост очереди, остаток после удаления головы. d = H(d) • T(d). PN – имя текущего процесса.

Учебное издание

Городняя Лидия Васильевна

ПАРАДИГМА ПРОГРАММИРОВАНИЯ

Курс лекций

Редактор Т.Ю. Седыченко


Подписано в печать . .2015 г.
Формат 60×84 1/16. Уч.-изд. л. 12. Усл. печ. л. .
Тираж экз. Заказ №
Редакционно-издательский центр НГУ. 630090, Новосибирск, ул. Пирогова, 2.