Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Propositional Logic: Examples

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (40)

Discrete Mathematics: Logic & Structures Log in to Mediaspace to watch this video

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Discrete Mathematics: Logic, Structures, Algorithms Log in to Mediaspace to watch this video

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

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.

FSM Design and Synthesis Log in to Mediaspace to watch this video

Explains the design and synthesis of Finite State Machines in logic systems.

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.

Boolean Algebra: Properties and Theorems Log in to Mediaspace to watch this video

Covers the properties and theorems of Boolean algebra in logic systems.

Boolean Algebra: Properties and Optimization Log in to Mediaspace to watch this video

Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.

Logic Systems: Karnaugh Maps and TTL Gates Log in to Mediaspace to watch this video

Explores Karnaugh maps, TTL gates, analog aspects of digital logic, and prime implicants.

Variational Calculus: Quasicovexity Log in to Mediaspace to watch this video

Explores quasicovexity in variational calculus, discussing necessary conditions and implications on functional optimization.

BJT vs FET Operation Log in to Mediaspace to watch this video

Compares BJT and FET operation in logic systems, discusses TTL vs CMOS technologies, and explores Set-Reset Latch functionality.

Formal Logic: Proofs and Sets Log in to Mediaspace to watch this video

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Karnaugh Maps: Grouping Techniques Log in to Mediaspace to watch this video

Explores Karnaugh maps, grouping rules, and transistor logic in logic systems.

Martingales and Brownian Motion: Leaving Intervals and Maximum Distribution Log in to Mediaspace to watch this video

Explores the average time for a Brownian motion to leave an interval and the maximum distribution.

Finite State Machines: Medvedev vs. Moore vs. Mealy Log in to Mediaspace to watch this video

Compares Medvedev, Moore, and Mealy FSM models and their structures.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

FPGA Programming with Speedgoat: Real-Time Signal Processing Log in to Mediaspace to watch this video

Focuses on implementing a square function generator using Speedgoat FPGA technology and real-time signal processing techniques.

Logic Gates and IC Technology Log in to Mediaspace to watch this video

Explores the implementation of logic gates in semiconductor material, focusing on TTL and CMOS technologies, ICs, hazards, clocks, D flip-flops, and switch debouncing.

Logic and Proof Techniques Log in to Mediaspace to watch this video

Covers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.

Pivoting Strategies: Value Proposition in Software Development Log in to Mediaspace to watch this video

Covers pivoting and value proposition in software development, emphasizing customer validation and the Dropbox case study.

Page 2 of 2