Introduction to Computer Science II

• Syllabus
• Section Info and Handouts
• Introduction to Symbolic Computing
  This is a draft of a textbook covering the first 40% of this course. (uncompressed)
• Updates and Errata
• Tests
  • Midterm Review
  • Previous Year's (1998) Midterm Exam
  • Final Review
  • Previous Year's (1998) Final Exam
• Handouts
• Course Staff
  

Handouts:

• 1 Introduction
  • Syllabus
  • Notice of Xeroxing Fee
  • Grading Policy
  • Graduate Project
• 2 Pure LISP, Arithmetic, and Rewrite Rules
  • Pure LISP, Arithmetic, and Rewrite Rules Example Code
  • Assignment 0
    • login.help
    • lisp.help
    • mail.help
    • make.help
    • rcs.help
    • unix.help
    • vi.help
• 3 Symbolic Data
  • Symbolic Data Example Code
  • Assignment 1
    • functions.lsp
    • functions.in
    • Makefile
• 4 Procedure Abstraction
  • Procedure Abstraction Example Code
• 5 Iteration and Macros
  • Iteration and Macros Example Code
• 6 Formal Algebras and Simple Expressions
  • normal-x.lsp
  • normal-x.out
• 7 Propositional Calculus
  • Assignment 2
    • propositional-calculus.lsp
    • propositional-calculus.in
    • Makefile
• 8 The Algebra of Rational Expressions
  • normal.lsp
  • normal.out
• 9 Search
  • search.lsp
  • picnic.out
• 10 Game Search
• 11 Logic Programming
  • unify.lsp
  • unify.out
  • Assignment 3
    • game-search.lsp
    • tictactoe.in
    • resolution.in
    • search.lsp
    • unify.lsp
    • Makefile
• 12 Computer Architecture
• 13 Assembly Language
  • hspim.help
  • mips.help
  • assembly_language.out
  • sum.asm
  • sum_test.asm
  • sum_test.out
  • Assignment 4
    • fibonacci.asm
    • memo_fibonacci.asm
    • tail_fibonacci.asm
    • Makefile
  • Assignment C (only for students who do NOT know C)
    • asst4.cc
    • asst4_test.cc
    • intro51.h
    • initialize_memory.cc
    • make_object.cc
    • print_object.cc
    • print_test.cc
    • eql_test.cc
    • functions.cc
    • functions_test.cc
    • Makefile
• 14 Memory Allocator
  • memory_allocator.asm
  • memory_allocator_test.asm
  • memory_allocator_test.out
• C++ Basics
  • C++ Comments
  • C++ Mid-Block Declarations
  • C++ Bool Type
  • C++ Overloading
  • C++ Inline Functions
  • C++ Const and Enum
  • C++ Default Arguments
  • C++ Basic Output
  • C++ Operators
  • C++ Reference Types
  • C++ Class Name Declaration
  • C++ Member Functions
  • C++ Constructors
  • C++ Public and Private
• Project Book Chapter on Lexical Analysis and Parsing
• 15 Regular Expressions and Non-Deterministic Finite Automata
  • Assignment 5
    • NDFA Exercises
    • NDFA Package Preliminary Design
    • ndfa.h
    • ndfa.cc
    • ndfa_test.cc
    • gdb.help
    • Makefile
    • basic.h
    • estream.h
    • basic.cc
    • error.cc
    • estream.cc
• 16 Lexical Analysis
• 17 Parsing
  • Arithmetic Interpreter
    • Preliminary Design
    • Makefile
    • test.in
    • itest.out
    • iavalue.h
    • lexeme.h
    • parser.h
    • iavalue.cc
    • lexeme.cc
    • parser.cc
    • interpreter.cc
    • ctest.out
    • cavalue.h
    • cavalue.cc
  • Assignment 6
    • Parsing Exercises
    • Makefile
    • rep.sp
    • parser.h
    • parser.cc
    • rep.cc
    • rep.in
• LISP51: A CommonLisp Interpreter Project
  • Design
    • LISP51 Preliminary Design
    • Scanner Specification
    • meta-lisp.lsp Evaluator Prototype
  • .h Files
    • basic.h
    • catch.h
    • cons.h
    • const.h
    • estream.h
    • eval.h
    • fixnum.h
    • function.h
    • gc.h
    • lisp.h
    • object.h
    • obtype.h
    • preserve.h
    • prims.h
    • scanner.h
    • symbol.h
  • .cc Files
    • basic.cc
    • catch.cc
    • cons.cc
    • error.cc
    • estream.cc
    • eval.cc
    • fixnum.cc
    • function.cc
    • gc.cc
    • length.cc
    • lisp.cc
    • obtype.cc
    • p_car.cc
    • p_cdr.cc
    • p_cons.cc
    • p_gc.cc
    • p_gclim.cc
    • p_sgclim.cc
    • parser.cc
    • preserve.cc
    • prims.cc
    • scanner.cc
    • symbol.cc
    • toplevel.cc
  • Other Files
    • to-be-lisp51.lsp
    • Makefile
    • liblisp.a Makefile
    • test-defs.in
    • test-primitives.in
    • test-scanner.in
    • test-with-gc.in
    • test-without-gc.in
  • Assignments
    • Assignment 7
    • Assignment 8
    • Assignment 9
    • answers8.txt
    • answers9.txt
• Recreation Lectures (not part of course proper):
  • Mathematics of Cryptography

Course Staff:

Instructor

Dr. Robert Walton / walton@deas.harvard.edu

Assistant Instructor

Jason Carroll / jecarrol@fas.harvard.edu