History and Definition of Computer Science

Related lectures (31)

Page 3 of 4

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Covers workshops on internet concepts, operating systems, structured data, and digital impacts.

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.

Focuses on programming with Thymio, solving problem-oriented tasks and assessing the robot's abilities.

Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.

Covers programming the Thymio robot through simulation, remote access, and integration with Raspberry PI.

Covers translating program fragments, switch statements, and break statements in programming languages.

Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.