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
Solving Tasks with Thymio
Graph Chatbot
Related lectures (32)
Previous
Page 2 of 4
Next
Programming the Thymio Robot
Covers programming the Thymio robot through simulation, remote access, and integration with Raspberry PI.
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.
Thymio Programming: Simulation and Remote Control
Explores simulating and remotely controlling the Thymio robot for various applications.
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.
Educational Robotics: Thymio
Delves into the educational potential of robotics, focusing on programming Thymio for learning purposes.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
