Philosophy of Mathematics: Ontology and Structures

Related lectures (28)

Page 2 of 3

Covers the properties and theorems of Boolean algebra in logic systems.

Covers the properties of injective functions and demonstrates their proofs through examples and visual aids.

Introduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Explores Monstrous Moonshine, focusing on the 1979 discovery and its mathematical connections.

Explores the significance of logic in mathematics and science through properties and propositions.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Covers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.

Covers the concept of logical equivalence in proofs and inference rules.

Covers the construction of integers through equivalence relations and their properties in mathematics.