Discrete Mathematics for Computer Science (COMP20110)

You are here:

General

Credits:

Level:

Semester:

Semester One

Subject:

Computer Science

School:

Computer Science & Informatics

Module Coordinator:

Mr Henry McLoughlin

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.

Outcomes

Upon sucessfully completing the module you should be able to perform basic equational proofs. You should be familiar with the proof strategies and techniques covered in the module and be able to choose appropriate ones when faced with a theorem to prove. You should be familiar with the quantified notation used and be able to manipulate quantified expressions. You should be able to perform inductive proofs.

Workload

	Hrs/Semester
Lectures	24
Tutorial	12
Autonomous Student Learning	70
Total Workload	106

Assessment

	% of Final Grade	Timing
Assignment: take home assignment 1	20	Varies over the Semester
Assignment: take home assignment 2	20	Varies over the Semester
Examination: written examination	60	2 hour End of Semester Exam

Resits

Resit Opportunities

End of Semester Exam

Remediation

If you fail this module you may repeat, resit or substitute where permissible

Dependencies

Module Requisites and Incompatibles

Pre-Requisite :

Required :

Co-Requisite :

Incompatibles :

Additional Information :

Equivalent Modules

Prior Learning

Requirements:

none

Excluded:

Recommended:

Availability

Timetabling information is displayed only for guidance purposes, relates only to 2010/2011, and is subject to change.

Tutorial	Semester 1 Offering 1	Wed: 14:00-15:50 (Sem1: All Weeks)
Tutorial	Semester 1 Offering 2	Wed: 16:00-17:50 (Sem1: All Weeks)
Lectures	Semester 1 Offering 1	Wed: 11:00-11:50 (Sem1: All Weeks)
Lectures	Semester 1 Offering 1	Mon: 12:00-12:50 (Sem1: All Weeks)

Curricular information is subject to change

Last SISWeb sync date: Fri, 16 Sep 2011 20:02:38 +0000

Useful Links

UCD School of Computer Science & Informatics,
University College Dublin,
Belfield, Dublin 4, Ireland

Email:
Tel: +353 1 716 2483
+353 1 716 2469
Fax: +353 1 269 7262

Directions to CSI

UCD CSI Home

Useful Links