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: Basics and Applications

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (54)

Logical Equivalences: Constructing, Proving, and Applying

Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.

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

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

Mathgraph Theorem Prover Log in to Mediaspace to watch this video

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

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.

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.

SR Latch and D Flip-Flop: Memory Elements in Logic Systems Log in to Mediaspace to watch this video

Explores SR latch, D flip-flop, multiplexers, XOR gates, and tristate gates in logic systems.

Logic Gates and Hazard Elimination Log in to Mediaspace to watch this video

Explores logic gates, hazard elimination, ALUs, counters, and shift registers in semiconductor technology.

Conditional Branching in Programming Log in to Mediaspace to watch this video

Explains how conditional branching in programming alters program execution based on specific conditions.

Control Structures in Java Log in to Mediaspace to watch this video

Covers control structures in Java, including logical operators, scope, branching, loops, and iterations.

Introduction to Dynamic Logic Log in to Mediaspace to watch this video

Introduces Dynamic Logic, covering its principles, issues, and design variations, including footed vs. unfooted designs and multiple-output structures.

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.

Subgroups Criteria: Propositions and Examples Log in to Mediaspace to watch this video

Covers the criteria for subgroups and provides examples and proofs.

Differentiability in Analysis Log in to Mediaspace to watch this video

Explores differentiability in analysis, discussing conditions for functions to be differentiable and continuous.

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.

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.

Matlab: 3D Surface Plotting Log in to Mediaspace to watch this video

Covers logical arrays, 3D surface plotting, parametric curves, interpolation, and fitting in Matlab.

PVT Variations, Uncertainty, and Monte-Carlo Simulations Log in to Mediaspace to watch this video

Explores the impact of PVT variations, uncertainties in IC design, worst-case design paradigms, and the importance of Monte-Carlo simulations.

System-R Optimizer: Query Optimization and Cost Estimation Log in to Mediaspace to watch this video

Explores the System-R Optimizer, query optimization, cost estimation, join orderings, and cardinality challenges in database systems.

Page 2 of 3