Lectures related to Discrete Mathematics: Logic, Structures, Algorithms

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.

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

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.

Sets and Operations: Introduction to Mathematics

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

Introduction & Propositional Logic

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

Propositional Logic: Basics and Applications

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

Propositional Logic: Implication and Compound Propositions

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

Recursively Defined Sets and Structures

Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.

Proofs and Logic: Introduction

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

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

Propositional Logic: Basic Logical Connectives

Covers propositions, logical connectives, truth tables, and propositional logic language.

Relations in Computer Science

Explores the properties of relations in computer science, including equivalence relations and the partition of a set.

Propositional Logic: Basic Logical Connectives

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

Predicate Logic: Quantifiers and Truth Values

Explores existential quantifiers, truth values, and composite statements in predicate logic.

Propositional Logic: Implication and Compound Propositions

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

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Propositional Logic: Basics and Equivalences

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Functions: Definitions and Notations

Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.