Covers nanoscale metrology, optical microscopy, atomic force microscopy, electron microscopy, and the redefinition of units.
Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
Explains interpreting bit vectors as integers, two's complement, overflow, and integer type limits in Java.
Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
