|
Class number:
2090
|
|
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: 20 |
|
Available seats: 4 |
|
Start date: Tuesday, January 21, 2025 |
|
End date: Friday, May 9, 2025 |
|
Mode of Instruction: In Person |
|
Schedule: MWF: 10:00AM-10:50AM, MECC - 232 |
|
|
Instructor(s): Miyazaki, Takunari |
|
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. |
|
Course Syllabus:
view syllabus
|