Лекционният курс е въведение в теоретичната информатика. Учебният материал по дисциплината включва основни теми от теоретичната информатика и математическите основи на информатиката, като съждителна и предикатна логика, теория на формалните езици, теория на крайните автомати, теория на изчислимост, теория на комплексност.      

По време на курса студентите се мотивират, насърчават и подпомагат да прилагат на практика получените теоретични знания. Практическите занятия се провеждат с помощта на JFLAP (Java Formal Languages and Automata Package), интерактивна образователна среда за провеждане на експерименти с теми в областта на теоретичната информатика.