CSCE 222: Discrete Structures for Computing
Instructor: Dr. Dylan Shell.
| Office | : | PETR 315 |
| Phone | : | (979) 845-2369 |
| : | dshell@tamu.edu | |
| Web | : | http://robots.cs.tamu.edu/dshell/cs222 |
| Office hours | : | Walk-ins: Wednesdays, 1:00pm–2:00pm |
| Otherwise by appointment via e-mail too. |
Fall 2025
| Lecture Time | : | Tue/Thr, 11:10am–12:25pm. |
| Lecture Location | : | HRBB 126 |
Course Description
This course provides the mathematical foundations from discrete mathematics for analyzing computer algorithms, for both correctness and performance; introduction to models of computation, including finite state machines and Turing machines.
Prerequisites
Students must have completed MATH 151, or an equivalent course.
Learning Outcomes or Course Objectives
At the end of the course, students will understand the basic principles of logic, proofs and sets. Students
will be able to apply results from discrete mathematics to the analysis of algorithms. Students will be
able to produce proofs by induction and apply counting/enumeration techniques. Students will have a
basic understanding of models of computation.
It is expected that successful participation in the course will allow the student to demonstrate:
- a basic understanding of logic and predicates;
- the application of basic techniques for formal proof;
- the ability to use these concepts in the analysis and design of algorithms;
- a basic understanding of classical models of computation.
Textbook
Discrete Mathematics and Its Applications by Kenneth Rosen, 8th Edition, McGrawHill, 2019.
Grading Policies
Grades will be based on:
|
The grading scale is:
|
This current page (i.e., the one you are reading now) will serve as the most up-to-date source of official information.
Resources
- The course syllabus (here is the source Markdown file).
Course Topics, Calendar of Activities, Major Assignment Dates
Week-by-week topic breakdown (timeline is approximate, and intended for guidance only)
The following are major tests.
The following are homeworks.
Late work submission policy, absenteeism, etc.: Refer to the syllabus linked above for details please.