|
| Udgave: |
Forår 2013 NAT |
| Point: |
7,5 |
| Blokstruktur: |
4. blok |
| Skemagruppe: |
C |
| Fagområde: |
dat |
| Varighed: |
9 weeks, including project period and exam
|
| Omfang: |
All course activities will take place within the allocated block schema for the course. |
| Uddannelsesdel: |
Kandidat niveau |
| Kontaktpersoner: |
Robert Glück |
| Skema- oplysninger: |
 Vis skema for kurset
Samlet oversigt over tid og sted for alle kurser inden for Lektionsplan for Det Naturvidenskabelige Fakultet Forår 2013 NAT |
| Undervisnings- form: |
The course progresses from teaching (lecture) to seminar and finally project form:
Lecture phase: lectures and exercises, formation of seminar/project groups
Seminar phase: student seminar presentations
Project phase: project work
|
| Formål: |
The purpose of this course is to provide an introduction to state-of-the-art research and applications within an area of programming languages involving theory, design, implementation and/or application of programming languages. It acquaints students with performing independent research and its communication in seminar and project form. |
| Indhold: |
A particular set of topics reflecting state-of-the-art research and applications within theory, design, implementation and/or application of programming languages. This may include the construction, analysis or manipulation of programs with predictable properties and/or for a certain purpose. The particular topic(s) change from year to year. |
| Kompetence- beskrivelse: |
See learning objectives below. |
| Målbeskrivelse: |
The student should demonstrate achieving the following competencies, skills and knowledge to obtain the grade of 12 (corresponding to A on the ECTS scale):
Generic competencies (independent of particular topics covered in the class):
- explain the dual nature of programs as software (to be executed) and as data (to be analyzed, transformed)
- discuss the role of a precise (mathematical) semantics for a programming language in connection with manipulating programs
- discuss principles of programming language design and how they are applied (or not) in connection with the topics under study
- specify ideas and concepts as rigorous definitions and make falsifiable (or provable) statements about them
Project competencies and skills:
- read research papers, prepare a seminar talk
- develop a given project proposal into a project plan and execute it
- write a final report and give a short individual oral presentation that conveys key results and insights contained in final report
Topical competencies: Within the particular area of studies (topics)
- discuss relevant properties such as correctness, performance and define what they mean precisely in the given context
- recall, explain and apply central results.
See the course home page for specific learning objectives. |
| Lærebøger: |
Research articles and excerpts from books, distributed electronically
|
| Tilmelding: |
November 15 to December 1, 2012, via KUnet, www.kunet.dk |
| Faglige forudsætninger: |
The course is part of the Programming Languages and Systems (PLS) profile within the Copenhagen Master of Excellence in Computer Science program.
Students following the PLS courses satisfy the topical and formal prerequisites.
Students wishing to take the course as an elective are asked to check the topical prerequisites on the course home page for the particular topics covered and contact the course responsible teacher if they have questions.
|
| Eksamensform: |
Written report based on group project, with individual oral presentation of report followed by individual examination, graded on Danish ECTS-compliant 7-step scale with internal review. Note that the examination covers the whole scope of the course (see topics and learning objectives), though with special emphasis on the subject of the written report the student has co-authored.
Reexam: Individual examination based on originally submitted report. |
| Eksamen: |
Mundtlig prøve baseret på rapport. Afleveres 12. juni og mundtlig prøve d. 19. juni 2013.
Reeksamen: Mundtlig prøve baseret på første rapport d. 21. august 2013. |
| Kursus hjemmeside: |
 |
| Pensum: |
Research articles and excerpts from books, distributed electronically
|
| Undervisnings- sprog: |
Kun engelsk
|
| Sidst redigeret: |
9/4-2013 |