Mohamed G. Gouda						CS 311
Fall 2015                                                     	Syllabus

This course discusses the Foundations of Computer Science.
    1. Boolean Formulas:
       Definitions, Equivalence, Satisfiability, Normal Forms

    2. Predicates:
       Definitions, Quantifiers, Equivalence, Nested Quantifiers

    3. Proof Styles:
       Guessing, Case Analysis, Direct Inference, Indirect Inference, 
       By-Contradiction, Two-Sided Inference, Using Proven Predicates, 
       Induction

    4. Program Specification and Verification:
       Programs, Program Specification, Program Verification

    5. Graphs:
       Definitions, Handshake Theorem, Coloring, Connectivity,
       Bi-Partite Graphs, Trees, Planar Graphs

    6. Sets:
       Definitions, Operations on Sets, Set Laws

    7. Functions:
       Definitions, Injective, Surjective, and Bijective Functions,
       Inverse Functions, Function Composition

    8. Recurrences:
       Definitions, Solving Recurrence Equations

    9. Big Notations:
       Big-O Notation, Big-Omega Notation, Big-Theta Notation

Textbook:
Kenneth Rosen, Discrete Mathematics and Its Applications, Seventh Edition,
McGraw Hill, 2012

Instructor:
Name: Mohamed G Gouda 
Email: gouda@cs.utexas.edu
Website: http://www.cs.utexas.edu/~gouda
Office: GDC 6.824
Office Hours: 12:30 to 1:30 pm on Thursdays
Cell Phone: 512-554-2465 (after 9 am and before 9 pm)

Grades:
10 points on attending the first 10 exercise sections
30 points on three homeworks (10 points on each homework)
60 points on three midterms (20 points on each midterm)

Grade Cut-Offs:
	A	is in the range [93 - 100]
	A-	is in the range [90 - 92.5]
	B+	is in the range [87 - 89.5]
	B	is in the range [83 - 86.5]
	B- 	is in the range [80 - 82.5]
	C+	is in the range [77 - 79.5]
	C	is in the range [73 - 76.5]
	C-	is in the range [70 - 72.5]
	D+	is in the range [67 - 69.5]
	D	is in the range [63 - 66.5]
	D-	is in the range [60 - 62.5]
	F	is in the range [0  - 59.5]

Important Dates:
Homeworks will be posted on Internet on the following Tuesdays:
Sept. 20	Oct. 25		Nov. 22       

Homeworks will be collected in class on the following Tuesdays:
Sept. 27	Nov. 1		Nov. 29

Midterms will be conducted in class on the following Thursdays:
Sept. 29	Nov. 3  	Dec. 1

Teaching Assistant: 
Name: Rezwana Reaz:
Email: rezwana@cs.utexas.edu
Office Hour on Monday 11-12 am at TA Station Desk