|
Class number:
2621
|
|
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: 22 |
|
Available seats: 2 |
|
Start date: Tuesday, September 3, 2024 |
|
End date: Wednesday, December 18, 2024 |
|
Mode of Instruction: In Person |
|
Schedule: MWF: 10:00AM-10:50AM, MECC - 136 |
|
|
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
|