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
Philosophy of Mathematics: Ontology and Structures
Graph Chatbot
Related lectures (29)
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Logical Structure: Choice and Bar Induction Principles
Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
Logic and Truth Tables
Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Injective Functions: Properties and Examples
Covers the properties of injective functions and demonstrates their proofs through examples and visual aids.
Sets and Functions
Introduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
Logic in Mathematics: Properties and Propositions
Explores the significance of logic in mathematics and science through properties and propositions.
Propositional Logic: Basics and Equivalences
Covers the basics of propositional logic and explores logical equivalences and proof techniques.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Predicate Logic: Basics and Applications
Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.
Subsets and subgroups associated with an action
Explores subsets and subgroups related to group actions on sets.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, compound propositions, and truth tables.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Sequences and Convergence: Understanding Mathematical Foundations
Log in to Mediaspace to watch this video
Covers the concepts of sequences, convergence, and boundedness in mathematics.
Logic Systems: Basics and Operators
Log in to Mediaspace to watch this video
Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.
FSM Design and Synthesis
Log in to Mediaspace to watch this video
Explains the design and synthesis of Finite State Machines in logic systems.
Boolean Algebra: Properties and Theorems
Log in to Mediaspace to watch this video
Covers the properties and theorems of Boolean algebra in logic systems.
Discrete Mathematics: Logic & Structures
Log in to Mediaspace to watch this video
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Previous
Page 1 of 2
Next
