COMP 3007 Study Guide - Comprehensive Final Exam Guide - First-Order Logic, Prolog, Recursion

• School: Carleton University
• Department: Computer Science
• Course: COMP 3007
• Professor: Andrew Runka

Document Summary

Important to understand techniques to control intellectual complexity of large software systems: computer programming is humans expressing a process, computer program is algorithm expressed using a programming language. Computation: computational situation involves at least three different types of entities, 1. A program: a thing that might be edited within a text editor: 2. The process or computation to which the program gives rise, upon being executed: 3. Domain or subject matter that the computation is about: computation provides framework for "how to" not "what is, ex. Why does java have a garbage collector: make it easier to learn a new language. Increased ability to design a new language: ex. Java = smalltalk + c+: overall advancement of computing. Attributes of a good language: readability and clarity, simplicity, minimum number of concepts, simple rules, orthogonality (being able to combine various language features in all combinations, ex.