Annoucements

Provisional Coursework Results

The provisional coursework results for this module are available here. These are provisional until they are formally considered by the Exam Board. Please direct any queries to Professor O'Sullivan.

Sample Exam Paper

A sample exam paper can be found here. Please note that as I stated in the lectures, you should focus on ensuring you can complete all the problem class exercises. Solutions have been made available for each problem class session.

November 20, 2017

On Monday 27th November, our usual lecture will be a revision session.

October 23, 2017

The dates for the in-class tests were announced in class and appear in the lectures page.

September 29, 2017

Lab sessions begin on Monday, October 2nd Each student must participate in one two-hour lab session per week. The assignment of students to lab groups is now available.

September 11, 2017

Module web-site is up and running.

About this Module

Credit Weighting: 5

Pre-requisite(s): None

Co-requisite(s): None

Teaching Method(s): 24 x 1hr(s) Lectures; 11 x 2hr(s) Tutorials.

Module Objective: Students should develop skills in the foundational techniques needed to analyse, design, implement and communicate computational problems and solutions.

Module Content: The scope of computer science and software engineering; practical problems and solutions in computer science; discrete structures for computer science, including sets, functions and propositional logic; formulating, evaluating and manipulating expressions.

Learning Outcomes: On successful completion of this module, students should be able to: Understand some basic tools for analysing computational problems; Formulate computational problems using representations such as sets, functions and logical specifications; Derive formal proofs of logical statements.

Assessment: Total Marks 100: Formal Written Examination 80 marks; Continuous Assessment 20 marks (In-Class Tests 20 marks).

Compulsory Elements: Formal Written Examination; Continuous Assessment.

Penalties (for late submission of Course/Project Work etc.): Work which is submitted late shall be assigned a mark of zero (or a Fail Judgement in the case of Pass/Fail modules).

Pass Standard and any Special Requirements for Passing Module: 40\%.

Formal Written Examination: 1 x 1.5 hr(s) paper(s) to be taken in Winter 2015.

Requirements for Supplemental Examination: 1 x 1.5 hr(s) paper(s) (which incorporates assessment of both End of Semester Written Examination and Continuous Assessment) to be taken in Autumn 2016.