Unit ARTIFICIAL INTELLIGENT SYSTEMS

Course
Informatics
Study-unit Code
A002037
Curriculum
Artificial intelligence
Teacher
Stefano Marcugini
CFU
12
Course Regulation
Coorte 2025
Offered
2025/26
Type of study-unit
Obbligatorio (Required)
Type of learning activities
Attività formativa integrata

INTELLIGENT APPLICATION DEVELOPMENT

Code A002039
CFU 6
Teacher Stefano Marcugini
Teachers
  • Stefano Marcugini
Hours
  • 42 ore - Stefano Marcugini
Learning activities Caratterizzante
Area Discipline informatiche
Academic discipline INF/01
Type of study-unit Obbligatorio (Required)
Language of instruction English
Contents Functional programming paradigm.
Ocaml language.
Recursion.
Pattern matching.
Lists.
Trees.
Backtracking.
Graphs.
Search algorithms.
Elements of lambda-calculus.

Implementation of a parser.
Reference texts M. Cialdea Mayer, C. Limongelli. Introduzione alla Programmazione Funzionale. Esculapio.

http://caml.inria.fr/ (to download programming environment and English documentation)
Educational objectives Understanding the concepts of functional programming.



Ability to build applications.
Ability to develop complex data stuctures.
Ability to develop intelligent applications.
Prerequisites None
Teaching methods Lectures, laboratory exercises
Other information Website: www.unistudium.unipg.it For the exam schedule, see: https://www.dmi.unipg.it/didattica/corsi-di-studio-in-informatica/informatica-magistrale/calendario-esami
Learning verification modality Final project and oral exam.
The final project is designed to test the ability to correctly apply the theoretical knowledge and understanding of the issues proposed.

The oral exam is a discussion lasting about 30 minutes designed to ascertain the level of knowledge and understanding about the theoretical contents of the course reached by the student. Also the oral exam will test the ability of communication of the student and the ability of autonomous organization of the speech.
At the request of the student the exam may be taken also in English.
Extended program Functional programming paradigm.
Ocaml language.
Recursion.
Pattern matching.


Lists.
Trees.
Backtracking.
Graphs.
Search algorithms.
Depth-first search and breadth-first search, euristich search. Branch and bound, A* algorithm.
Elements of lambda-calculus.
Implementation of a parser.
Obiettivi Agenda 2030 per lo sviluppo sostenibile

INTELLIGENT MODELS

Code A002038
CFU 6
Teacher Stefano Marcugini
Learning activities Caratterizzante
Area Discipline informatiche
Academic discipline INF/01
Type of study-unit Obbligatorio (Required)
Share on/Follow us on