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 2011

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.


Share

COinS