| |
| | CCNY: Department of Computer Science |
 | | Introduction to procedural programming in a modern programming language, such as C. The main theme is that programs can be reliably designed, proven, and refined if one pays careful attention to their underlying logic, and the emphasis of the course is on the logical evolution of working programs from specifications. |
 | | Introduction to the mathematics fundamental to all phases of computer science, from the formulation of problems to the understanding of their underlying structure, to the comparative analysis of the complexity of algorithms that can be used to solve these problems. |
 | | Aspects of the design and implementation of functional, imperative, logic and object-oriented programming languages, presented via a sequence of interpreters. |
| www-cs.engr.ccny.cuny.edu /academics/undergrad-cs-courses.html (1696 words) |
|