CMSC 201

COURSE CODE: CMSC 201

COURSE TITLE: Discrete Structures in Computer Science 

SEMESTER OFFERED: First Semester

PREREQUISITES: None

COURSE DESCRIPTION: Logical structures, sets, combinatorial structures, graphs, formal systems

COURSE GOAL: 

After completing this course, you should be able to:

  • Know the various discrete structures in logic, sets, combinatorics, graphs, and finite state systems;
  • Understand the concepts, principles, laws, operations and/or methods/techniques associated with the various discrete structures;
  • Develop skills in using the various discrete structures in solving mathematical problems; and
  • Realize the use of the various discrete structures in the context of computer science.

COURSE OUTLINE:

  • Logical Structures
    • Syntax and Semantics of Propositional Logic
    • Proving in Propositional Logic
    • Syntax and Semantics for First
  • Set Structures
    • Sets
    • Relations
    • Functions
  • Combinatorial Structures
    • Combinatorial Principles
    • Arrangements and Selections
  • Graph Structures
    • Graph Concepts
    • Some Graph Problems and Applications
  • Formal Languages and Finite Automata
    • Formal Languages
    • Finite Automata