Lectures in course CS-101: Advanced information, computation, communication I

Untitled

Propositional Logic: Basic Logical Connectives

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

Discrete Mathematics: Logic, Structures, Algorithms

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

Course Organization: Overview and Platforms

Covers the course organization, platforms, schedule, topics, and exam details.

Introduction & Propositional Logic

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

Propositional Logic

Covers the importance of Discrete Mathematics for Computer Science and explains the course organization, weekly schedule, exercises, and exams.

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

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.

Untitled

Predicate Logic: Quantifiers, CNF, DNF

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Propositional Logic: Basics and Applications

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

Predicate Logic: Introduction & Equivalences

Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.

Counting: Permutations and Combinations

Covers permutation, combination, and the pigeonhole principle in counting problems.

Propositional Logic: Organisational Questions

Covers the instructor's organizational questions and emphasizes the importance of video watching, exercises, and Discord interaction.

Propositional Logic: Basics and Equivalences

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

Propositional Logic: Basic Logical Connectives

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

Proofs: Logic, Mathematics & Algorithms

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Propositional Logic: Summary of Week 1

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.

Propositional Logic: Normal Forms and Applications

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

Untitled