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
Term logic
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Sequent Calculus: Basics and Applications
Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.
Proofs and Logic: Introduction
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
Predicate Logic: Introduction & Equivalences
Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Predicate Logic: Sets Theory
Covers predicate logic and sets theory, explaining how to manipulate logical expressions.
Predicate Logic: Logical Equivalences and Quantifiers
Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Predicate Logic: Domains and Quantifiers
Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Predicate Logic: Quiz Questions Answers
Covers the answers to quiz questions on predicate logic.
Predicate Logic: Logical Equivalences and Quantifiers
Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Previous
Page 2 of 2
Next
