У нас вы можете посмотреть бесплатно Berechenbarkeit #22 - Primitiv-rekursive Funktionen (Sehr interessante Beispiele) или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
Wir sehen uns zwei weitere Beispiele für primitiv-rekursive Funktionen an, die auf den Beweis vorbereiten, dass die LOOP-berechenbare Funktionen genau die primitiv-rekursiven Funktionen sind. Das erste Beispiel ist die Primzahl-Funktion. Diese Funktion kann man als einen logischen Ausdruck mit beschränkter Quantifizierung formulieren und deshalb ist sie primitiv-rekursiv. Das zweite Beispiel ist die Fibonacci-Folge. Hierfür müssen wir auf mehrere vorige Funktionswerte zurückgreifen und lernen dafür eine Technik kennen, mit der man mehrere Zahlen in einer Zahl kodieren kann. (Cantorsche Paarungsfunktion)