CSci 1302 Problem Solving and Algorithm Development II -- Resources.
[Home]
[Syllabus]
[Assignments]
[Resources]
This page contains handouts for the course and links to other helpful
materials. The materials will be added as needed.
Materials on this page represent a random, entirely subjective
selection by the author, and are not
intended as an overview of the subject.
Handouts:
Example of a proof in predicate logic.
Some examples of practical applications of logic
An automated proof tool NuPrl
was successfully used to optimize and verify the distributed group
communication system Ensemble.
A predecessor of Ensemble, Isis, has been widely used in many demanding
applications, including, among many others, the
communications infrastructure of the New York Stock Exchange, the new
Swiss Electronic Bourse, the next generation French Air Traffic
Control System.