CMSC 250 - Discrete Structures



Class:

Discussions (MW):

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.

Schedule

Exam Dates:


  • Midterm #1: Thursday, October 1st, in Lecture.
  • Midterm #2: Thursday, November 5th, in Lecture.
  • Final Exam: Wednesday, December 16th, 6:30 - 8:30 PM, Location: TBA

Lectures (Tentative)


Week Starting
Tuesday
Thursday
08/31 Course Intro

Introduction to the course; What is logic?;
statements; disjunction, conjunction, negation;
interpretations; truth tables;
Logical equivalencies; conditional connective;
09/07 Conditional equivalence contd., biconditional connectives;
inverse, converse, contrapositive; "sufficient"
and "necessary" conditions; arguments
Checking validity of arguments via truth table;
rules of inference; proving arguments;
logic gates; circuits; translating truth tables into statements;
translating statements into circuits;
09/14 building an "addition" circuit; Predicates and domains, Practice translating English to Predicate Logic;

Staff

Instructor: Mohammad Nayeem Teli (nayeem at cs.umd.edu)

Office: IRB 2224
Office Hours: W 10:00 AM - 11:00 AM


Teaching Assistants


Name Email (at umd.edu) Discussion Lead
Connie Hong conniehg 0101
Despoina Kosmopoulou despoina 0102
Wei Liu wliu283 0103
Sijing Yu sjyu 0104
Siddhi Patil scpatil 0105
Zahra Sodagar zsodagar 0106


Office Hours

Instructor: W 10:00 - 11:00 AM

Teaching Assistants

Day
Office hours (IRB 1266 Open Area)
Monday Sijing: 11:00 AM - 3:00 PM,
Zahra: 2:00 - 4:00 PM
Tuesday Siddhi: 9:30 - 11:30 AM
Wednesday Despoina: 10:30 AM - 12:30 PM,
Zahra: 2:00 - 4:00 PM
Thursday Siddhi: 9:30 - 11:30 AM,
Despoina: 3:30 - 5:30 PM
Friday Connie: 9:00 AM - 1:00 PM,
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.

Class Resources

Handouts


Online Course Tools
  • ELMS - This is where you go to see grades on assignments and to get your class account information.
  • Gradescope - This is where you submit yout homeworks and receive feedback.


Assignments

See ELMS

*All homeworks/assignments are due at 11:59 PM on the due date.