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
Finite Systems Expressed with Formulas
Graph Chatbot
Related lectures (54)
Finite Systems Expressed with Formulas
Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Propositional Logic: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
Propositional Resolution
Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Propositional Logic: Normal Forms
Explains constructing DNF and CNF in propositional logic and their complexity.
Untitled
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Propositional Logic: Applications and Translations
Explores applications of propositional logic, including translations and Boolean search for document queries.
Propositional Logic: Basic Logical Connectives
Covers propositional logic, logical connectives, truth tables, and compound propositions.
Digital Systems Overview: Evolution and Fundamentals
Log in to Mediaspace to watch this video
Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.
Discrete Mathematics: Logic & Structures
Log in to Mediaspace to watch this video
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Previous
Page 1 of 3
Next
