Lectures related to Strict conditional

Demonstrates adding a variable to track levels in a program.

Covers two quizzes on nested loops and conditionals with different outputs.

Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.

Python Basics: Syntax, Variables, Functions

Covers Python basics such as syntax, variables, and functions, introducing the Renku platform for collaborative data science.

Church Numerals and Conditionals

Explores Church numerals and encoding conditionals in lambda calculus.

Differentiability: Continuous Strictly Monotone Functions

Explores continuous strictly monotone functions, differentiability, and linear function approximation.

Common Errors in Type Bool

Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.

Conditionals: Basics and Examples

Covers the basics of conditionals and their implementation in programming.

Propositional Logic: Implication and Compound Propositions

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

Python Programming: Loops and Functions

Introduces loops, functions, and debugging in Python programming, covering basic concepts and practical examples.

Functional Programming Basics in Scala

Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Existence of Limit Implies Continuity

Explores the connection between limit existence and function continuity, emphasizing derivative properties and function graphs.

Propositional Logic: Inference Rules

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

Python Programming: Lists and Functions Overview

Introduces Python programming concepts, focusing on lists, functions, and their applications in problem-solving.

Discrete Optimization: Modeling

Covers logical operations and constraints in discrete optimization modeling.

Propositional Logic: Implication and Compound Propositions

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

Python Programming: List Comprehensions and Higher Order Functions

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Introduction & Propositional Logic

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

C Programming Concepts: Debugging and Memory Management

Covers essential C programming concepts, including memory management, debugging techniques, and practical applications in programming projects.