Week

Date

Topic

Reading

Assignments

1

8/24

Propositional Logic

Rosen: 1.1

PropLogicHomework

Solutions

Noise Intruder WriteUp

Logic Equivalences;

Predicates and Quantifiers;

Scoping and Nested Quantifiers

Rosen 1.2-1.4

2

8/31

Review;

Transposing and Negating Quantifiers;

Rules of Inference

Rosen 1.5

inference.pdf

Solutions

Proofs

Rosen 1.6-1.7

3

9/07

Forward and Backward Chaining;
Descriptive Logic (KR);

Prolog; Optional Prolog Assignment

Government.htm

GovtPictures.zip

Prolog Assignment

politics.pro

Old Prolog Assignment

Family Prolog Solution

Sets;

Rosen 2.1-2.2

4

9/14

Functions;
Relations

Rosen 2.3;
Rosen 8.1,8.3-8.4

sets_functions_relations.pdf

Solutions

Relations and Databases

Rosen 8.2

5

9/21

Sequences and Summations;

Rosen 2.4

seq_sum.pdf

Solutions

Induction

Rosen 4.1

Prolog Assignment is Due. Sunday, 9/26

Submittal Instructions

6

9/28

Midterm 1 (Through relations and databases)

induction_recursion.pdf

Solutions

Recursion

Rosen 4.3-4.4

7

10/05

Recursion

Counting: Basics

Rosen 5.1

[Recursion HW is due]

counting.pdf

Solutions

5.1-52 Solution

8

10/12

Pigeonhole Principle:

Rosen 5.2

Binominal Coefficients

Pascal Triangle

Rosen 5.4

9

10/19

Introduction to Graphs;

Rosen 9.1-9.2

graphsPart1.pdf

Solutions

Graph representations

Rosen 9.3

[Counting HW is due]

10

10/26

Isomorphism, Connectivity

Rosen 9.3-9.4

A* Assignment

[graphsPart1 HW is due]

A* Assignment

11

11/2

Midterm 2 (seq, sums, induction, recursion, counting)

graphsPart2.pdf

Solutions

Euler and Hamilton Paths;

Shortest Path;

Rosen 9.5-9.6

12

11/9

Planer Graphs, Graph Coloring

Rosen 9.7-9.8

Trees: Applications

Rosen 10.1-10.2

[graphsPart2 HW is due]

trees.pdf

Solutions

A* hashmap due Saturday, 11/13

13

11/16

Traversal;

Spanning Trees,

Rosen 10.3-10.4

Minimum Spanning Trees

Rosen 10.5

modelingcomputation.pdf

Solutions

14

11/23

Languages, Grammars;

Finite State Machines;

Language Recognition

Rosen 12.1-12.2

[Trees HW is due]

A* due on Saturday, 11/20

11/25

Thanksgiving Vacation

15

11/30

Context Free Languages;

Language Recognition

Rosen 12.3-12.4

Emacs Regular Expression Searching

12/2

Turing Machines and Computability

Rosen 12.5

[ModelingComputation HW is due]

Final is on Tuesday 12/14 8-10am