|
Modultitel: |
Kürzel: |
Erg.Log |
|||||
|
Pflichtmodul |
|
|
Leistungspunkte: 9 LP |
||||
|
Bereich: |
Ergänzung Mathematik |
||||||
|
Verantwortlicher Hochschullehrer: |
|||||||
|
Lernziele/Kompetenzen Die Studierenden sind mit den mathematischen
Strukturen der Prädikatenkalküle 1. und 2. Ordnung vrtraut und sind in der
Lage, formale Theorien bzgl. unterschiedlicher Fragmente der klassischen
Logik in diesen Strukturen zu entwickeln. |
|||||||
|
Lehrveranstaltung |
|||||||
|
Titel LV: |
Mathematische Logik |
||||||
|
Pflichtbereich |
Studiensemester: Wintereinstieg: 2 Sommereinstieg:
1 oder 3 |
||||||
|
Workload: |
Kontaktstunden: 90 |
Selbststudium: 180 |
Gesamt: 270 |
||||
|
SWS: |
4 V,
2 Ü |
Gruppengröße Vorlesung: |
30 |
Gruppengröße Übung: |
30 |
||
|
Häufigkeit: |
1 x alle 2 Jahre |
Angebotssemester: |
Sommersemester |
||||
|
Dauer: |
1 Semester |
Sprache: |
Deutsch |
||||
|
Lehrinhalte: |
Logische Systeme der klassischen Logik, des Intuitionismus der Lukasiewiezcschen
Logik, der linearen Logik unter Einschluss ihrer algebraischen Grundlagen und
der besonderen Rolle der Lindenbaum Algebra. Formale Theorie der Arithmetik,
der Gruppen und der reellen Zahlen. |
||||||
|
Lehrformen: |
Vorlesung und Übungen |
Prüfungsformen: |
schriftliche oder mündliche Prüfung |
||||
|
Lehrende: |
Prof. Dr. Ulrich Höhle |
||||||
|
Anzahl LP: |
9 |
||||||
|
Voraussetzungen für die Teilnahme: |
|||||||
|
Verwendbarkeit über diesen Studiengang hinaus: Master IT |
|||||||
|
Erwerb der LP in der Lehrveranstaltung: erfolgreiche Bearbeitung von Übungsaufgaben und
bestandene mündliche oder schriftliche Prüfung |
|||||||