Document Type
Syllabus
Description
Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Computer Science in one way or the other, sometimes more prominently, and sometimes as motivational or formal underpinning. Examples are database schema, program verification, semantics of programming languages, computer security, artificial intelligence, cognitive robotics, Web information systems, computer hardware circuitry, or modeling in software engineering.
Publication Date
Winter 2012
College
College of Engineering and Computer Science
Department
Computer Science
Course Number
CS 499/699-01
Comments
Section 01 of CS 499/699: Logic for Computer Scientists.