CS 145


Advanced version of CS 135 that introduces student to the key concepts of computer science.

N/A

N/A

Gordon Cormack

Topics

  • Function Application and Definition
  • Formal Grammar and Syntax
  • Substitution Model
  • Types in Scheme
  • Conditional Expressions
  • Structures
  • Lists
  • Structural, Accumulative, and Generative Recursion
  • Unary Representation of Integers
  • Proving Properties of Programs
  • Algorithm Analysis
  • Representations of Sets

Useful Links: