Event and Sequential Programming

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.

Covers the representation and management of strings in C, highlighting key differences from other programming languages.

Explains the differences between pointers and references in programming, focusing on their definitions, uses, and limitations in C and C++.