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
Relational Semantics of Loops
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Quantifier Elimination Steps for Presburger Arithmetic
Explores quantifier elimination steps for Presburger Arithmetic, emphasizing techniques to simplify and eliminate quantifiers efficiently.
Lambda Calculus: Syntax and Abstractions
Introduces terms, abstractions, applications, and values in the lambda calculus.
Type Checking Lab
Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Omega Continuity: Galois Connection and AI Recipe
Explores Tarski's fixed point theorem, omega continuity, Galois connection, and abstract interpretation concepts.
Regular Expressions: Basics and Applications
Introduces regular expressions, covering language sets, syntax, semantics, and limitations.
Arrays: Assignment and Comparison
Covers the semantics of array assignment and comparison in Java.
Lambda Calculus: Operational Semantics and Evaluation Strategies
Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Operational Semantics: Amyli Language
Explores operational semantics and inductively defined relations in the Amyli language.
