|CLASS CODE:||CS 236||CREDITS: 4|
|DIVISION:||PHYSICAL SCIENCE & ENGINEERING|
|DEPARTMENT:||ELECTRICAL & COMPUTER ENGINEERING|
|GENERAL EDUCATION:||This course does not fulfill a General Education requirement.|
|DESCRIPTION:||Discrete mathematics for Computer Science. Introduces the mathematical topics needed to provide a theoretical foundation for computer science.|
|CONTENT AND TOPICS:||Functions, Sets, and Relations; Basic Logic; Proof Techniques; Basics of Counting; Discrete Probability; Number Theory Topics.|
|GOALS AND OBJECTIVES:||1. Illustrate the basic terminology and operations of discrete mathematics.
2. Select appropriate formal methods of symbolic propositional and predicate logic.
3. Demonstrate knowledge of formal logic proofs and logical reasoning.
4. Demonstrate competence in the areas of elementary number theory, counting, discrete probability, graphs, trees, and modeling computation.
|REQUIREMENTS:||Class attendance is required but is not necessarily part of the grade. Each student is required to read assigned portions of the textbook(s).|
|PREREQUISITES:||CS 165 and Math 112|
|EFFECTIVE DATE:||August 2003|