Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Course

CS-101: Advanced information, computation, communication I

Lectures in this course (309)

Covers Markov's and Chebyshev's Inequalities for random variables and probability distributions.

Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.

Introduces predicate logic and explains how to determine truth values using quantifiers.

Demonstrates logic programming with examples and rules, showcasing a tool for practical application.

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

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

Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.

Explores nested quantifiers in logic and their translation into natural language and mathematical statements.

Addresses organizational questions related to course materials, exercise solutions, and student participation.

Covers the concept of logical equivalence in proofs and inference rules.

Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.

Analyzes a quiz on proof techniques, emphasizing the importance of showing existence and uniqueness in mathematical proofs.

Covers the concepts of contraposition and contradiction in proofs.

Explains how premises imply conclusions using inference rules and truth tables in propositional logic.

Covers inference rules in propositional logic and common logical fallacies.

Covers rules of inference for quantified statements and demonstrates constructing valid arguments using predicate logic.

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

Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.

Covers proof techniques like direct, contraposition, and cases with examples.

Covers organizational aspects, introduces Kahut for quizzes, presents complex examples, and summarizes the main topics.

Page 4 of 16