Applied Logic

Cursus

Omschrijving

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.
Cursusperiode1/09/19 → …
CursusniveauIntroductie
CursusformaatCursus