Основы функционального программирования/Вводная лекция: различия между версиями
Содержимое удалено Содержимое добавлено
Окончена первоначальная правка. Документ переводится в следующий статус зрелости. |
|||
Строка 165:
Пусть имеется программа <math>P</math>. Для неё определены входные значения <math>\langle x_{1}, \ldots, x_{n} \rangle</math> и выходные значения <math>\langle y_{1}, \ldots, y_{m} \rangle</math>. Требуется построить математическое описание функции
<center><math>f : D_{x_{1}} \times \ldots \times D_{x_{n}} \rightarrow D_{y_{1}} \times \ldots \times D_{y_{m}}</math>.</center>
'''3. Определение формальной семантики языка программирования.'''
|