CMSC 11200
Introduction to Interactive Logic (ISHU 23700)Prerequisites: MATH 10600, or placement into 13100 or equivalent. Some experience with computers is helpful. This course does not meet the general education requirement in the mathematical sciences.
Catalog Description: No programming skills are assumed, but those with some programming background do projects with HyperCard, a Computer Assisted Design package, Prolog, or other software. This course continues in the same spirit as CMSC 11000-11100, but they are not prerequisites. This hands-on course presents logic as a concrete discipline that is used for understanding and creating human-computer technology in the context of science, technology, and society. We look at computer science, logic, philosophy, aesthetics, design, and the study of technology, as well as the software packages of Tarski's World and possibly HyperProof.
Instructors: W. SternerQuarter offered: Spring
Last Verified by Sharon Salveter on 8 April, 2003.