Institut für Theoretische Informatik
- 1:
Lehre.- 1.1:
Vorlesungen. - 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archiv.
- 1.8.1:
WS 2011/2012. - 1.8.2: SS 2011.
- 1.8.3: WS 2010/2011.
- 1.8.4: SoSe 2010.
- 1.8.5: WS 2009/2010.
- 1.8.5.1:
Seminar Algorithmische Geometrie. - 1.8.5.2: Proseminar Algorithmen.
- 1.8.5.3: Praktikum: Datenkompression.
- 1.8.5.4: Kryptographie Projekt / Praktikum SS09.
- 1.8.5.5: SAT-Solving.
- 1.8.5.6: Einführung in die Bioinformatik.
- 1.8.5.7: Höhere Algorithmik.
- 1.8.5.8: Formale Grundlagen der Informatik.
- 1.8.5.9: Algorithmen und Datenstrukturen.
- 1.8.5.10: Highlights der Theoretischen Informatik.
- 1.8.5.11: Algorithmen zur Sequenzanalyse.
- 1.8.5.1:
- 1.8.6: SoSe 2009.
- 1.8.7: WS 2008/2009.
- 1.8.8: SoSe 2008.
- 1.8.9: WS 2007/2008.
- 1.8.1:
- 1.1:
- 2: Forschung.
- 3: TheorieTag.
- 4: Mitarbeiter.
- 5: Adresse.
- 6: Intern.
- 7: Impressum.
Formale Grundlagen der Informatik
Inhalt
Boolesche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten
Infos zur Vorlesung
Die Klausur für "Formale Grundlagen der Informatik" findet am Montag, den 8. März 2010, um 10:00 Uhr im H11, H22 und Klinik HS (O23/2619) statt und dauert 120min. Die Studenten verteilen sich bitte wie folgt auf die Hörsäle: Anfangsbuchstabe des Nachnamens A-D nach H11, E-L nach Klinik HS und M-Z nach H22.
Die Wiederholungsklausur für "Formale Grundlagen der Informatik" findet am Dienstag, den 13. April 2010, um 10:00 Uhr im H22 statt und dauert 120min.
Als Hilfsmittel ist ein beidseitig selbstbeschriebenes DIN-A4 Blatt erlaubt.
Die erste Vorlesung findet am Donnerstag, den 15.10.09 statt
Aktuelle Informationen zur Vorlesung finden Sie im rubikon2-System
(http://rubikon2.informatik.uni-ulm.de).
Dozent
Prof. Dr. Uwe SchöningVorlesungszeiten
Montag, 12:00-14:00 Uhr, O28/H20,
Donnerstag, 14:00-16:00 Uhr, O28/H22