Skip to main content
Graph
Search
fr
|
en
Switch to dark mode
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Finite Systems Expressed with Formulas
Graph Chatbot
Related lectures (29)
Previous
Page 1 of 3
Next
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.
Digital Systems Overview: Evolution and Fundamentals
Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.
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.
Logic Systems: Basics and Operators
Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.
