Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Term Models for First-Order Logic
Graph Chatbot
Related lectures (28)
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Predicate Logic: Basics and Applications
Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic, resolution proofs, Skolem functions, and satisfiability checking in mathematics and program verification.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers in logic and their translation into natural language and mathematical statements.
Markov Chains: Applications and Coupled Chains
Covers Markov chains, coupled chains, and their applications, emphasizing the importance of irreducibility.
Hoare Logic: Strongest Postcondition and Weakest Precondition
Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.
Untitled
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Predicate Calculus: Basics
Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers, order importance, and translation into logic.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Intermediate Values Theorem
Explores the Intermediate Values Theorem for continuous functions on closed intervals.
Previous
Page 1 of 2
Next
