Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About
  • Text only
  • |
  • Sign in
  • Search Computer Science
  • Search University of Warwick
  • Search for people at Warwick
  • Search Warwick Blogs
  • Search past exam papers
  • Search video
  • More…

    Department of Computer Science

    • Research
    • Teaching
    • Admissions
    • People
    • Schools
    • Events
    • News
    • Modules Taught »
    • CS137
    University of Warwick

    CS137 Discrete Mathematics and its Applications 2

    Academic Aims

    To introduce students to language and methods of the area of Discrete Mathematics. The focus of the module is on basic mathematical concepts in discrete mathematics and on applications of discrete mathematics in algortihms and data structures. To show students how discrete mathematics can be used in modern computer science (with the focus on algorithmic applications).

    Learning Outcomes

    On completion of the module the student should be able to:

    • Understand the notion of mathematical thinking, mathematical proofs, and algorithmic thinking, and be able to apply them in problem solving.
    • Understand the basics of discrete probability and number theory, and be able to apply the methods from these subjects in problem solving.
    • Use effectively algebraic techniques to analyse basic discrete structures and algorithms.
    • Understand asymptotic notation, its significance, and be able to use it to analyse asymptotic performance for some basic algorithmic examples.
    • Understand some basic properties of graphs and related discrete structures, and be able to relate these to practical examples.

    Content

    • Introduction to combinatorics: counting techniques, pigeonhole principle, inclusion-exclusion.
    • Recurrence relations, solving recurrences using generating functions.
    • Master Theorem for solving recurrences.
    • Graphs. Basic graph algorithms. Trees. Applications of graphs.
    • Applications of linear algebra and matrix algebra in algorithms (e.g., in web searching).
    • Algorithmic applications of random processes and Markov chains, for example, cover time in graphs and card shuffling.
    • Partitions, enumerations with symmetries.

    12 CATS (6 ECTS)
    Term 2

    Organiser:
    Marcin Jurdzinski

    Syllabus

    Online material

    facebook twitter linkedin
    Intranet

    Department of Computer Science, University of Warwick, Coventry CV4 7AL

    Directions to the University
    Jobs in Computer Science
    Contact details

    Close this email form
    Page contact: Jackie Pinks Last revised: Thu 25 Aug 2011
    • Sign in
    • |
    • Powered by Sitebuilder
    • |
    • © MMXII
    • |
    • Privacy
    • |
    • Accessibility