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
Semantic theory of truth
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (10)
Login to filter by course
Login to filter by course
Reset
Why Should We Avoid Using Stereotypes?
Discusses the distortion of reality caused by stereotypes and the importance of avoiding their use.
Predicate Logic: Summary of Week 2
Covers the concept of universe of discourse and truth values in predicate logic.
Simple Code Generation for if
Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.
Sparsest Cut: ARV Theorem
Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.
Convolutional Networks: Motivation & Ideas
Explores the motivation and ideas behind convolutional networks, emphasizing weight sharing and pooling layers.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Predicate Logic: Domains and Quantifiers
Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Predicate Logic: Quantifiers and Truth Values
Explores existential quantifiers, truth values, and composite statements in predicate logic.
Linear Algebra: Properties and Operations
Explores subset properties, contraposition, and equivalence in linear algebra.
Previous
Page 1 of 1
Next
