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 

PRÄSENZ im WiSe 21/22: Logiksysteme - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung/Übung Langtext
Veranstaltungsnummer 10200 Kurztext FMI-IN0033
Semester WS 2021 SWS 4
Teilnehmer 1. Platzvergabe 30 Max. Teilnehmer 2. Platzvergabe 50
Rhythmus Jedes 2. Semester Studienjahr
Credits für IB und SPZ
E-Learning
Hyperlink
Sprache Deutsch
Belegungsfrist Standardbelegung Wintersemester ab Mitte August/ Sommersemester ab Mitte Februar
Abmeldefristen B1 - Belegung ohne Abmeldung    23.08.2021 09:00:00 - 07.10.2021 07:59:59   
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
B2 - Belegung mit Abmeldung 6 Wochen    07.10.2021 08:00:00 - 29.11.2021 23:59:59   
Nach Zulassung ist eine Abmeldung auch durch den Teilnehmer möglich.
B3 - Belegung ohne Abmeldung    30.11.2021 00:00:01 - 21.02.2022 07:59:59    aktuell
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
Termine Gruppe: 1-Gruppe iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson (Zuständigkeit) Status Bemerkung fällt aus am Max. Teilnehmer 2. Platzvergabe
Einzeltermine anzeigen Di. 16:00 bis 18:00 w. 26.10.2021 bis
08.02.2022
Fröbelstieg 1 - HS 1 Abb   findet statt  
Einzeltermine anzeigen Do. 16:00 bis 18:00 w. 21.10.2021 bis
10.02.2022
Fröbelstieg 1 - HS 4 Abb   findet statt  
Gruppe 1-Gruppe:



Zugeordnete Person
Zugeordnete Person Zuständigkeit
Mundhenk, Martin, Universitätsprofessor, Dr. verantwortlich
Module / Prüfungen
Modul Prüfungsnummer Titel VE.Nr. Veranstaltungseinheit
FMI-IN3164 Mastermodul Algorithmik/Theoretische Informatik IV - 6 LP
P-Nr. : 352141 Mastermodul Algorithmik/Theoretische Informatik IV - 6 LP: mündl. o. schriftl. Prüfung
352143 Mastermodul Algorithmik/Theoretische Informatik IV - 6 LP: Vorlesung/Übung/Praktikum
FMI-IN3163 Mastermodul Algorithmik/Theoretische Informatik III - 6 LP
P-Nr. : 352131 Mastermodul Algorithmik/Theoretische Informatik III - 6 LP: mündl. o. schriftl. Prüfung
352133 Mastermodul Algorithmik/Theoretische Informatik III - 6 LP: Vorlesung/Übung/Praktikum
FMI-IN3162 Mastermodul Algorithmik/Theoretische Informatik II - 6 LP
P-Nr. : 352121 Mastermodul Algorithmik/Theoretische Informatik II - 6 LP: mündl. o. schriftl. Prüfung
352123 Mastermodul Algorithmik/Theoretische Informatik II - 6 LP: Vorlesung/Übung/Praktikum
FMI-IN3161 Mastermodul Algorithmik/Theoretische Informatik I - 6 LP
P-Nr. : 352111 Mastermodul Algorithmik/Theoretische Informatik I - 6 LP: mündl. o. schriftl. Prüfung
352113 Mastermodul Algorithmik/Theoretische Informatik I - 6 LP: Vorlesung/Übung/Praktikum
FMI-IN3469 Mastermodul Logik III - 6 LP
P-Nr. : 354691 Mastermodul Logik III - 6 LP: mündl. o. schriftl. Prüfung o. Projektarbeit
354693 Mastermodul Logik III - 6 LP: Vorlesung/Übung
FMI-IN3468 Mastermodul Logik II - 6 LP
P-Nr. : 354681 Mastermodul Logik II - 6 LP: mündl. o. schriftl. Prüfung o. Projektarbeit
354683 Mastermodul Logik II - 6 LP: Vorlesung/Übung
FMI-IN3467 Mastermodul Logik I - 6 LP
P-Nr. : 354671 Mastermodul Logik I - 6 LP: mündl. o. schriftl. Prüfung o. Projektarbeit
354673 Mastermodul Logik I - 6 LP: Vorlesung/Übung
50334 Logiksysteme: Übung
FMI-IN0033 Logiksysteme
P-Nr. : 50331 Logiksysteme: Klausur oder mündliche Prüfung
50333 Logiksysteme: Vorlesung/Übung
FMI-IN5002 Vorbereitungsmodul 2 - mündliche Prüfung
P-Nr. : 51441 Vorbereitungsmodul 2: Algorithmik Mündliche Prüfung
51446 Vorbereitungsmodul 2: Übung Algorithmik
FMI-IN5002 Vorbereitungsmodul 2 - mündliche Prüfung
P-Nr. : 51441 Vorbereitungsmodul 2: Algorithmik Mündliche Prüfung
51445 Vorbereitungsmodul 2: Vorlesung Algorithmik
Zuordnung zu Einrichtungen
Theoretische Informatik
Fakultät für Mathematik und Informatik
Inhalt
Literatur

Valentin Müller, Martin Mundhenk: Lecture Notes for the Course Logical Systems, 2021

Voraussetzungen

Es gibt wöchentliche Übungsblätter mit verschiedenen Aufgaben.

Davon muss wöchentlich eine Aufgabe gelöst werden und über Moodle abgegeben werden.

Die von Ihnen abgegebenen Aufgaben werden mit "bestanden" oder "nicht bestanden" bewertet.

Zur Zulassung zur Prüfung ist es nötig, mindestens 80% der abgegebenen Aufgaben "bestanden" zu haben.

Leistungsnachweis

mündliche Prüfung

Lerninhalte

Sie wissen, wie sich die Wahrheitswerte umgangssprachlicher Aussagen ergeben, die durch Verknüpfung von Aussagen durch "... und ...", "... oder ...", "wenn..., dann ...", "... genau dann, wenn ..." oder "nicht ..." entstehen -- das nenne ich umgangssprachliche Aussagenlogik.

Wir schauen uns in der Vorlesung formale Logiken an, mit denen man umgangssprachliche Logiken modelliert. In der formalen Logik modelliert man Aussagen durch Formeln, und man interessiert sich besonders für gültige Formeln. Sie modellieren z.B. umgangssprachliche Aussagen, die auf Grund ihrer Struktur unabhängig von ihrem Inhalt wahr sind. Um gültige Formeln von anderen Formeln zu unterscheiden, benutzt man Beweisverfahren. Wir schauen uns die Beweisverfahren Tableau-Kalkül und Frege-Kalkül an. Das Ziel dabei ist es, die Korrektheit ("man kann nur gültige Formeln beweisen") und die Vollständigkeit ("alle gültigen Formeln sind beweisbar") der Beweisverfahren zu beweisen.

Die formalen Logiken, die in dieser Vorlesung vorgestellt werden, sind die Aussagenlogik und die modale Aussagenlogik. Damit hat man ein Beispiel für eine klassische und eine nicht-klassische Logik kennengelernt. Gegebenenfalls wird noch eine weitere Logik vorgestellt, z.B. eine mehrwertige, temporale oder intuitionistische Aussagenlogik, oder die Prädikatenlogik.

Zielgruppe

Studierende mit Grundkenntnissen in umgangssprachlicher Aussagenlogik.

Strukturbaum
Die Veranstaltung wurde 10 mal im Vorlesungsverzeichnis WiSe 2021/22 gefunden:
Vertiefung Informatik  - - - 3
Säule Theorie  - - - 5
Wahlpflichtmodule  - - - 6
Wahlpflichtmodule  - - - 7
Wahlpflichtmodule  - - - 8
Wahlpflichtmodule  - - - 10

Impressum | Datenschutzerklärung