TU Wien:Advanced Mathematical Logic VU (Fokina)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Ekaterina Fokina
ECTS 3
Letzte Abhaltung 2022S
Sprache „if required in english“ ist kein zulässiger Sprachcode.
Mattermost advanced-mathematical-logicRegisterMattermost-Infos
Links tiss:104394
Zuordnungen
E066011 Wahlmodul Lehrveranstaltungen an der TU Wien
Masterstudium Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science


Inhalt[Bearbeiten | Quelltext bearbeiten]

2021S: Structures and Theories, Completeness, Compactness, Back-and-Forth and Quantifier elimination, Gödel's Incompleteness Theorem, Computable and Decidable Structures.

2021S: It starts with definitions of terms, formulas, structures/interpretations, first-order theories. There is some algebra stuff as example but also a lot of new notions (representability, Gödel's incompleteness, quantifier elimination, compactness) that should count as continuation of that "pure logic start" and not math.

Ablauf[Bearbeiten | Quelltext bearbeiten]

2021S: A few recorded zoom lectures, two exercise sheets. Oral exam by appointment at the end.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

2021S: For computer science bachelor definitely the Discrete Mathematics course. Topics like rings and fields are examples in the script. Also topics like transfinite cardinals are relevant.

2021S: The proof tutorial from formal methods in computer science might be a nice refresher. You need to proof a lot.

2021S: Doing Computability Theory course by Prof Fokina prior helps with some notions like computable, computably enumerable, and halting set.

Vortrag[Bearbeiten | Quelltext bearbeiten]

2021S: Professor Fokina gave an overview of the most important topics in the script.

Übungen[Bearbeiten | Quelltext bearbeiten]

2021S: Two exercise sheets with some proofs. She corrected my exercise sheets during my exam at the end of summer, so I guess accomodating late hand in might have been possible.

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

2021S: You can write the professor an email whenever you feel ready. Exam is oral. Two tasks:

  1. Proof of a theorem in the script (not something that takes a whole page, but not a one-liner either) and also relevant defintions and an example of where you can use the definition.
  2. "Unrelated" to the script. Build a computable structure such that some relation is and some other relation is not computable. It was necessary to know halting set K, that it is computably enumerable but not computable, computable structures, isomorphism.

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

noch offen

Unterlagen[Bearbeiten | Quelltext bearbeiten]

Script as PDf that contains everything.

Tipps[Bearbeiten | Quelltext bearbeiten]

Use the internet. StackExchange/MathOverflow helps really much.

Following the references in the script also yielded one or the other solution.

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen