Annoucements

Continuous Assessment Provisional Results

The provisional continuous assessment results for this module are now available.

October 10, 2016

The in-class tests for this module will take place on Tuesday 25th October (Test 1) and Tuesday 29th November (Test 2). Each test will take place during our regular 2-3 lecture slot in Room WGB G.05. Each test is worth 10 marks (10%) towards the final grade for this module.

September 30, 2016

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

September 12, 2016

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.