THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2017/2018

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

Undergraduate Course: Informatics 1 - Functional Programming (INFR08013)

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
SummaryAn introduction to the concepts of programming, using a functional programming language. Students learn to solve small-scale problems succinctly and at an abstract level without being bogged down in details.
Course description An introduction to the concepts of programming using a functional programming language.

Relevant QAA Computing Curriculum Sections: to be confirmed
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Co-requisites Students MUST also take: Informatics 1 - Computation and Logic (INFR08012)
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
Academic year 2017/18, Available to all students (SV1) Quota:  None
Course Start Semester 1
Timetable Timetable
Learning and Teaching activities (Further Info) Total Hours: 100 ( Lecture Hours 20, Seminar/Tutorial Hours 10, Supervised Practical/Workshop/Studio Hours 20, Formative Assessment Hours 2, Summative Assessment Hours 3, Programme Level Learning and Teaching Hours 2, Directed Learning and Independent Learning Hours 43 )
Assessment (Further Info) Written Exam 0 %, Coursework 10 %, Practical Exam 90 %
Additional Information (Assessment) Formative assessment will be used to provide feedback and guidance to students and will take the form of quizzes, exercise sheets, practical exercises and coursework assignments, covering areas from across the syllabus. A summatively assessed class test (worth 10% of the final mark) will be held mid semester and will test students basic programming competence.
Feedback Not entered
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S1 (December)2:00
Resit Exam Diet (August)2:00
Learning Outcomes
On completion of this course, the student will be able to:
  1. Solve simple programming tasks and define appropriate data types
  2. Perform case analysis, use recursion (for example, evaluate a parse tree for an arithmetic expression to yield a value)
  3. Read and write programs that use basic list processing functions, list comprehensions and higher-order functions
  4. Choose appropriate decompositions of given problems and compose corresponding functional programs from suitable function definitions, including their types
  5. Document, test and debug programs
Reading List
Thinking Functionally with Haskell, Cambridge University Press, 2014. Richard Bird
The Craft of Functional Programming, 3rd edition, Simon Thompson, Haskell, Addison Wesley, 2011
Programming in Haskell, Graham Hutton
The Haskell School of Expression, Paul Hudak
Learn You a Haskell for Great Good! Miran Lipovica. No Starch
Press, 2011.
Additional Information
Course URL http://course.inf.ed.ac.uk/inf1-fp
Graduate Attributes and Skills Not entered
KeywordsNot entered
Contacts
Course organiserProf Don Sannella
Tel: (0131 6)50 5184
Email: D.T.Sannella@ed.ac.uk
Course secretaryMr Rob Armitage
Tel: (0131 6)50 5194
Email: Rob.Armitage@ed.ac.uk
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