185.278 Theoretical Computer Science and Logics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015S, VU, 4.0h, 6.0EC, to be held in blocked form

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

Learning  concepts and methods of theoretical computer science, augmenting and deepening the skills acquired in the course "Formale Modellierung". To this aim basic mathematical skills have to be mastered and trained, respectively. (e.g., structural induction, instantiation of abstract concepts in various different examples, using formal languages to specify different forms of information.) Moreover knowledge of important basic results in formal languages as well as propositional and predicate logics is to be achieved.

Subject of course

Specification of of formal languages: regular and context free languages (deepening), Chomsky hierarchy, finite automata (deepening), push-down auomata, Turing machines, computability, problem reduction, elements of complexity theory: P, NP; syntax semantic interface, model structures, terms and boolean expressions, syntax and semantics of a simple programming language, classical propositional and first order logic: logical consequence and implication, normal forms, semantic tableaux, natural deduction, basic properties of first order logic (undecidability, completeness etc.); reasoning about programs: Hoare calculus

Additional information

ECTS breakdown:

  • 40 hours: lecture time
  • 60 hours: exercises (homework - 4 blocks)
  • 20 hours: two verbal examinations (incl. preparation) Stunden: zwei Prüfungsgespräche (inkl. Vorbereitung)
  • 30 Schriftliche Prüfung (inkl. Vorbereitung)

Summe: 150 Stunden

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon15:00 - 17:0002.03.2015 - 22.06.2015HS 8 Heinz Parkus - BI lecture
Mon17:00 - 18:0002.03.2015 - 22.06.2015HS 8 Heinz Parkus - BI Plenary lecture
Wed14:00 - 16:0004.03.2015 - 24.06.2015HS 8 Heinz Parkus - BI lecture
Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Mon02.03.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon02.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed04.03.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon09.03.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon09.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed11.03.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon16.03.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon16.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed18.03.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon23.03.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon23.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed25.03.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon13.04.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon13.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed15.04.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon20.04.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon20.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Wed22.04.201514:00 - 16:00HS 8 Heinz Parkus - BI lecture
Mon27.04.201515:00 - 17:00HS 8 Heinz Parkus - BI lecture
Mon27.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Plenary lecture
Course is held blocked

Examination modalities

  • Die erste Vorlesung zu "Theoretische Informatik und Logik"  im SS 2015 findet am Montag, 2.3., 15.15  - 16.45 im Hörsaal 8 statt.

  • Anmeldung zur Lehrveranstaltung über TISS zwischen 02.03.2015, 13:00 und 10.03.2015, 23:59

  • Absolvierung eines Eingangstests im TUWEL-Online-Kurs zwischen 5.3. und 13.3.2015 (nur möglich nach Anmeldung in TISS). Der Eingangstests besteht aus einfachen Fragen zum Stoff der ersten beiden Vorlesungseinheit am 2.3. bzw. 4.3.2015, sowie zur Organisation der Lehrveranstaltung.

Erst wenn Sie den Eingangstest erfolgreich absolviert haben, wird Ihre Anmeldung in TISS bestätigt, andernfalls werden Sie automatisch von der Lehrveranstaltung abgemeldet. Sobald Sie den Eingangstest absolviert haben und somit zur Lehrveranstaltung Theoretische Informatik und Logik angemeldet sind, wird nach Ende der Lehrveranstaltung ein Zeugnis ausgestellt!

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei 4 Übungsblättern (jeweils max. 5 Punkte), bei 2 Abgabegesprächen (jeweils max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 60 Punkte) erbracht werden. Insgesamt können somit 4*5+2*10+60=100 Punkte erzielt werden.  Für eine positive Gesamtbeurteilung sind mindestens 30 Punkte beim Abschlusstest (je mindestens 15 Punkte in beiden Stoffteilen) und eine Gesamtpunkteanzahl von mindestens 50 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:

  • 50-61 Punkte: genügend
  • 62-74 Punkte: befriedigend
  • 75-87 Punkte: gut
  • 88-100 Punkte: sehr gut

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 17:0029.09.2020FH Hörsaal 1 - MWB assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue15:00 - 17:0029.09.2020GM 2 Radinger Hörsaal - TCH assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue15:00 - 17:0029.09.2020GM 1 Audi. Max.- ARCH-INF assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Wed15:00 - 17:0027.01.2021EI 7 Hörsaal - ETIT assessed11.01.2021 00:00 - 26.01.2021 23:59TISS1. Prüfung EI7 (Parallel mit AM und INF HS)
Wed15:00 - 17:0027.01.2021GM 1 Audi. Max.- ARCH-INF assessed11.01.2021 09:00 - 26.01.2021 23:59TISS1. Prüfung AudiMax (parallel mit EI7 und INF HS)
Wed15:00 - 17:0027.01.2021Informatikhörsaal assessed18.01.2021 11:30 - 26.01.2021 23:59TISS1. Prüfung INF-HS (Parallel mit AM und EI7)
Wed - 17.03.2021assessed23.02.2021 00:00 - 16.03.2021 23:59TISS2. TIL Prüfung (EI7, parallel mit FH1)
Wed - 17.03.2021written10.03.2021 14:00 - 16.03.2021 23:59TISS2. TIL Prüfung (FH1, parallel mit EI7)
Mon - 03.05.2021assessed11.04.2021 00:00 - 02.05.2021 00:00TISS3. TIL Prüfung (EI7, parallel zu FH1)
Mon - 07.06.2021GM 1 Audi. Max.- ARCH-INF written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 07.06.2021GM 5 Praktikum HS- ARCH-INF written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021Informatikhörsaal written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021GM 5 Praktikum HS- ARCH-INF written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021GM 1 Audi. Max.- ARCH-INF written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021EI 7 Hörsaal - ETIT written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021FH Hörsaal 1 - MWB written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 07.06.2021EI 7 Hörsaal - ETIT written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 07.06.2021Informatikhörsaal written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 07.06.2021FH Hörsaal 1 - MWB written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 21.06.2021assessed08.06.2021 10:00 - 20.06.2021 23:59TISS4. TIL-Prüfung HS8 (parallel mit FH1 & FH8)
Mon - 21.06.2021assessed08.06.2021 08:00 - 19.06.2021 23:59TISS4.TIL-Prüfung FH8 (parallel mit FH1 & HS8)
Thu - 02.09.2021FH Hörsaal 1 - MWB assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu - 02.09.2021GM 1 Audi. Max.- ARCH-INF assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu - 02.09.2021EI 7 Hörsaal - ETIT assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Tue - 28.09.2021FH Hörsaal 1 - MWB assessed14.09.2021 12:00 - 26.09.2021 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue - 28.09.2021GM 1 Audi. Max.- ARCH-INF assessed14.09.2021 12:00 - 26.09.2021 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)

Course registration

Begin End Deregistration end
02.03.2015 13:00 10.03.2015 23:59

Registration modalities:

Melden Sie sich an um Zugang zum TUWEL Kurs zu erhalten.

Curricula

Study CodeSemesterPrecon.Info
033 522 Computer Science Management STEG
Course requires the completion of the introductory interview STEG
033 531 Data Engineering & Statistics 2. Semester
033 532 Media Informatics and Visual Computing STEG
Course requires the completion of the introductory interview STEG
033 533 Medical Informatics 4. SemesterSTEG
Course requires the completion of the introductory interview STEG
033 534 Software & Information Engineering 4. SemesterSTEG
Course requires the completion of the introductory interview STEG
033 535 Computer Engineering 2. SemesterSTEG
Course requires the completion of the introductory interview STEG
066 939 Business Engineering and Computer Science
884 Subject: Informatics und Informatics Management 4. SemesterSTEG
Course requires the completion of the introductory interview STEG

Literature

All lecture material is available at the TUWEL site for this course..

Previous knowledge

  • Gundkonzepte formaler Sprachen: reguläre Sprachen, endliche Automaten, formale Grammatiken
  • Syntax und Semantik der klassischen Logik

Beides wie in 185.A06 Formale Modellierung vermittelt.

Preceding courses

Continuative courses

Language

German