185.A45 Logic and Computability
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023W, VU, 4.0h, 6.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage wichtige Konzepte, Techniken und Resultate der formalen Logik und der Berechenbarkeitstheorie zu unterscheiden und anzuwenden. Außerdem sollten Absolventen in der Lage sein, Verbindung zwischen Themen wie Unvollständigkeit arithmetischer Kalküle, Unentscheidbarkeit, formaler Beweisbarkeit und Ausdruckstärke zu verstehen und zu erklären.

Inhalt der Lehrveranstaltung

  • advanced aspects of classical first order logic as specification tool
  • proof systems for classical first order logic, including  soundness and completeness proofs 
  • elements of model theory (Löwenheim-Skolem, compactness, expressibility)
  • principles of automated theorem proving
  • methods for handling identity  
  • comparison of types of inference systems 
  • elements of modal logic: Kripke semantics, temporal logics 
  • elements of intuitionistic logic and constructive proofs
  •  computational aspects of logic
  • undecidabilty of firt order logic and its consequences
  • models of computation (Turing machines, lambda calculus)
  • elementary recursion theory
  • Church-Turing thesis
  • incompleteness of arithmetic and its consequences  

Methoden

  • derivations in various different logical calculi
  • applying formal concepts to standard problem sets
  • mastering formal (mathematical) definitions
  • analysis of proofs of central results
  • mandatory exercises

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ETCS Breakdown:

6 ETCS = 150 hours

  • 38 hours:  lecture time (+ 6-8 hours repetitorium for students not having a firm previous knowledge in logic)
  • 10 hours: exercise sessions (MANDATORY)
  • 42 hours: 6  blocks of problems/exercises 
  • 60 hours: examination (preparation time)

 The course will start Wednesday, October 4th 2023, 11:00. 

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.11:00 - 13:0004.10.2023 - 17.01.2024EI 5 Hochenegg HS Vorlesung
Do.13:00 - 15:0005.10.2023 - 14.12.2023EI 5 Hochenegg HS Vorlesung
Do.15:00 - 17:0005.10.2023 - 19.10.2023HS 14A Günther Feuerstein Repetitorium
Fr.13:00 - 17:0013.10.2023Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fr.13:00 - 17:0013.10.2023Seminarraum 384 Exercises
Do.15:00 - 17:0009.11.2023 - 21.12.2023EI 5 Hochenegg HS Übung
Fr.13:00 - 17:0010.11.2023Seminarraum 384 Exercises
Fr.13:00 - 17:0024.11.2023 - 15.12.2023Seminarraum 384 Exercises
Do.13:00 - 15:0021.12.2023EI 5 Hochenegg HS Lecture
Logic and Computability - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.04.10.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Do.05.10.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
Do.05.10.202315:00 - 17:00HS 14A Günther Feuerstein Repetitorium
Mi.11.10.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Do.12.10.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
Do.12.10.202315:00 - 17:00HS 14A Günther Feuerstein Repetitorium
Fr.13.10.202313:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fr.13.10.202313:00 - 17:00Seminarraum 384 Exercises
Mi.18.10.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Do.19.10.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
Do.19.10.202315:00 - 17:00HS 14A Günther Feuerstein Repetitorium
Mi.25.10.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Mi.08.11.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Do.09.11.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
Do.09.11.202315:00 - 17:00EI 5 Hochenegg HS Übung
Fr.10.11.202313:00 - 17:00Seminarraum 384 Exercises
Do.16.11.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
Do.16.11.202315:00 - 17:00EI 5 Hochenegg HS Übung
Mi.22.11.202311:00 - 13:00EI 5 Hochenegg HS Vorlesung
Do.23.11.202313:00 - 15:00EI 5 Hochenegg HS Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

  • selbständiges Lösen von 6 Übungsbeispielblöcken
  • verpflichtendene Teilnahme an 6 Übungseinheiten
  • schriftliche Prüfung
  • mündliche Prüfung

HINWEIS: Dieses Jahr müssen die Studierenden 6 Übungseinheiten absolvieren. Entsprechende Lösungn sind in TUWEL hochzuladen und  gegebenenfalls an der Tafel zu präsentieren.

Verpflichtende Übungstermine:. 13. Oktober, 10. November, 24. November, 1. Dezember, 15. Dezember und 21. Dezember 2023.

Voraussetzung für die Zulassung zur Prüfung ist das positive Abschneiden im Übungsteil.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di.11:00 - 12:3016.04.2024 192-5, Favoritenstr. 9, Stiege I or II, 3rd floormündlich09.04.2024 10:00 - 14.04.2024 00:00in TISSoral part for the 2nd exam
Do.11:00 - 12:0018.04.2024 192-5, Favoritenstr. 9, Stiege I or II, 3rd floormündlich09.04.2024 10:00 - 14.04.2024 00:00in TISSoral part for the 2nd exam
Di.13:00 - 15:0028.05.2024EI 5 Hochenegg HS schriftlich03.04.2024 10:00 - 27.05.2024 23:59in TISSL&C 3rd written exam

LVA-Anmeldung

Von Bis Abmeldung bis
10.08.2023 12:00 03.12.2023 23:00 06.11.2023 23:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 931 Logic and Computation Pflichtfach1. Semester

Literatur

(see lecture slides for additional literature)

Vorkenntnisse

Knowledge of classical propositional logic and of basic concepts of classical first order logic (logical consequence, interpretations and model structures, satisfiability versus validity, acquaintance with various proof systems), a firm understanding of the syntax/semantic distinction, some experience with formal specification, acquaintance with a range of different programming paradigms (imperative, functional, logical), concepts of formal languages (grammars, Chomsky hierarchy) and automata theory (finite automata, pushdown automata, Turing machines)

NB: If you don't have a firm background in logic yet, you are asked to join special repetitorium classes, which are open to all participants.

Vorausgehende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Englisch