Theoretical Informatics Course