703007 VO Einführung in die Theoretische Informatik

Wintersemester 2022/2023 | Stand: 26.09.2022 LV auf Merkliste setzen
703007
VO Einführung in die Theoretische Informatik
VO 2
3
wöch.
semestral
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.

Aussagenlogik; Boolesche Algebra; Grammatiken; Chomsky Hierarchie; Berechenbarkeit; Kompexitätstheorie; Programmverifikation

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Schriftliche Prüfung in Präsenz

Skriptum.

Weitere Literatur wird im OLAT Kurs angeführt.

Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:

Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, sind folgende Lehrveranstaltungsprüfungen abzulegen:

  1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
  2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
  3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)

Weitere Informationen finden Sie hier.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Fr 07.10.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 13.10.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Do 20.10.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 21.10.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 27.10.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 28.10.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 03.11.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 04.11.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 10.11.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 11.11.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 17.11.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 18.11.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 24.11.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 25.11.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 01.12.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 02.12.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Fr 09.12.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 15.12.2022
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 16.12.2022
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 12.01.2023
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 13.01.2023
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 19.01.2023
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 20.01.2023
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 26.01.2023
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 27.01.2023
10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 02.02.2023
12.15 - 13.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Di 07.02.2023
09.00 - 11.00 HS A (Technik) HS A (Technik) Barrierefrei 1st exam
Do 02.03.2023
09.00 - 11.00 HS A (Technik) HS A (Technik) Barrierefrei 2nd exam