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
Coding Environment Basics
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Simply Typed Lambda Calculus: Foundations and Properties
Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Increment Operators in C: Understanding ++x and x++
Explains the differences between the prefix and suffix increment operators in C programming, emphasizing clarity and best practices in coding.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
Big-step semantics: Defining arithmetic expressions and commands
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
Advanced VPL Programming
Explores advanced features of VPL for writing more demanding programs.
Operators and Expressions: Programming in C
Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Understanding Internet Concepts
Covers workshops on internet concepts, operating systems, structured data, and digital impacts.
Solving Tasks with Thymio
Focuses on programming with Thymio, solving problem-oriented tasks and assessing the robot's abilities.
