Welcome to CMSC 250. This course covers fundamental mathematical concepts related to computer science, including propositional logic, first-order logic, methods of proof, elementary number theory (including sequences, and induction), set theory with finite and infinite sets, functions, relations, introductory counting and probability theory, and an introduction to graph theory. Emphasis will be on mathematical rigor and the development of sound and elegant formal proofs.
| Week Starting | ||
|---|---|---|
| 08/31 | Course Intro
Introduction to the course; What is logic?; statements; disjunction, conjunction, negation; interpretations; truth tables; |
Logical equivalencies; conditional connective; |
Instructor: Mohammad Nayeem Teli (nayeem at cs.umd.edu)
Office: IRB 2224
Office Hours: W 10:00 AM - 11:00 AM
| Name | Email (at umd.edu) | Discussion Lead |
|---|---|---|
| Connie Hong | conniehg | 0101 |
| Despoina Kosmopoulou | despoina | 0102 |
| Wei Liu | wliu283 | 0103 |
| Sijing Yu | sjyu | 0104 |
| Monday | Sijing: 11:00 AM - 3:00 PM |
| Tuesday | Connie: 3:30 - 5:30 PM |
| Wednesday |
Despoina: 10:30 AM - 12:30 PM Connie: 3:30 - 5:30 PM |
| Thursday | Despoina: 3:30 - 5:30 PM |
| Friday | Wei: 1:00 - 5:00 PM |
Please note that a TA may need to leave 5 minutes before the end of the hour in order to go to his/her class. Please be understanding of their schedules.