Text in english

Logik

Kurs nur in Deutsch

Semesterwochenstunden:

4

Leistungspunkte:

5

Vorkenntnisse:

Mathematik, Theoretische Informatik

Veranstaltungstyp:

Vorlesung und Seminar

Semesterturnus:

Wintersemester

Arbeitsaufwand:

150 Stunden, davon:
65 Stunden Präsenzzeit
30 Stunden Vor- und Nachbereiten des Vorlesungsstoffes
55 Stunden Vorbereiten der Präsentation

Beitrag zu den Zielen des Studiengangs:

Theoretischer Hintergrund

Lernziel:

  • Einführung in die Aussagenlogik und in die Prädikatenlogik
  • Studieren der Entwicklung der Logik und ihrer zahlreichen Zweige

Schlüsselqualifikationen:

Präsentationskompetenz

Lehrinhalte:

Vorlesung: Aussagenlogik, Prädikatenlogik 

Vortragsthemen:
Geschichte der Logik, spezielle Logiken, Methoden des logischen Schließens, formale Methoden der Softwareentwicklung, Künstliche Intelligenz, automatisches Beweisen etc.

Literatur:

Uwe Schöning, Logik für Informatiker, Spektrum Akademischer Verlag

Bemerkungen:

Die Vorlesung wird in deutscher Sprache angeboten.
Vorlesung im Block in der Woche vom 10. bis 13.2.2020, Vorträge der Studierenden n.V. 3. bis 5.3.2020

Leistungsnachweis:

Seminarvortrag 25 min

Modulverantwortliche/r:

Prof. Dr. Stry





TH Nürnberg
Fakultät Informatik
Webmaster-IN



Root- Zertifikat

© 2019 Fakultät Informatik