Lectures related to Common Multiplicand Speedup

Numbers and Booleans

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

Discrete Optimization: Modeling

Covers logical operations and constraints in discrete optimization modeling.

MIPS ISA: Instruction Classes and Addressing Modes

Explores MIPS ISA instruction classes, memory organization, and addressing modes, including examples and endianness.

Introduction to NumPy: Arithmetic Operations and Arrays

Introduces NumPy arithmetic operations, logical operations, indexing, multidimensional arrays, matrix operations, and data import/export.

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

Propositional Logic: Basics and Equivalences

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

Programming Basics: Variables, Assignments, and Control Structures

Introduces programming basics, focusing on variables, assignments, and conditional statements.

Combinatorial Logic Circuits

Covers the basics of logical systems, Boolean algebra, logic gates, and coding in digital circuits.

Control structures in programming

Explores control structures in programming, emphasizing logical operators, branching, loops, and potential pitfalls of break and continue statements.

Computer Arithmetic: Floating Point Numbers

Explores computer arithmetic, emphasizing fixed-point and floating-point numbers, IEEE 754 standard, dynamic range, and floating-point operations in MIPS architecture.

Basic Operations on Arrays and Functions: Matlab 03

Covers basic operations on arrays and functions in Matlab, including array creation, arithmetic operations, and function definitions.

Input-Output: GPIO and Registers

Covers the role of pins as input and output, GPIO, and operations on bit fields.

Matlab: 3D Surface Plotting

Covers logical arrays, 3D surface plotting, parametric curves, interpolation, and fitting in Matlab.

Presburger Arithmetic and Quantifier Elimination

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.

System-R Optimizer: Query Optimization and Cost Estimation

Explores the System-R Optimizer, query optimization, cost estimation, join orderings, and cardinality challenges in database systems.

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.

Computer Arithmetic (Integers)

Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.

C++: struct and bitwise operators

Explores data transformation using typedef, struct, and bitwise operators in C++ to manipulate data at a bit level.

Logical Symbols and Sets

Covers logical symbols, sets, and properties verification.

Python Programming Basics

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