Discrete Optimization: Modeling

Related lectures (29)

Page 2 of 3

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

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

Covers the basics of conditional statements in MATLAB and Octave.

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

Covers logical symbols, sets, and properties verification.

Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.

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

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

Covers the basics of propositional logic, its history, language, and computing applications.

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.