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
Formal system
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 4
Next
SR and D Latches: Logic Systems
Covers the implementation of SR and D latches and flip-flops.
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.
Formally Correct Intermittent Systems
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Finite State Machines: Medvedev vs. Moore vs. Mealy
Compares Medvedev, Moore, and Mealy FSM models and their structures.
WireGuard: Cryptographic Protocol for VPNs
Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Optimizing Logic Functions
Covers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.
Boolean Algebra: Properties and Optimization
Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.
Finite State Machines: Basics and Design
Introduces finite state machines, covering basics, design, and practical applications like decoders and encoders.
