CMSC 11200 - Introduction to Interactive Logic

Institution:

University of Chicago

Subject:

Description:

PQ: MATH 10600, or placement into 13100 or equivalent. Some experience with computers helpful. This course does not meet the general education requirement in the mathematical sciences. No programming skills are assumed, but those with some programming background do projects with HyperCard, a Computer Assisted Design package, Prolog, or other software. The 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 at the software packages of Tarski's World and possibly HyperProof. This course is offered in alternate years. W. Sterner. Spring. Not offered 200 9 -10; will be offered 20 1 0-11

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

WWW.UCHICAGO.EDU

Phone Number:

(773) 702-1234

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Quarter

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.