Математическая логика и теория алгоритмов презентация

Рекурсивные функции
x-y, если x-y≥0
1) x¬y=
0, в противном случае
2) |x-y|=

Рекурсивные функции
x-y, если x-y≥0
1) x¬y=
0, в противном случае
2) |x-y|= (x¬y)+(y¬x)

Частично-рекурсивные функции
Целая часть отделения [x/y]
Прим. [x/0]=0
2) Остаток от деления [x mod y]
Прим. [x mod 0]=0