Lecture
Control of Speed
Related lectures (44)
The Story of Grace HopperMOOC: Die digitale Welt mit dem Thymio Roboter entdecken
Delves into binary language and Grace Hopper's contributions to programming.
MATLAB: Crash Course in MATLAB
Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.
Challenges in IoT EraMOOC: IoT Systems and Industrial Applications with Design Thinking
Covers IoT security challenges, cyber-physical attacks, and global attack surfaces.
Taming Null References
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Solving Type Constraints
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
Meta-metaprogramming: Advanced Tools for Software Engineering
Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Introduction to Computer Science
Covers the basics of computer science, emphasizing programming and algorithms for data analysis and simulations.
Understanding SoftwareMOOC: Humanitarian Action in the Digital Age
Covers the definition, types, and building process of software, including system software and applications.