## Annoucements

**November 8th, 2018**

As I mentioned in class just before our in-class test, the lab sessions are currently inline with lectures, so today’s laboratory session will not proceed. We will need to cover the material in tomorrow’s lecture before we can proceed with labs. Therefore, today’s CS1112 lab session will not go ahead. Tomorrow's classes (Friday) take place as scheduled.

**October 18th, 2018**

Next Friday's in-class test will cover Algorith, Sets, and Functions. This material is covered in lectures up to, and including, Week 5 Class 1. The relevant labs are those from Weeks 4, 5, and 6. The solutions to these exercises are available on the problem classes page. Relations will not be examined in this first test.

**October 12th, 2018**

As discussed and agreed in lectures, the two in-class tests associated with this module will take place as follows:

- 12-1pm, Friday October 26th, Room 1.07
- 12-1pm, Friday November 23rd, Room 1.07

**October 3rd, 2018**

Following the discussion in last Friday's lecture,
lab sessions begin on **Thursday, October 4th**

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