Lectures related to Computing: How computers represent information

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Discusses advanced data types in C, focusing on arrays and their characteristics.

Covers the basics of programming with Python, emphasizing practical exercises and self-learning resources.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.

Introduces binary numbers, modular arithmetic, signed numbers, and character encoding in C.

Introduces Python programming concepts, focusing on dictionaries and classes, including their definitions, usage, and practical examples.

Covers the basics of LabVIEW, including control structures and data types.