108.037 Theoretical Computer Science, Exercise
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, UE, 1.0h, 2.0EC
TUWEL

Properties

  • Semester hours: 1.0
  • Credits: 2.0
  • Type: UE Exercise
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to deal with logical calculations of the resolution system and other forms of automatic proof; regular and context-free languages; finite automata and turing machines as well as with aspects of the complexity theory.

Subject of course

Exercises on the lecture's subject matter

Teaching methods

Exercises on the lecture's subject matter

Mode of examination

Immanent

Additional information

For further information please consult the TUWEL-page of the corresponding lecture.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri13:00 - 14:0005.03.2021 TUWEL/Zoom (LIVE)Vorbesprechung

Examination modalities

Students present solutions of given exercises.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

  • Attendance Required!

Language

if required in English