Résumé de section

    • We discuss the logical specification of computational problems and the logical modeling of computational systems. Problems are analyzed with respect to various criteria (adequacy, satisfiability, non-triviality, uniqueness of results), systems are analyzed with respect to safety properties. For this we apply the mathemtical model checker RISCAL. In particular, we will consider:
      • Basic problems in computer science, mathematics, and logic.
      • Discrete search and planning problems.
      • Control systems.
    • Concrete Abstractions URL

      Password is handed out in class

    • Concrete Abstractions (teaser pages only) Fichier
    • Theory and Software Fichier
    • divide.txt Fichier
    • sort.txt Fichier
    • RISCAL URL
    • README URL
    • Demo Video URL
    • VirtualBox Video URL
    • X2Go Video URL
    • Assignment 1 (January 11) Devoir