## 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.