Lectures related to Maths Puzzle: Bear Family and Honey

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Covers the concept of inductive series and their convergence conditions.

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.

Sequent Calculus: Basics and Applications

Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.

Search Algorithms: Abductive Reasoning

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Untitled