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
Concept
Semantics of logic
Graph Chatbot
Related lectures (14)
Login to filter by course
Login to filter by course
Reset
Semantics in Computer Language Processing: Understanding Meaning
Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.
Second Order Logic: WS1S and HOL
Explores Second Order Logic, WS1S, HOL, decision procedures, atomic and composite formulas, and the combination of WS1S with MONA in HOL.
Music Semantics: Problems and Prospects
Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Propositional Calculus
Covers the basics of propositional calculus and its importance in computer science.
Relational Semantics of Loops
Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.
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.
Monotonicity and Semantics of Local Variables
Explores properties of relations, monotonicity, semantics of local variables, and translation in programs.
Variables & Operators
Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Inductive Propositions: Understanding Evaluation in Coq
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Untitled
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Previous
Page 1 of 1
Next
