Honors Introduction to Discrete Structures

COT 3100H

Term: Spring 2007
Time: Tues Thurs 1:30pm - 2:45pm
Location: ENGR 0227

Instructor: Dr. Pawel Wocjan
Office hours: Tues Thurs 3:00pm - 4:15pm, HC 339


Final Exam + Grade

Please go and see Chen-Fu Chiang on 05/01 (Tuesday) at 1:00pm - 3:00pm in 354 HC (Parallel and Quantum Computing Lab) to get your graded exam and your final grade.


Lecture #1 - January 9th

Organization (Class objectives, grading policy etc.)

Propositional Logic Read Section 2.1 and Section 2.2

Lecture #2 - January 11th (posted on 01/11 at 6:00pm)

Propositional Logic Predicate Logic Read Sections 2.1 - 2.4.

Lecture #3 - January 16 (posted on 01/16 at 6:30pm)

Predicate Logic Set Theory Read Sections 2.5, 3.1 and 3.2

Lecture Notes #1 + #2 +#3 (Logic)

Lecture Notes #3 (Set Theory)

Lecture #4 - January 18 (posted on 01/18 at 4:00pm)

Problem set #1 with solutions

Read Chapters 2 and 3. Try to understand the examples and solve some problems in these chapters.

Lecture #5 - January 23 (posted on 01/23 at 6:30pm)

HOMEWORK #1 DUE ON JANUARY 30TH BEFORE CLASS!!!

Problem set #2 with solutions

Homework Assignment #1

Lecture #6 - January 25 Explanation of Problem #4 in Problem Set #2

Lecture Notes #6 (recall of some elementary concepts of set theory; some counting techniques for sets)

Lecture #7 - January 30 (posted on 01/30 at 6:00pm)

Proof Methods Lecture Notes #7

Homework Assignment #1 + Solutions

Lecture #8 - February 1 (posted 04/02 at 6:30pm)

Lecture Notes #8: Problem Set #3 + Solutions

Lecture #9 - February 6 (posted at 06/02 at 6:00pm)

HOMEWORK #2 DUE ON FEBRUARY 13TH BEFORE CLASS!!!

Homework #2

Counting Techniques
Lecture #10 - February 8

Counting Techniques Lecture Notes #9 + #10

Lecture #11 - February 13 Homework Assignment #2 + Solutions

Lecture #12 - February 15

Presentation of the solutions for the homework assignment #2

Lecture #13 - February 20 / Lecture #14 - February 22

First Midterm Exam

Lecture #15 - February 27

Mathematical Induction

Lecture #16 - March 1

Mathematical Induction
Lecture Notes #15 + #16

Lecture #17 - March 6 / Lecture #18 - March 8)

Presentation of the solutions of the first midterm exam

Solutions First Midterm Exam A

Solutions First Midterm Exam B

Spring Break

Lecture #19 - March 20

Properties of Integers: Primes, Divisibility, Euclid's Algorithm, Euclid's Extended Algorithm, Greatest Common Divisor, Least Common Multiple.

Lecture Notes #19

HOMEWORK #3 DUE ON MARCH 27TH BEFORE CLASS!!!

Homework #3

Lecture #20 - March 22

Relations, Composition of Relations, Properties of Relations

Lectures Notes: will be posted soon

Lecture #21 - March 27

Presentation of the Solutions for Homework Assignment #3

Homework #3 + Solutions

The graded homework assignment can be picked up from Chen-Fu Chiang in HC 354 (Parallel and Quantum Computing Lab) from 3:00pm till 4:15pm on Wed. If you cannot make it, please contact him: cchiang@cs.ucf.edu

Lecture #22 - March 29

SECOND EXAM

Important for the exam: Euclid's algorithm, GCD, LCM, Induction

Lecture #23 - April 3

Presentation of the Solutions for the Second Exam

Lecture #24 - April 5

Properties of Relations (reflexive, irreflexive, etc.), Equivalence Relation, Partition

Lecture #25 - April 10

Functions, Composition of Functions, Properties of Functions (injective, surjective, bijective), Inverse Functions

HOMEWORK #4 DUE ON APRIL 17TH BEFORE CLASS!!!

Homework #4

Lecture #26 - April 12

Inverse Functions

Lecture Notes #20 + #24 + #25 + #26

Lecture #27 - April 17

Presentation of the Solutions for Homework Assignment #4 + Review of some problems for the Foundation Exam

Homework #4 + Solutions

Lecture #28 - April 19

Lunch

Lecture #29 - April 24

FINAL EXAM at 1:00pm in ENGR 0227 (the room where we always had class)

Topics: Relations and Functions

Final Exam + Grade

Please go and see Chen-Fu Chiang on 05/01 (Tuesday) at 1:00pm - 3:00pm in 354 HC (Parallel and Quantum Computing Lab) to get your graded exam and your final grade.