CMSC 250 - Discrete Structures


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.


Exam Dates:

  • Midterm #1: Tuesday, October 3rd, in Lecture.
  • Midterm #2: Tuesday, November 7th, in Lecture.
  • Final Exam: Friday, December 15th, 4:00 - 6:00 PM, Location: TBA

Lectures (Tentative)

Week Starting Tuesday Thursday
08/29 Course Intro

Introduction to the course; What is logic?; statements; disjunction, conjunction, negation; interpretations; truth tables; logical equivalence
Logical equivalencies; conditional and biconditional connectives;
09/04 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; building an "addition" circuit
09/11 Predicates and domains, Universal and Existential quantifiers negating statements, empty domains Practice translating English to Predicate Logic; free vs. bound variables; interpretations; rules of inference; closure; Why number theory?; basic definitions, Introduction to proofs; direct; contrapositive;
09/18 contrapositive;contradiction; Equivalence proofs constructive proofs; proofs by exhaustion/cases; proving implications (directly and via contrapositive); proving equivalence


Instructor: Mohammad Nayeem Teli (nayeem at

Office: IRB 2224
Office Hours:

Teaching Assistants

Name Email Discussion Lead
Dhruva Sahrawat dhruva7 at 0201
Roksana Khanom rkhanom at 0202
Sean Michael McLeish smcleish at 0203
Elias Prieto eprieto at 0204
Nengneng Yu ynn1999 at 0205
Jacob Langille jlangill at 0206
Zain Ahmed Zarger zzarger at 0206
Siyuan Peng peng2000 at 0207
Zora Che zche at 0208
Geonsun Lee gsunlee at

Office Hours

Instructor: M 2:00 - 4:00 PM

Teaching Assistants

Office hours (IRB 1266 Open Area)
Monday Dhruva: 9:00 - 11:00 AM
Roksana: 11:00 AM - 12:00 PM
Yu: 12:00 - 1:00 PM
Roksana / Jacob: 1:00 - 2:00 PM
Yu: 4:00 - 5:00 PM
Tuesday Zora: 9:00 AM - 1:00 PM,
Elias: 1:30 - 2:30 PM
Siyuan: 2:00 - 3:00 PM,
Wednesday Dhruva: 9:00 - 11:00 AM,
Yu / Siyuan: 12:00 - 1:00 PM
Jacob: 1:00 - 2:00 PM
Geonsun: 1:00 - 2:00 PM
Zain: 2:00 - 4:00 PM
Yu: 4:00 - 5:00 PM
Thursday Geonsun: 11:00 AM - 12:00 PM
Elias: 12:30 - 1:30 PM
Sean: 1:00 - 2:00 PM
Sean / Siyuan: 2:00 - 3:00 PM
Friday Sean: 9:00 - 11:00 AM
Roksana: 12:00 - 2:00 PM
Siyuan: 1:00 - 2: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


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.


Homework Due Date*
Homework 1 Thursday Sep. 14, 2023

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