• Syllabus
  

  Chapter 1 (Formal Logic)

• Slides (ppt) Section 1, Section 2, Section 3, Section 4, Section 5
• Sunderraman Notes - Chapter 1 (Propositional Logic) Complete
  
• Sunderraman Notes - Chapter 1 (Predicate Logic) Complete
  Logical equivalences and implications (pdf file)
  Relational Database Querying
  Logic Programming Notes
  

  Chapter 2 (Proofs, Recursion)

• Slides (ppt) Section 1, Section 2, Section 4, Section 5
  

  Chapter 3 (Sets, Combinatorics)

• Slides (ppt) Section 1, Section 2, Section 3, Section 4, Section 6
  

  Chapter 4 (Relations, Functions)

• Slides (ppt) Section 1, Section 2, Section 3, Section 4
  Relational Algebra Querying
  
  

  Homeworks

• Homework 1 (Due: 5 September, 2007 - Wednesday)
  
• Homework 2 (Due: 17 September, 2007 - Monday)
  
• Homework 3 (Due: 24 September, 2007 - Monday)
  
• Homework 4 (Due: 1 October, 2007 - Monday)
  
• Homework 5 (Due: 15 October, 2007 - Monday)
  
• Homework 6 (Due: 31 October, 2007 - Wednesday)
  
• Homework 7 (Due: 12 November, 2007 - Monday)
  
• Homework 8 (Due: 6 December, 2007 - Wednesday)
  Secure Shell Client

Exam 1 is on October 3rd (Wednesday). Practice problems:
Section 1.1: 10, 14, 21a,b, 36
Section 1.2: 42, 46, 48
Section 1.3: 4, 13, 26a,d
Section 1.4: 18, 26, 34, 37

Exam 2 is on November 19th (Monday). Practice problems:
Section 3.3: 4, 8, 17, 21, 26
Section 3.4: 9, 17, 39, 65, 72
Section 3.5: 7, 16
pdf scan of problems
Solutions

Final Exam is on December 10th (Monday) 12.30 to 2.30.
Practice problems:
Problems 14, 15, 26, and 28 b,c from Exercises 4.1
Relational Algebra Queries
SOLUTIONS

Hilbert Curve in Wikipedia

Hilbert Curve Applet

Page Maintained by raj@cs.gsu.edu