Course Description 
This course teaches fundamental tools, ideas, and principles underlying the field of computer science. The class trains students to rigorously formulate and solve problems relevant to all areas of computer science. It challenges students to develop their general reasoning ability.
The course will include topics such as: logic and proofs; sets, functions, relations, sequences and summations; counting; fundamentals of the analysis of algorithms; proof techniques; recursion; finite state machines; pushdown automata; computability and undecidability.

Location 
ETB 2005 
Time 
TR 3:55pm  5:10pm 
Instructor 
Philip C. Ritchey
Email: 

Office: 
HRBB 326 
Office Hours: 
M 8:30am  9:30am, W 9:30am  10:30am, and by appointment


Teaching Assistant 
Andrew Nemec
Email: 
nemeca 
Office: 
HRBB 509A 
Office Hours: 
Monday: 11:00 AM  1:00 PM, 5:45 PM  6:45 PM
Tuesday: 1:30 PM  3:30 PM
Wednesday: 11:00 AM  1:00 PM
Thursday: 1:30 PM  3:30 PM
Friday: 10:00 AM  11:00 AM
and by appointment.



Pulakesh Upadhyaya
Email: 
pulakesh 
Office: 
HRBB 526 
Office Hours: 
MWF: 9:00 AM  11:00 AM
TR: 10:00 AM  11:00 AM, 5:30 PM  6:30 PM
and by appointment.


Peer Teachers 
The website containing the office hours for the peer teachers is http://engineering.tamu.edu/cse/academics/peerteachers/currentpeerteachers

PT Sunday Review 
Sundays 4pm  5pm in HRBB 115.

LaTeX 
Homework must be typed. LaTeX is preferred. 

Dr. Lee's LaTeX slides 

Starting out with TeX, LaTeX, and friends 

(The Not So Short) Introduction to LaTex 

Short Math Guide for LaTex (for reference) 

Comprehensive LaTex Symbol List (for reference) 