Undergraduate Course: Categories and Quantum Informatics (UG) (INFR11232)
This course will be closed from 31 July 2023
Course Outline
| School | School of Informatics |
College | College of Science and Engineering |
| Credit level (Normal year taken) | SCQF Level 11 (Year 5 Undergraduate) |
Availability | Available to all students |
| SCQF Credits | 10 |
ECTS Credits | 5 |
| Summary | This course follows the delivery and assessment of Categories and Quantum Informatics (INFR11128) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11128 instead. |
| Course description |
This course follows the delivery and assessment of Categories and Quantum Informatics (INFR11128) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11128 instead.
|
Entry Requirements (not applicable to Visiting Students)
| Pre-requisites |
|
Co-requisites | |
| Prohibited Combinations | Students MUST NOT also be taking
Categories and Quantum Informatics (INFR11128)
|
Other requirements | This course follows the delivery and assessment of Categories and Quantum Informatics (INFR11128) exactly. Undergraduate students must register for this course, while MSc students must register for INFR11128 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-requisites | As above. |
| High Demand Course? |
Yes |
Course Delivery Information
|
| Academic year 2022/23, 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 50%
Lab work 25%
Coursework 25% |
| 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) | Categories and Quantum Informatics (UG) (INFR11232) | 2:00 | |
Learning Outcomes
On completion of this course, the student will be able to:
- identify features of current quantum programming platforms
- model quantum protocols categorically and prove their correctness graphically
- apply and prove basic results about monoidal categories
- fluently manipulate the graphical calculus for compact categories
- 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
| 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 |
| Keywords | category theory,quantum computing,semantics |
Contacts
| Course organiser | Dr Christiaan Heunen
Tel: (0131 6)50 2865
Email: Chris.Heunen@ed.ac.uk |
Course secretary | Ms Lindsay Seal
Tel: (0131 6)50 2701
Email: lindsay.seal@ed.ac.uk |
|
|
University Homepage