Lectures related to Term logic

Propositional Logic: Basics and Applications

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

Propositions as Types: Logic and Programming Correspondence

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Knowledge Representation: Introduction

Covers knowledge representation in AI, logical inference, and applications in various domains.

Concept of Proof in Mathematics

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

Predicate Logic: More on Quantifiers

Covers quantifiers with finite domains, uniqueness, composite statements, variable binding, translating to logic, and validity.

Logic: Proof Techniques

Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.

Maths Puzzle: Bear Family and Honey

Presents a mathematical puzzle involving a bear family and honey consumption.

Predicate Logic: Quantifiers and Equivalences

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Discrete Mathematics: Logic, Structures, Algorithms

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

Predicate Logic: Quantifiers and Statements

Covers the basics of predicate logic, including quantifiers and statements.

Predicate Logic: Summary of Week 2

Covers the concept of universe of discourse and truth values in predicate logic.

Predicate Logic: More on Quantifiers

Explores quantifiers with finite domains, uniqueness quantifier, composite statements, variable binding, and validity in logic.

Predicate Logic: Quiz Answers Analysis

Analyzes quiz answers on predicate logic, covering quantifiers, implications, and negations.

Logic in Mathematics: Properties and Propositions

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

George Boole: Logic and Computers

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

Sets and Operations: Introduction to Mathematics

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

Logic and Truth Tables

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

Propositional Logic: Examples

Covers interesting facts about propositional logic and Sudoku solving strategies.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Course Overview: Teaser on Course Contents

Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.