Grundkurs Theoretische Informatik, Folie 9.1 © 2004 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.
Einführung in Berechenbarkeit und Formale Sprachen
Programmiertechniken: Zustand fungiert als „endlicher Speicher“
Formale Sprachen – Mächtigkeit von Maschinenmodellen
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (01 – Einleitung) Prof. Dr. Th. Ottmann.
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.
Rechneraufbau & Rechnerstrukturen, Folie 6.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 6.
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
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.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 8.1.
Rechneraufbau & Rechnerstrukturen, Folie 5.1 © 2006 W. Oberschelp, G. Vossen.
Lehrplan Informatik Informatik Klassenstufe 7/8
Kapitel 19 Astronomie Autor: Bennett et al. Unsere Galaxis, die Milchstraße Kapitel 19 Unsere Galaxis, die Milchstraße © Pearson Studium 2010 Folie: 1.
Verzweigung.
Berechenbarkeit. Fragestellungen Können Computer alles ausrechnen? Kann man alles ausrechnen? Was kann man berechnen? Was nicht? Was heißt Berechenbarkeit?
Rechneraufbau & Rechnerstrukturen, Folie 12.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 12.
Rechneraufbau & Rechnerstrukturen, Folie 13.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 13.
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
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
Allgemeinbildender Informatikunterricht. Ein neuer Blick auf H. W
Zum Testen: Alle Folienübergänge Kapitel 17. Information Die folgenden Folien geben Ihnen eine Vorschau auf alle in PowerPoint 2007 verfügbaren Folienübergänge.
Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich.
Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich.
Einführung in die Programmierung
Sinussatz? Cosinussatz?
V-Modell Was ist das V-Modell? Entwicklungsgeschichte
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.
dokumentation BERUFSBILDUNG
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.
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 13.1 © 2006 W. Oberschelp, G. Vossen.
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.
Grundkurs Theoretische Informatik, Folie 9.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt.
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.
Erstellen einer Powerpoint-Präsentation
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 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt

Grundkurs Theoretische Informatik, Folie 9.2 © 2004 G. Vossen,K.-U. Witt Berechenbarkeit Turing-Berechenbarkeit Loop-, While- und Goto-Berechenbarkeit Universelle Turingmaschinen

Grundkurs Theoretische Informatik, Folie 9.3 © 2004 G. Vossen,K.-U. Witt Zur Churchschen These

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