Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Theoretical computer science

Related lectures (26)

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Discusses matrix multiplication using divide-and-conquer techniques and introduces Strassen's algorithm for improved efficiency.

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Discusses Strassen's algorithm for matrix multiplication and heaps, covering efficient algorithms and their applications in computer science.

Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Covers the basics of C++ standard library containers, algorithms, and iterators.

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

Provides an overview of essential search and sort algorithms in computer science.

Covers pointers to strings, functions, and casting in C programming.

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.