CSCE 235

Class Schedule (Tentative)

 

Basic Reasoning Structures

JAN 12, 14, 16, 21, 23, 26

Propositional Logic:  1.1, 1.2

JAN 12

Pretest

JAN 12

HW 1 assigned

JAN 21

HW 2 assigned

JAN 19

Martin Luther King’s Day

JAN 28, 30, 2

Predicate Logic:  1.3, 1.4

JAN 28

HW 3 assigned

FEB 2, 4

Proofs:  1.5

 

Basic Representation Structures

FEB 6, 9

Sets:  1.6, 1.7

FEB 11, 13

Relations: 7.1, 7.5

FEB 9

HW 4 assigned (Programming)

FEB 16, 18, 20

Functions:  1.8

FEB 16

HW 5 assigned

FEB 20

Review for Exam 1

FEB 23

Exam 1: Logic, Proofs, Sets, Relations

                       

Intermediate Reasoning Structures

FEB 25, 27, MAR 2

Induction:  3.1, 3.2, 3.3

FEB 25

HW 6 assigned

MAR 4, 6, 9

Counting:  4.1, 4.2

MAR 4

HW 7 assigned (Programming)

                       

Advanced Reasoning Structures

MAR 9, 11, 13, 23, 25, 27

Combinatorics:  4.3, 4.4, 4.5

MAR 15 – 22

Spring Break

MAR 23

HW 8 assigned (Programming)

MAR 30

Review for Exam 2

APR 1

Exam 2: Functions, Induction, Counting, Combinatorics

APR 3, 6

Recursion:  6.1, 6.2

APR 3

HW 9 assigned

APR 8, 10, 13, 15

Graphs:  8.1, 8.2, 8.3, 8.4, 8.5, 8.6

APR 8

HW 10 assigned (Programming)

APR 17, 20, 22

Trees:  9.1, 9.2, 9.3, 9.4

APR 24, 27

Complexity:  2.1, 2.2, 2.3

APR 29

Review for Final

MAY 6: 3:30 – 5:30 PM

Final: Recursion, Graphs, Trees, Complexity, and others