Theoretical Foundations of Computer Science

Theoretical Foundations of Computer Science

Basic Information

M097 (2+2+0) - 6 ECTS credits

Course objectives are to familiarize students with abstract machines and problems they are able to solve (automata theory) and formal languages (regular languages and context-free languages). Emphasis will be put on students’ way of thinking that enables better understanding of this field. During exercises students will get to know many examples of formal languages in different programming languages.

You can access the course content at the following link: PDF

Teachers

Basic literature

  1. M. Sipser, Introduction to the Theory of Computation (3rd Ed.), Cengage Learning, Boston, 2013.

Additional literature

Teaching materials

The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.