This page collects the material I use in my lectures in the course Introduction to Computer Science at the University of Southern Denmark.
The material is about models of computations, languages, and recursion, technically
explained in the contexts of Deterministic Finite Automata and Context-free Grammars.
All explanations are introductory, requiring
no mathematical background (this is addressed in later courses).