Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden    Semester: WiSe 2020/21      Switch to english language    Hilfe    Sitemap
Logout in [min] [minutetext]

 
weitere Informationen zu Vorlesungsverzeichnis  Vorlesungsverzeichnis    
 
weitere Informationen zu Informatik  Informatik    
 
weitere Informationen zu Bachelor (BPO 2010)  Bachelor (BPO 2010)    
 
weitere Informationen zu Grundlagen der Informatik (Pflicht)  Grundlagen der Informatik (Pflicht)    
 
weitere Informationen zu Einführung in die Logik (BPO 2010) (Modulnr.: INF-THI-37)  Einführung in die Logik (BPO 2010) (Modulnr.: INF-THI-37)    
Leistungspunkte:

5

Workload:

150 h

SWS:

4

Anzahl Semester:

1

Qualifikationsziele:

- Nach Abschluss dieses Moduls besitzen die Studierenden einen Einblick in die Methoden der formalen Logik und deren Relevanz in der Informatik. - Sie können Sachverhalte formal-logisch formulieren und formal-logische Methoden anwenden.

Inhalte:

- Aussagenlogik - Normalformen - Boole'sche Algebren - Prädikatenlogik

Lernformen:

Vorlesung und Übung

Prüfungsmodalitäten:

1 Prüfungsleistung: Klausur, 120 Minuten oder mündliche Prüfung, 30 Minuten

Literatur:

- J. Adamek: Einfuehrung in die Logik, Skript 2011 (Webseite des Instituts fuer Theoretische Informatik) - Uwe Schoening: Logik fuer Informatiker, Spektrum Verlag, Berlin 2005 - H. Ehrich et al: Grundlagen der Informatik, Springer Verlag 1999 - M. Huth und M.Ryan: Logic in computer science, Cambridge University Press 2004.

Modulverantwortlicher:

Adámek, Jiri, Prof. Dr.

 

   

Lehrveranstaltungen


Vst.-Nr. Veranstaltung Vst.-Art Aktion
4212028 Einführung in die Logik   -   Dr. Koslowski Vorlesung
4212029 Einführung in die Logik (kl.Übung)   -   Dr. Koslowski kl.Übung
Server: LSF35 Impressum & Datenschutz            Erklärung zur Barrierefreiheit      Druckversion der Seite     Druckversion