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.
Handouts:
Some general links on use of logic in computer science
- Factasia
(not to be confused with Fantasia) is a web site that gives
definitions and brief overviews of different branches of
logic and their use in math and computer science, as well as some
philosophical view of logic. This informative
and fascinating web site was created and is maintained by Roger Bishop
Jones.
- This web site
(maintained by Jonathan Bowen)
has a list of companies working on applications of formal methods.