Each topic in this course has been chosen for its direct applicability to some important aspect of Computer Science.
Most topics have multiple applicability.
For example, Symbolic Logic is at the core of hardware design. It also serves as the foundation for the concepts of programmatic and algorithmic reasoning, branch on condition and program correctness. The publisher is McGraw Hill. The course is being taught by Prof. Constantine Roussos. Code of Conduct Code of Conduct for class meetings Dr. Roussos' Schedule Contact information for Dr. Roussos Assignments Homework, Projects, etc.