INTRODUCTION TO DISCRETE MATHEMATICS

Name: INTRODUCTION TO DISCRETE MATHEMATICS
Availability: InStock
Rating: 3.8 (10646 reviews)

COMPSCI/MATH 240

Course Description

Basic concepts of logic, sets, partial order and other relations, and functions. Basic concepts of mathematics (definitions, proofs, sets, functions, and relations) with a focus on discrete structures: integers, bits, strings, trees, and graphs. Propositional logic, Boolean algebra, and predicate logic. Mathematical induction and recursion. Invariants and algorithmic correctness. Recurrences and asymptotic growth analysis. Fundamentals of counting.

Prerequisites

MATH 217 or MATH 221

Satisfies

COMPSCI 577 , COMPSCI 520 , COMPSCI 412 , MATH 461 , and MATH 467

Credits

Offered

Fall, Spring

Grade Point Average

3.14

4.15% from Historical

Completion Rate

93.69%

-0.62% from Historical

A Rate

38.02%

43.58% from Historical

Class Size

555

92.89% from Historical

2026 Summr Grade Distribution

Instructors (2026 Summr)

Sorted by ratings from Rate My Professors

Similar Courses

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

FUNDAMENTALS OF SET THEORY

MATH 570

Introduces the basic concepts of Set Theory including: Set-theoretical paradoxes and means of avoiding them, sets, relations, functions, orders and well-orders, proof by transfinite induction and definitions by transfinite recursion, cardinal and ordinal numbers and their arithmetic, construction of the real numbers, the axiom of choice and its consequences.

MATHEMATICAL LOGIC

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

SET THEORY

MATH 771

Martin's Axiom, Suslin and Aronszajn trees, diamond principle, absoluteness and reflection, constructible universe, and one-step forcing constructions. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.

SEMINAR-THE FOUNDATIONS OF MATHEMATICS

MATH 975

Selected topics in Mathematical Logic.