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
Non-logical symbol
Graph Chatbot
Related lectures (15)
Login to filter by course
Login to filter by course
Reset
Predicate Logic: Quantifiers and Equivalences
Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.
Inference Engines: Resolution and Horn Clauses
Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.
Predicate Logic: Quiz Answers Analysis
Analyzes quiz answers on predicate logic, covering quantifiers, implications, and negations.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Predicate Logic: Introduction & Equivalences
Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.
Predicate Logic: Logical Equivalences and Quantifiers
Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Predicate Logic: Quantifiers and Truth Values
Explores existential quantifiers, truth values, and composite statements in predicate logic.
Predicate Logic: Logical Equivalences and Quantifiers
Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Mathgraph Theorem Prover
Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Predicate Logic: Equivalences, Negations, and De Morgan's Laws
Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.
Logic and Truth Tables
Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.
Logical Structure: Choice and Bar Induction Principles
Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.
Relations: Sets, Functions and Composition
Covers binary relations, functions, composition, and n-ary relations with examples.
Relations: Sets, Functions and Composition
Covers binary relations, functions, set operations, composition, and n-ary relations.
Previous
Page 1 of 1
Next
