Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Logical Structure: Choice and Bar Induction Principles
Graph Chatbot
Related lectures (38)
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Philosophy of Mathematics: Ontology and Structures
Explores the existence of mathematical objects, truth of propositions, and knowledge about them, covering Platonism, Intuitionism, Structuralism, Nominalism, Logicism, and Formalism.
Set Theory: Introduction and Operations
Covers the foundation of mathematics through set theory concepts like membership and unions.
Injective Functions: Properties and Examples
Covers the properties of injective functions and demonstrates their proofs through examples and visual aids.
Numbers and Booleans
Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.
Recursive Enumerability: Turing Machines and Undecidable Languages
Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.
Propositional Calculus
Covers the basics of propositional calculus and its importance in computer science.
Predicate Logic: Sets Theory
Covers predicate logic and sets theory, explaining how to manipulate logical expressions.
Lifting properties and model categories
Covers the study of lifting properties in categories, focusing on the left and right lifting properties.
Combinatorial Logic Circuits
Covers the basics of logical systems, Boolean algebra, logic gates, and coding in digital circuits.
Counting Basics: Set Theory and Permutations
Covers the main rules of counting for combinatorial objects and introduces various counting techniques.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Set Difference: Definition and Examples
Explains set difference and complement calculation with clear examples.
Propositions and Proofs
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Understanding Equivalence Relations and Integer Construction
Log in to Mediaspace to watch this video
Covers the construction of integers through equivalence relations and their properties in mathematics.
Proofs and Sets: Applications
Log in to Mediaspace to watch this video
Covers the basics of proofs, defining sets, and applications between sets.
Formal Logic: Proofs and Sets
Log in to Mediaspace to watch this video
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Dimension Theory: Vector Spaces and Bases
Log in to Mediaspace to watch this video
Explores dimension theory of vector spaces, covering bases, linear applications, and ranks.
Previous
Page 1 of 2
Next
