Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Modal logic
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 4
Next
Boolean Algebra: Properties and Theorems
Covers the properties and theorems of Boolean algebra in logic systems.
SR and D Latches: Logic Systems
Covers the implementation of SR and D latches and flip-flops.
Karnaugh Maps: Grouping Techniques
Explores Karnaugh maps, grouping rules, and transistor logic in logic systems.
Integers Representation: Sign-and-Magnitude vs Two's Complement
Compares sign-and-magnitude with two's complement integer representations, emphasizing complexity differences and addressing overflow and underflow challenges.
Karnaugh Maps: Grouping Rules and Optimization
Explores Karnaugh map representations, grouping rules, optimization, and TTL gate technology.
Finite State Machines: Basics and Design
Introduces finite state machines, covering basics, design, and practical applications like decoders and encoders.
Transistor Logic Gates: TTL vs CMOS
Compares BJT and MOSFET in logic systems, focusing on TTL vs CMOS technologies.
Logical Equivalences: Constructing, Proving, and Applying
Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
