CS200 Topics

Language: 1: Introduction [Slides, Notes]; 2: Formal Systems and Languages [S, N]; 3: Rules of Evaluation [S, N]

Recursive Definitions: 4: Evaluation and Recursion [S, N]; 5: Fibonacci [S, N]; 6: Recursing Recursively (GEB Chapter V) [S, N]; 7: Defining for [N]

Programming with Lists: 8: Cons car cdr [S, N]; 9: Programming with Lists [S, N]; 10: Barista Assista [N]

Measuring Complexity: 11: Sorting [S, N]; 12: Quicksorting [S, N]; 13: Astrophysics and Cryptology [S, N]; 14: P = NP? [S, N]; 15: Intractable Problems [S, N]; 16: Knapsack Problem (Exam Review) [N]

Programming with Mutation: 18: Mutation [S, N]; 19: Environments [S, N]; 20: Objects [S, N]; 21: Inheritance [S, N]

Computability: 22: Gödel's Theorem [ S, N]; 23: Computability [S, N]; 24: Problem Classification Practice [N]

Metalinguistic Abstraction: 25: Metalinguistics [S, N]; 26: The Metacircular Evaluator [S, N]; 27: Lazy Evaluation [S, N]; 28: Types [S, N]; 29: Type Checking [S, N]

Web: 31: Networks, The Internet and the World Wide Web [S, N]; 32: How to Build a Dynamic Web Site [S, N]

Models of Computation: 34: Modeling Computation [S, N]; 35: Lambda Calculus [S, N]; 36: The Meaning of Truth [S, N]; 37: Making Numbers and Lists from Glue Alone [S, N]; 38: Fixed Points and Biological Computation [S, N]

University of Virginia Department of Computer Science CS 200: Computer Science

David Evans evans@virginia.edu Using these Materials