Математическая логика и теория алгоритмов

1. Математическая логика и теория алгоритмов

Институт Информационных
Технологий
ЧелГУ, 2013

2. Рекурсивные функции

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

3. Рекурсивные функции

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

4. Частично-рекурсивные функции

1) Целая часть отделения [x/y]
Прим. [x/0]=0
2) Остаток от деления [x mod y]
Прим. [x mod 0]=0

5. Частично-рекурсивные функции

1) Целая часть отделения [x/y] = M[ (y¬0)((x+1) ¬ y(z+1))=0 ]
Прим. [x/0]=0
2) Остаток от деления [x mod y] = x ¬ y[x/y]
Прим. [x mod 0]=0