Variables and Operators

Related lectures (31)

Page 2 of 4

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

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

Covers the basics of working with strings in Java, including syntax, char type, operators, and concatenation.

Explores arrays, vectors, and strings in C++, covering their practical aspects and specific functions/methods.

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

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

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

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

Covers the basics of working with strings in Matlab, including creating, indexing, and manipulating string variables.

Explores recursively defined sets, natural numbers, strings, functions, and propositional logic formulae.