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.


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.

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.