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
Transistor Logic Gates: TTL vs CMOS
Compares BJT and MOSFET in logic systems, focusing on TTL vs CMOS technologies.
Optimal Transport: Theory and Applications
Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.
Understanding Microcontrollers: Basics and Programming
Covers the basics of microcontrollers, including practical exercises and programming assignments for hands-on experience.
Logic Systems: Multiplexers and Flip-Flops
Explains SR latch circuits, D-latches, D-flip-flops, clock signals, and multiplexers in logic systems.
Linear Algebra: Implications and Equivalences
Explores implications and equivalences in linear algebra through examples and formal proofs.
Logic Systems: TTL Gates and Analog Aspects
Explores TTL gates, analog aspects, and various logic gates in digital circuits.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
Propositional Calculus
Covers the basics of propositional calculus and its importance in computer science.
Integer Representations: Magnitude & Complement
Explores integer representations, focusing on sign-and-magnitude, one's complement, two's complement, Excess-N, overflow, underflow, and binary multiplication.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Previous
Page 2 of 2
Next
