| INF1132 Angewandte Logik | SG | INF | |
|---|---|---|---|
| Dozent : |
Prof. Dr. rer. nat. habil. Dietmar Uhlig eMail | Homepage |
Semester | 1 |
| Einordnung : | Informatik | SWS | 3 |
| Sprache : | Deutsch | Art | V Ü |
| Prüfungsart : | PL | Credits | 8 |
| Prüfungsform : | Klausur 120 min | ||
| Voraussetzungen : | |||
| Querverweise : | Prüfung gemeinsam mit Grundlagen der Informationsverarbeitung credit points gemeinsam mit Grundlagen der Informationsverarbeitung | ||
| Vorkenntnisse : | |||
| Hilfsmittel und Besonderheiten : | |||
| Lehrziele : | |||
| Lehrinhalte : | Vermittelt werden Logik-Grundkenntnisse, die für wichtige Informatik-Gebiete und Anwendungen wie Digitaltechnik und Schaltungsentwurf, Datenbanksysteme und Anfragesprachen, (Logik-)Programmierung und Wissensverarbeitung, etc. erforderlich sind. | ||
| Literatur : | U. Schöning: Logik für Informatiker, Spektrum-Verlag, 4. Auflage, 1995 | ||