Lectures related to Philosophy of Mathematics: Ontology and Structures

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.

Explores subsets and subgroups related to group actions on sets.

Covers the basics of proofs, defining sets, and applications between sets.

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Explores the construction of the Fischer-Greiss monster group, emphasizing its key properties and the process involved.