Advanced Topics in Programming Paradigms

Code	11517
Year	1
Semester	S1
ECTS Credits	6
Workload	OT(15H)
Scientific area	Informatics
Entry requirements	--
Learning outcomes	This UC has as goals that students: - acquire programming skills within the declarative paradigm, and especially within a functional language, through the study of advanced topics; - acquire knowledge to explore the properties of a program in order to reason about it; - are introduced to an algebraic approach to the analysis and transformation of computer programs; - apply such approach in the algorithm design. At the end of this UC the student should be able to: - solve realistic programming problems using the declarative paradigm; - analyze the programs which he/she produces under the correctness and efficiency point of view; - algebraically manipulate computer programs in order to optimize them; - design algorithms that solve realistic problems using an algebraic approach.
Syllabus	1. Introduction to Program Calculation 2. Functions and Categories 3. Applications 4. Relationships and Allegories 5. Datatypes in Allegories 6. Optimisation Problems 7. Thinning Algorithms 8. Dynamic Programming 9. Greedy Algorithms
Main Bibliography	--
Language	Portuguese. Tutorial support is available in English.