THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2019/2020

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Informatics : Informatics

Undergraduate Course: Informatics 1 - Computation and Logic (INFR08012)

Course Outline
SchoolSchool of Informatics CollegeCollege of Science and Engineering
Credit level (Normal year taken)SCQF Level 8 (Year 1 Undergraduate) AvailabilityAvailable to all students
SCQF Credits10 ECTS Credits5
Summary*Please note that this course has been replaced by a 20-credit course 'Informatics 1 - Introduction to Computation' (INFR08025) from 2018/19*.

The goal of this course is to introduce the notions of computation and specification using finite-state systems and propositional logic. These provide examples of the logical ideas of syntax and semantics and the computational ideas of structure and behaviour. Finite state machines provide a simple model of computation that is widely used, has an interesting meta-theory and has immediate application in a range of situations. They are used as basic computational models across the whole of Informatics and at the same time are used successfully in many widely used applications and components. Propositional logic, similarly is the first step in understanding logic which is an essential element of the specification of Informatics systems and their properties.
Course description The use of sets, functions, and relations to describe models of logic and computation. Finite-state systems as a basic model of computation: deterministic and non-deterministic automata; regular expressions; acceptors; structured design of finite state machines. Propositional logic: truth tables; natural deduction; resolution; satisfiability. Introduction to software IP, and notions of verification, correctness, best practice and liability.

Relevant ACM Computing Curriculum Knowledge Areas: Computational Science ¿ Discrete Structures; Systems design methodologies; Systems analysis & design.

Entry Requirements (not applicable to Visiting Students)
Pre-requisites Co-requisites Students MUST also take: Informatics 1 - Functional Programming (INFR08013)
Prohibited Combinations Other requirements SCE H-grade Mathematics or equivalent is desirable.
Information for Visiting Students
Pre-requisitesNone
High Demand Course? Yes
Course Delivery Information
Not being delivered
Learning Outcomes
On completion of this course, the student will be able to:
  1. Use sets, functions, and relations, to create a simple mathematical model of a real-world situation and use the syntax and semantics of propositional logic to express simple sets of constraints.
  2. Formalise simple propositional reasoning using various methods, including truth tables, Boole an algebra, and deduction.
  3. Use regular expressions to search for simple patterns.
  4. Understand how regular expressions link the structure and behaviour of finite automata, and design finite state acceptors for particular languages.
  5. Use basic meta theory to discuss the applicability and limitations of these approaches.
Reading List
None
Additional Information
Course URL http://course.inf.ed.ac.uk/inf1-cl
Graduate Attributes and Skills Not entered
KeywordsNot entered
Contacts
Course organiserProf Mike Fourman
Tel: (0131 6)51 5615
Email:
Course secretaryMr Rob Armitage
Tel: (0131 6)50 5194
Email:
Navigation
Help & Information
Home
Introduction
Glossary
Search DPTs and Courses
Regulations
Regulations
Degree Programmes
Introduction
Browse DPTs
Courses
Introduction
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Prospectuses
Important Information