Several problems, ranging from puzzle solving to program correctness, can be expressed in logic and solved fully automatically. Invariants serve for a method to design programs that are correct by construction. Information can be stored and communicated efficiently, reliably, and securely through data compression, error control, and cryptography.
Course period1/09/19 → …
Course levelIntroductory
Course formatCourse