15-199 Special Topics: Discovering Logic

3 units, Carnegie Mellon University

This course is ONLY offered at Carnegie Mellon in Qatar. This course has the purpose of introducing firstyear Computer Science students to elements of formal logic as well as to the historical context in which this discipline developed. As all subsequent courses in the CS curriculum rely on students having mastered basic logical notions and skills, it will test and enhance your preparation, thereby putting you in a better position to succeed in the program. It will also help you understand and appreciate how CS came about since Computer Science grew out of logic. The specific knowledge and skills you will learn in is course include an enhanced ability to research topics, give presentations and write technical prose, some elementary logic, some historical depth into Computer Science, mathematics and logic itself. This course is open to Computer Science freshmen only.

Prerequisites: none listed

Courseweave needs JavaScript to show sections, workloads and planning tools.