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
Valid Arguments: Understanding Propositional Logic
Graph Chatbot
Related lectures (34)
Logic and Truth Tables
Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.
Propositional Logic: Normal Forms
Explains constructing DNF and CNF in propositional logic and their complexity.
Propositional Logic: Normal Forms
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, compound propositions, and truth tables.
Discrete Mathematics: Logic & Structures
Log in to Mediaspace to watch this video
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Predicate Logic: Quantifiers and Normal Forms
Log in to Mediaspace to watch this video
Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.
Logic Systems: Basics and Operators
Log in to Mediaspace to watch this video
Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.
Theorem Proving and Vampire
Log in to Mediaspace to watch this video
Explores theorem proving in first-order logic and the saturation-based approach, highlighting the Vampire theorem prover.
Logic Systems: Multiplexers and Flip-Flops
Log in to Mediaspace to watch this video
Explains SR latch circuits, D-latches, D-flip-flops, clock signals, and multiplexers in logic systems.
Boolean Algebra: Properties and Optimization
Log in to Mediaspace to watch this video
Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.
Semiconductor Components: Transmission Gates and MOSFETs
Log in to Mediaspace to watch this video
Covers the operation of transmission gates and the behavior of MOSFETs in semiconductor components.
Learning-aided Program Reasoning
Log in to Mediaspace to watch this video
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Tri-State Inverter: Master-Slave Flip-Flop Applications
Log in to Mediaspace to watch this video
Covers the tri-state inverter and its role in master-slave flip-flops in digital circuits.
Previous
Page 2 of 2
Next
