CS 152 -- Spring 2008

Table of Contents

General Information

Programming Paradigms (formerly Programming Principles) -- Green Sheet

Calendar

About Johnny Martin

FAQ

Emotional Maturity

News

NEWS - Last updated 12 MAY 2008

Quizzes

Quiz 0 - Pre-Quiz

Quiz 2 - Lists

Quiz 2 - Lists

Quiz 3 - Scheme Lists, Again

Quiz 4 - Closures

Quiz 5 - GNU Prolog

Quiz 6 - Prolog Lists

Quiz 7 - Prolog List Length

Quiz 8 - Prolog Selection

Quiz 8 - Prolog Selection - SOLUTION

Quiz 9 - FREE QUIZ

Quiz 10 - Weakest Precondition

Quiz 11 - Loop Invariant

Projects, Assignments

Assignment 1 - Sets in Scheme

Assignment 2 - Scheme Polyominoes

Assignment 3 - Prolog

Assignment 4 - Prolog Polyominoes

Assignment 5 - Loop Invariants and Weakest Precondition

Lecture Notes: Part I

About the Notes

Introduction

Scheme

Scheme Lists

Scheme Continuations

Scheme Closures

Bindings

Lexical Scope

Closures

Lecture Notes: Part II

Prolog Introduction

Prolog Unification

Prolog Resolution

Prolog Variables

Prolog Backtracking

Notes Compiler History

Regular Expressions and State Machines

Java Regex

Parsing, Context-Free Grammars

Parsers, Parsing Tools

Lecture Notes: Part III

Lambda Calculus

Weakest Precondition, Axiomatic Semantics

Weakest Precondition, IF Statement

Loop Invariant, Axiomatic Semantics

Garbage Collection

Continuation

Lecture Notes: Some Ideas and Work in Progress

New Things to Cover in the Notes

Types

Object Oriented

Exams

Exams - Suggestions for Study and Review

Midterm Exam #1

Midterm Exam #1 - SOLUTION -- RAW ANSWERS (Spring 2008)

Midterm Exam #2

Midterm Exam #2 - SOLUTION -- RAW ANSWERS (Spring 2008)

Final Exam - Suggestions for Study and Review

Grades

Exam Scores and Grades -- UPDATED