Grundkurs Theoretische Informatik, Folie 9.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt.

Slides:



Advertisements
Ähnliche Präsentationen
Gliederung Einführung in die Öffentlichkeitsarbeit
Advertisements

Grenzen endlicher Automaten
3. Berechenbarkeit Wann ist eine Funktion (über den natürlichen Zahlen) berechenbar? Intuitiv: Wenn es einen Algorithmus gibt, der sie berechnet! Was heißt,
Inhaltsfolie Automatische Abfolge der Folien.
Kapitel 6 Algorithmentheorie
Kapitel 5 Der Algorithmus
Kapitel 6 Algorithmentheorie
Einführung in Berechenbarkeit und Formale Sprachen
Programmiertechniken: Zustand fungiert als „endlicher Speicher“
Christian Schindelhauer
Formale Sprachen – Mächtigkeit von Maschinenmodellen
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (01 – Einleitung) Prof. Dr. Th. Ottmann.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 2.1.
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 1.
Rechneraufbau & Rechnerstrukturen, Folie 4.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 4.
Rechneraufbau & Rechnerstrukturen, Folie 3.1 © 2006 W. Oberschelp, G. Vossen.

Grundkurs Theoretische Informatik, Folie 2.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 2 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt.
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 14.1.
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 22: Grundlagen der Crash Recovery.
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © 2006 W. Oberschelp, G. Vossen.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 4.1.
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Kapitel 7 Claudio Moraga, Gisbert Dittrich FBI Unido
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Vorlesung 2 SWS WS 99/00 Gisbert Dittrich FBI Unido
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Vorlesung 2 SWS WS 99/00 Gisbert Dittrich FBI Unido
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Kapitel 4 Claudio Moraga; Gisbert Dittrich FBI Unido
Kapitel 19 Astronomie Autor: Bennett et al. Unsere Galaxis, die Milchstraße Kapitel 19 Unsere Galaxis, die Milchstraße © Pearson Studium 2010 Folie: 1.
Christian Schindelhauer
Berechenbarkeit. Fragestellungen Können Computer alles ausrechnen? Kann man alles ausrechnen? Was kann man berechnen? Was nicht? Was heißt Berechenbarkeit?
Grundkurs Theoretische Informatik
Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 7 Gottfried Vossen Kurt-Ulrich Witt.
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 14: Datenintegration.
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 24: Ausblicke.
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Einführung in die Programmierung Wintersemester 2011/12 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund.
1.2 Trennung von Struktur und Inhalt
1.5 Das Entwurfsmuster Kompositum
1.6 Die Datenstruktur Stapel Ein Stapel (Stack) ist ein Sonderfall einer Liste. Die Elemente werden nach dem Prinzip LIFO (Last In First Out) angefügt.
Informatik III Christian Schindelhauer Wintersemester 2006/07
Informatik III Christian Schindelhauer Wintersemester 2006/07
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
Arne Vater Wintersemester 2006/ Vorlesung
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 23: Verteilte Transaktionsverarbeitung.
© Manz Verlag Schulbuch Angewandte Informatik HLW IV/V Folie 1/5 Planung und Management von Internet-Servern Einrichtung Lerneinheit 1 Einrichtung Konfiguration.
Informatik Beschreibung von Abläufen durch Algorithmen 3.3 Wiederholugnsanweisungen 3. Beschreibung von Abläufen durch Algorithmen 3.3 Wiederholungsanweisungen.
Geschichte der Informatik
Rechneraufbau & Rechnerstrukturen, Folie 3.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 3.
GrundkursTheoretische Informatik, Folie 11.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 11 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 9.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt.
Rechneraufbau & Rechnerstrukturen, Folie 5.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 5.
GrundkursTheoretische Informatik, Folie 12.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 12 Gottfried Vossen Kurt-Ulrich Witt.
Rechneraufbau & Rechnerstrukturen, Folie 8.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 8.
Grundkurs Theoretische Informatik, Folie 5.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 5 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 8.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 8 Gottfried Vossen Kurt-Ulrich Witt.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 6.1.
GrundkursTheoretische Informatik, Folie 11.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 11 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 6.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 6 Gottfried Vossen Kurt-Ulrich Witt.
Rechneraufbau & Rechnerstrukturen, Folie 11.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 11.
Wann ist eine Funktion (über den natürlichen Zahlen) berechenbar?
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 12: XQuery und SQL/XML.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 10.1.
Rechneraufbau & Rechnerstrukturen, Folie 9.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 9.
Rechneraufbau & Rechnerstrukturen, Folie 9.1 © 2006 W. Oberschelp, G. Vossen.
Kapitel 5 Astronomie Autor: Bennett et al. Licht und Materie Kapitel 5 Licht und Materie: Die Botschaften aus dem Kosmos entschlüsseln © Pearson Studium.
1 DigInf 05/06 Beispiele für berechenbare Funktionen Diagonalisierung Alles gemäß handschriftlicher Folien.
Syntax: while ( BEDINGUNG ) { // Anweisungen die so lange immer wieder ausgeführt // werden, wie die Bedingung zutrifft } for (INITIALISIERUNG; BEDINGUNG;
 Präsentation transkript:

Grundkurs Theoretische Informatik, Folie 9.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt

Grundkurs Theoretische Informatik, Folie 9.2 © 2006 G. Vossen,K.-U. Witt Berechenbarkeit Turing-Berechenbarkeit Loop-, While- und Goto-Berechenbarkeit Primitiv rekursive und µ-rekursive Funktionen Die Churchsche These Die Ackermannfunktion Universelle Turingmaschinen

Grundkurs Theoretische Informatik, Folie 9.3 © 2006 G. Vossen,K.-U. Witt Ende Kapitel 9