Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Thymio Programming: Simulation and Remote Control
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
History and Definition of Computer Science
Explains the basic concepts of computer science and their interaction.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Intro to Coding: Binary Code Representation and Transistors
Covers binary code representation and the importance of programming languages for different tasks.
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.
Introduction to Algorithms
Introduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
Meta-metaprogramming: Advanced Tools for Software Engineering
Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.
Exercise - Capsules and Group Selection
Covers exercises on capsules creation, group selection, and evaluation criteria.
Introduction to LabVIEW Programming
Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.