THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2024/2025

Timetable information in the Course Catalogue may be subject to change.

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

Undergraduate Course: Introduction to Quantum Programming and Semantics (UG) (INFR11243)

Course Outline
SchoolSchool of Informatics CollegeCollege of Science and Engineering
Credit level (Normal year taken)SCQF Level 11 (Year 5 Undergraduate) AvailabilityAvailable to all students
SCQF Credits10 ECTS Credits5
SummaryThis course follows the delivery and assessment of Introduction to Quantum Programming and Semantics (INFR11242) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11242 instead.
Course description This course follows the delivery and assessment of Introduction to Quantum Programming and Semantics (INFR11242) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11242 instead.
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Co-requisites
Prohibited Combinations Students MUST NOT also be taking Introduction to Quantum Programming and Semantics (INFR11242)
Other requirements This course follows the delivery and assessment of Introduction to Quantum Programming and Semantics (INFR11242) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11242 instead.

This course assumes the following prerequisite knowledge:
* Basic knowledge of linear algebra, vector spaces, and complex numbers, as well as experience with mathematical abstraction
* Basic programming skills in both imperative and functional languages (such as Python and Haskell) equivalent to 2 semesters of introductory programming.
Information for Visiting Students
Pre-requisitesAs above.
High Demand Course? Yes
Course Delivery Information
Academic year 2024/25, Available to all students (SV1) Quota:  None
Course Start Semester 2
Timetable Timetable
Learning and Teaching activities (Further Info) Total Hours: 100 ( Lecture Hours 18, Seminar/Tutorial Hours 5, Supervised Practical/Workshop/Studio Hours 3, Summative Assessment Hours 2, Programme Level Learning and Teaching Hours 2, Directed Learning and Independent Learning Hours 70 )
Assessment (Further Info) Written Exam 70 %, Coursework 30 %, Practical Exam 0 %
Additional Information (Assessment) Exam 70%
Coursework 30%
Feedback Non-assessed exercise sheets will prepare the student for the exam, with the opportunity for feedback during tutorials. Programming exercises will be released all at once, with submission deadline all at the end of the course. Non-compulsory lab sessions will give the student opportunity to work on them in a structured environment. One programming exercise will not count towards the grade, but will instead be given formative feedback on halfway the course.
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S2 (April/May)Introduction to Quantum Programming and Semantics PG (INFR11242) UG (INFR11243)2:120
Learning Outcomes
On completion of this course, the student will be able to:
  1. identify features of current quantum programming platforms
  2. model quantum protocols categorically and prove their correctness graphically
  3. apply and prove basic results about monoidal categories
  4. fluently manipulate the graphical calculus for compact categories
  5. differentiate between categories modelling classical and quantum informatics
Reading List
Categories for Quantum Theory: An Introduction by C. Heunen and J. Vicary, Oxford University Press, 2019.
Additional Information
Course URL https://opencourse.inf.ed.ac.uk/iqps
Graduate Attributes and Skills Obtain, organise, and use factual, theoretical, and/or hypothetical information in problem solving
Make generalisations and predictions
Present and evaluate arguments, information and ideas routine to the subject
Undertake critical analysis, evaluation and synthesis of ideas and concepts within the common understandings of the subject
KeywordsCategory Theory,Quantum Computing,Semantics,QPS
Contacts
Course organiserDr Christiaan Heunen
Tel: (0131 6)50 2865
Email: Chris.Heunen@ed.ac.uk
Course secretaryMiss Yesica Marco Azorin
Tel: (0131 6)50 5194
Email: ymarcoa@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