Lecture

Value Definitions and Conditionals

Related lectures (30)

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Numbers and Booleans

Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.

Boolean Types and Control Structures

Explores boolean types, logical operators, and control structures in Python, emphasizing the evaluation of expressions and the use of relational operators.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Conditional Statements: C++ Basics

Introduces the basics of conditional statements in C++, including boolean operators and logical evaluation.

Control Flow in Python: Conditional Statements and Loops

Covers control flow in Python, focusing on conditional statements and loops.

Boolean Algebra: Python Programming

Introduces Boolean algebra concepts and their application in Python programming.

Conditions and Loops: Basics of Programming

Covers the basics of programming, including types, variables, methods, functions, conditions, loops, and boolean logic.

Boolean Type: Common Errors

Addresses common errors with the boolean type in Java and how to avoid them.

Finite Systems Expressed with Formulas

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Functions and state

Explores functions, state, rewriting, and stateful objects in programming.

Theory of Computation: Problems Definition and Counting (Denumerability)

Explores the theory of computation, emphasizing problems definition, counting, and the limits of algorithmic computation.

Functional random generators

Explores functional random generators for various domains and their application in systematic random testing.

Python Programming Basics

Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.

Objects Everywhere

Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.

Python Basics: Functions and Lists

Introduces Python basics like types, functions, conditions, loops, and lists, with examples of string manipulation and list operations.

Finite Systems Expressed with Formulas

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Quantum Circuits: Classic Circuits

Explores classic circuits in quantum computing, including Boolean functions and reversible gates.

Python Programming Basics

Introduces Python programming basics, covering loops, functions, lists, and conditions for code execution.