|Unit||Credits||Academic sector||Period||Academic staff|
|INTELLIGENZA ARTIFICIALE||6||INF/01-INFORMATICS||See the unit page||See the unit page|
The aim of the course is to present:
(i) the theoretical bases of programming languages;
(ii) the main paradigms and techniques of symbolic representation and automatic solution of problems.
For this purpose, in the language module, various paradigmatic languages will be studied, even of a higher order. This module will focus on the concepts of operational and system-based semantics.
Instead, the Artificial Intelligence module provides tools for designing, applying, and evaluating algorithms for difficult problems. The mechanized solution of such problems captures aspects of artificial intelligence or computational rationality.
Please, refer to the programs of the two modules that constitute the course.
The candidate must pass the exams of both modules with a mark greater than or equal to 18/30. The mark of the entire course is obtained from the average by excess of the votes obtained in the two modules.
|Peter Sewell||Semantics of Programming Languages (Edizione 5)||Cambridge University Press||2017|
|Benjamin Pierce||Types and Programming Languages (Edizione 1)||MIT Press||2002||ISBN-10: 0262162091|
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits