COMP20110 Discrete Mathematics for Computer Science
This module is intended to introduce the student to a range of topics in Discrete mathematics which are frequently used in Computer Science. We will look at topics in Predicate calculus, Lattice theory, elementary number theory and combinatorics. We place particular emphasis on equational reasoning and on structuring proofs. We will cover standard proof techniques and introduce you to some techniques you may not have seen before such as proof by indirect equality and indirect inequality. Proof by induction will be studied and used extensively.We will illustrate the material with many examples from Computer Science.
Show More
REVIEWSMODULE INFO
Enjoyable follow on to Algorithmic Problem Solving if you like solving logic problems.
I wouldn't recommend this module to others as while it's an enjoyable subject it is quite difficult.
REVIEWSMODULE INFO
Subject: Computer Science
Level: 2
Module Coordinator: Mr Henry McLoughlin
Trimester: Autumn
Credits: 5
Module Info
Subject: Computer Science
Level: 2
Module Coordinator: Mr Henry McLoughlin
Trimester: Autumn
Credits: 5