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
Contraposition
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (17)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 2
Next
Square Roots and Irrationality
Explores even squares, irrationality of √2, gaps in rational numbers, and minorants in Q.
Proofs: Contraposition vs. Contradiction
Covers the concepts of contraposition and contradiction in proofs.
Introduction to Proofs
Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.
Introduction to Proofs
Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Logical Equivalences: Part 1
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
