Undergraduate Course: Introduction to Quantum Programming and Semantics (UG) (INFR11243)
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 Introduction to Quantum Programming and Semantics (INFR11242) exactly. Undergraduate and Visiting 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 Visiting 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 Visiting 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-requisites | This course follows the delivery and assessment of Introduction to Quantum Programming and Semantics (INFR11242) exactly. Undergraduate Visiting 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. |
| High Demand Course? |
Yes |
Course Delivery Information
| Not being delivered |
Learning Outcomes
On completion of this course, the student will be able to:
- identify features of current quantum programming platforms
- model quantum protocols using ZX calculus
- fluently manipulate ZX calculus diagrams
- apply and prove basic results about semantics of quantum programming languages
- differentiate between (sub)languages modelling classical and quantum informatics and explain their interaction
|
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 |
| Keywords | Category Theory,Quantum Computing,Semantics,QPS |
Contacts
| Course organiser | Dr Chris Heunen
Tel: (0131 6)50 2865
Email: Chris.Heunen@ed.ac.uk |
Course secretary | Mr Lachlan Boyd
Tel:
Email: lboyd@ed.ac.uk |
|
|
University Homepage