|
Class number:
2256
|
|
Title: Math Foundatns of Comput |
|
Department: Computer Science |
|
Career: Undergraduate |
|
Component: Lecture |
|
Session: Regular |
|
Instructor's Permission Required: No |
|
Grading Basis: Regular |
|
Units: 1.00 |
| Enrollment limited to 24 |
|
Current enrollment: 23 |
|
Available seats: 1 |
|
Start date: Monday, January 22, 2024 |
|
End date: Friday, May 10, 2024 |
|
Mode of Instruction: In Person |
|
Schedule: TR: 8:00AM-9:15AM, MECC - 136 |
|
|
Instructor(s): Yoon, Peter |
|
Prerequisite(s): Prerequisite: C- or better in CPSC 115 or concurrent enrollment. |
|
Distribution Requirement: Meets Numerical & Symbolic Reasoning Requirement |
Course Description:
An introduction to the principles of logic and discrete mathematics required in the study of computer science. Topics covered may include: propositional and predicate logic and their relationship to general proof techniques used in computing and correctness proofs of programs; mathematical induction applied to recursion and recurrence relations; set theory with an emphasis on infinite sets used in computing; counting principles useful in analyzing graphs and trees; relations and functions and their relationship to databases and functional programming languages. Computer programs will be used to explore concepts examined in the course. |