Homepage  Syllabus  Schedule  Homework 
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; computability and undecidability. 

Location  HRBB 124  
Time  [501] MWF 1:50pm  2:40pm  
[503] MWF 3:00pm  3:50pm  
Instructor 
Philip C. Ritchey


Teaching Assistant 
Sicheng "Sharon" Wang


Peer Teachers  The website containing the office hours for the peer teachers is http://engineering.tamu.edu/cse/academics/peerteachers/currentpeerteachers  
\(\LaTeX\) 
Homework must be typed. \(\LaTeX\) or \(\TeX\) is strongly 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) 

Version Control 
Use of a cloudbased version control system is strongly encouraged. Learn Git Git Tools GitHub@TAMU eCampus can also be used for version control. 