Foundations of Computer Science, CS 6100, Spring 2007
Handouts

L:M-D READING! ONLINE ITEMS
  1:1-9     Ch 1-2 (Math Prelim)     notes (none) - background quiz - pdf ps tex html - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex  
  2:1-11     Ch 3-4 (Card., Relns.)     notes (none) - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex  
  3:1-16     Ch 5 (Logic)     notes (none) - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex  
  4:1-18     Ch5 probs.     notes (none) - slides pdf ps tex print pdf - asg pdf ps tex html  
  5:1-23     Ch 6 (Recursion)     notes - pdf ps tex html - Ocaml Tutorial - Gordon Book - terminal session txt -- asg pdf ps tex html - asgsoln pdf ps tex  
  6:1-25     Ch 1-6 (review)     notes pdf ps tex html - slides (none) - asg (in notes)  
  7:1-30     Ch 7-8 (Languages, DFA)     notes pdf ps tex - Another Terminal Session - asg pdf ps tex html - asgsoln pdf ps tex  
  8:2-1     Ch 7-10     notes pdf ps tex html - slides (none) - No asg8  
  9:2-6     Ch 7-10     notes pdf ps tex - model test pdf ps tex - model test soln pdf ps tex - No asg9  
  10:2-8     Review     no notes - no slides - Asg10 is a test pdf ps tex - asgsoln pdf ps tex  
  11:2-13     Ch 11     notes (none) - BED code+doc - tictactoe.txt - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex  
  12:2-15     Ch 20 (Presburger)     notes pdf ps tex - Fixed tictactoe.txt - forallx_existsy_x=2y_or_x=2y+1.txt - binctr.txt - slides pdf ps tex print pdf - no asg  
  13:2-20     Ch 12 (Pumping Lemma)     notes pdf ps tex html - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex  
  14:2-22     Ch 13 (CFLs)     - no asg  
  15:2-27     Ch 13 (CFLs)     - slides pdf ps tex print pdf - asg pdf ps tex html - asgsoln pdf ps tex html  
  16:3-1     Ch 14 (PDA)     - slides pdf ps tex - no asg  
  17:3-6     PDAs and CFGs     notes pdf ps tex html - no asg  
  18:3-8     PDAs and CFGs     notes pdf ps tex html - Model Test pdf ps tex - asg18 (short one) pdf ps tex html - TEST pdf ps tex html - soln pdf ps tex html  
  19:3-13     Decidability     no notes - slides pdf ps tex - print pdf ps - asg pdf ps tex html - soln pdf ps tex html  
  20:3-15     Decidability     no notes - slides pdf ps tex print pdf ps - no asg  
  21:3-27     Decidability     notes pdf ps tex html - no slides - no asg  
  22:3-29     Decidability     exercises pdf ps tex html - TEST on Undecidability pdf ps tex html - soln pdf ps tex  
  23:4-3     Ch 18, Logic and SAT     notes pdf ps tex html - No slides - asg pdf ps tex html - soln - pdf ps tex  
  24:4-5     Ch 19, NP-Completeness     notes pdf ps tex html - No slides - no asg  
  25:4-10     Ch 19, NP-Completeness     No notes - read book - No slides - asg pdf ps tex html - soln pdf ps tex html  
  26:4-12     Ch 19, NP-Completeness     notes pdf ps tex - No slides - No asg  
  27:4-17     Ch 21, NPC wrap-up     notes pdf ps tex - slides Model Checking Slides - asg pdf ps tex html  
  28:4-19     Model Checking     notes pdf ps tex html - slides Model Checking Slides  
  29:4-24     Model Checking, LTL, CTL, Fixed-points, Wrap-up     notes pdf ps tex html - slides pdf ps tex html - FINAL EXAM: Comprehensive is closed book; rest open-book pdf ps tex html - Solutions pdf ps tex  

Mostly obsolete blurb that was there:
This document was translated from LATEX by HEVEA.