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

Математическая логика и теория алгоритмовИнститут Информационных ТехнологийЧелГУ, 2013 Рекурсивные функции     x-y, если x-y≥01)    x¬y= Рекурсивные функции     x-y, если x-y≥01)    x¬y= Частично-рекурсивные функцииЦелая часть отделения [x/y]	Прим. [x/0]=02) Остаток от деления [x mod y]	Прим. [x mod 0]=0 Частично-рекурсивные функцииЦелая часть отделения [x/y] = M[ (y¬0)((x+1) ¬ y(z+1))=0 ]	Прим. [x/0]=02) Остаток от деления

Слайды и текст этой презентации

Слайд 1 Математическая логика и теория алгоритмов
Институт Информационных Технологий
ЧелГУ, 2013

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

Слайд 2 Рекурсивные функции














x-y, если x-y≥0
1)

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


2) |x-y|=





Слайд 3 Рекурсивные функции














x-y, если x-y≥0
1)

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


2) |x-y|= (x¬y)+(y¬x)





Слайд 4 Частично-рекурсивные функции














Целая часть отделения [x/y]

Прим. [x/0]=0


2) Остаток от деления [x mod y]

Прим.

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




Слайд 5 Частично-рекурсивные функции














Целая часть отделения [x/y] = M[ (y¬0)((x+1) ¬ y(z+1))=0 ]

Прим. [x/0]=0


2)

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

Прим. [x mod 0]=0




  • Имя файла: matematicheskaya-logika-i-teoriya-algoritmov.pptx
  • Количество просмотров: 12
  • Количество скачиваний: 0