Computing and Software 760
Logic for Practical Use
Winter 2010
Instructor:
William M. Farmer
Slides
00 Preliminaries
(02-JAN-2010)
01 Review of Logic
(10-JAN-2010)
02 Three Traditional Logics
(15-MAR-2010)
03 Techniques for Enhancing Traditional Logics
(23-MAR-2010)
04 Practice-Oriented Logics
(5-APR-2010)
Tutorial on Logics with Undefinedness
(8-MAR-2010)