Lecture
The Story of Grace Hopper
Related lectures (43)
Grace Hopper: Computer Programming PioneerMOOC: Thymio: un robot pour se former à l'informatique
Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.
Solving Type Constraints
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
Programming the Thymio RobotMOOC: Il robot Thymio come strumento di scoperta delle scienze digitali
Covers programming the Thymio robot through simulation, remote access, and integration with Raspberry PI.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Control of SpeedMOOC: Il robot Thymio come strumento di scoperta delle scienze digitali
Covers event planning, sequential programming, and the decision-making process when programming a robot.
Thymio Programming: Simulation and Remote ControlMOOC: Thymio: un robot pour se former à l'informatique
Explores simulating and remotely controlling the Thymio robot for various applications.
Variables & Operators
Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.
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.
Event and Sequential ProgrammingMOOC: Il robot Thymio come strumento di scoperta delle scienze digitali
Covers the differences between event programming and sequential programming.