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
Lecture
Simple Code Generation for if
Graph Chatbot
Related lectures (28)
Previous
Page 2 of 3
Next
Boolean Algebra: Properties and Theorems
Covers the properties and theorems of Boolean algebra in logic systems.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Common Errors in Type Bool
Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.
Optimizing Logic Functions
Covers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Nested Loops and Conditionals
Covers two quizzes on nested loops and conditionals with different outputs.
Digital Systems Overview: Evolution and Fundamentals
Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.
Logical Equivalences: Part 1
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Discrete Mathematics: Logic & Structures
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Predicate Logic: Quantifiers and Normal Forms
Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.
