Lectures related to Maths Puzzle: Bear Family and Honey

Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.

Logic in Mathematics: Properties and Propositions

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

International Mathematical and Logical Games Championship

Introduces the International Mathematical and Logical Games Championship, a fun and challenging event for participants aged 8 to 88.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Propositional Logic: Normal Forms and Applications

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Discrete Mathematics: Logic & Structures

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

Propositional Logic: Basics and Applications

Covers the basics of propositional logic, its history, language, and computing applications.

Predicate Logic: Basics and Applications

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

Mathematical Induction: Principle and Example

Introduces the principle of mathematical induction through an example.

Recurrence: Induction

Covers the principle of induction for natural numbers and the importance of caution in its application.

Programming Concepts: Variables and Expressions

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

Proofs and Logic: Introduction

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Logic and Truth Tables

Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.

Linear Algebra: Injective Functions

Explores injective functions in linear algebra, demonstrating how to prove injectivity step by step.

Propositional Logic: Inference Rules and Valid Arguments

Covers inference rules in propositional logic and common logical fallacies.

Optimal Transport: From Theory to Applications

Explores the history, theory, and applications of optimal transport in various fields, showcasing its importance in solving complex mathematical problems.

Propositional Logic: Inference Rules

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.