|
Class number:
3204
|
|
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: Wednesday, January 25, 2023 |
|
End date: Friday, May 12, 2023 |
|
Mode of Instruction: In Person |
|
Schedule: TR: 6:30PM-7:45PM, MECC - 232 |
|
|
Instructor(s): Islam, Maminur |
|
Prerequisite(s): Prerequisite: C- or better in Computer Science 110, or mathematics skills appropriate for enrolling in a calculus class. |
|
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. |