Section outline

    • 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 mathematical model checker RISCAL. In particular, we will consider:
      • Basic problems in computer science, mathematics, and logic.
      • Mathematical puzzles and games.
    • Concrete Abstractions
      RISCAL Software and Models
    • Theory and Software File
    • divide.txt File
    • sort.txt File
    • counter.txt File
    • RISCAL URL
    • README URL
    • Demo Video URL
    • VirtualBox Video URL
    • X2Go Video URL
    • Assignment 1 (December 17)