Mathgraph Theorem ProverIntroduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
Logic: Proof TechniquesExplores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.
Predicate Calculus: BasicsCovers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
The Role of SymmetriesDelves into symmetries in physics, covering group theory, perturbation, and quantification.
