Checking date: 03/03/2025


Course: 2025/2026

Functional Programming
(20239)
Bachelor in Artificial Intelligence (Plan: 555 - Estudio: 506)


Coordinating teacher:

Department assigned to the subject:

Type: Electives
ECTS Credits: 6.0 ECTS

Course:
Semester:




Learning Outcomes
S7: Analyse the needs in algorithmic, computational complexity, programming, operating systems, databases, structure, and interconnection of computer systems necessary for the resolution of scientific and engineering problems, in accordance with the necessary principles of quality, reliability and security, and within the institutional and legal framework of the company.
Description of contents: programme
Functional programming. Functions and expressions reductions. Functional programming and type system. Type classes. Higher order functions. Monadic programming. Proof theory
Learning activities and methodology
A1: MASTER CLASS. Lecture of a theoretical nature given by the teacher in the regular classroom. He/she can use different technologies to support his/her expository activity such as presentations, videos, etc. and carry out formative activities of analysis, reflection, debates on the information provided, etc. 100% de presencialidad / A2: PROBLEM SOLVING AND CASE STUDIES IN THE CLASSROOM. Practical activity (guided problems, tutorials or group work) in the regular classroom. It can use different support technologies in its expository activity such as presentations, videos, etc. and perform training activities of analysis, reflection, discussions of the information provided, etc. but does not require a specific infrastructure. 100% de presencialidad / A2bis: PROBLEM SOLVING IN A COMPUTER ENVIRONMENT: Activity similar in nature to A2 but performed in a computer environment with specific hardware and software. 100% de presencialidad / A3: STUDENT'S INDIVIDUAL WORK: This is the student's individual work outside the ¿classroom¿ and consists of self-study, solving exercises and problems, individual work, etc. 0% de presencialidad / A4: LABORATORY SESSIONS. Practical activities that students carry out in a laboratory environment, using the necessary specific resources and under the supervision and control of the professor. In these sessions the maximum number of students per group is 20 students. 100% de presencialidad / A5: FINAL EXAM Consists of an objective test whose purpose is to verify the acquisition of the knowledge, skills and abilities of the course. 100% de presencialidad M1: SEMINARS AND LECTURES SUPPORTED BY COMPUTER AND AUDIOVISUAL AIDS. / M2: PRACTICAL LEARNING BASED ON CASES AND PROBLEMS, AND EXERCISE RESOLUTION. / M3: INDIVIDUAL AND GROUP OR COOPERATIVE WORK WITH THE OPTION OF ORAL OR WRITTEN PRESENTATION. / M4: INDIVIDUAL AND GROUP TUTORIALS TO RESOLVE DOUBTS AND QUERIES ABOUT THE SUBJECT.
Assessment System
  • % end-of-term-examination 60
  • % of continuous assessment (assigments, laboratory, practicals...) 40




Extraordinary call: regulations

The course syllabus may change due academic events or other reasons.