Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

This information is intended exclusively for students already enrolled in this course.
If you are a new student interested in enrolling, you can find information about the course of study on the course page:

Laurea in Filosofia - Enrollment from 2025/2026

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

2° Year  activated in the A.Y. 2023/2024

ModulesCreditsTAFSSD
2 modules between the following
2 modules between the following

3° Year  activated in the A.Y. 2024/2025

ModulesCreditsTAFSSD
1 module between the following
12
B
M-FIL/03
Final exam
6
E
-
activated in the A.Y. 2023/2024
ModulesCreditsTAFSSD
2 modules between the following
2 modules between the following
activated in the A.Y. 2024/2025
ModulesCreditsTAFSSD
1 module between the following
12
B
M-FIL/03
Final exam
6
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
2 modules among the following
12
A
L-ANT/02
12
A
L-FIL-LET/02
12
A
L-FIL-LET/04
12
A
M-STO/01
12
A
L-ANT/03
Between the years: 1°- 2°- 3°
Between the years: 2°- 3°
3 modules among the following

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S007327

Credits

3

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

Sem. 2A dal Feb 13, 2023 al Mar 30, 2023.

Learning objectives

Workshop on IT and multi-media
The workshop aims to provide students with an updated, rigorous and analytical framework on the professional applications of information technology and multimedia in contemporary society, with a specific focus on education and teaching, taking into account both the recent evolution of Instructional Design techniques, both of the progressive affirmation of e-learning, of the diffusion of the LIM (Multimedia Interactive Whiteboard) and of m-learning (mobile-learning). Therefore, at the end of the workshop, students must be able to list and describe on a regular basis the various information and multimedia technologies to support teaching, through the adoption of scientific terminology and the constant reference to examples, case studies and best practices (national and international), all in the perspective of communication within the job environment.

Prerequisites and basic notions

No specific prerequisites are required.

Program

The course aims to explore the fundamental theoretical aspects of computer science, Turing machines, and artificial intelligence, with a specific focus on propositional logic, first-order logic, and the historical and theoretical context that led to the analysis of Turing's concept of computability. The approach will be accessible to students from different backgrounds, adapting the techniques and methods of interpreting these themes for a diverse audience.

Specifically, the course will be divided into three 12-hour modules. Each module will address a specific theme and aims to provide students with the tools necessary to refine and apply their skills. In this regard, the modules will consist of a traditional lecture component (where students will acquire the terminology and basic skills related to the module's topic) and an active learning component (through open debates between students) and/or concept experimentation (through small practical activities that help focus on the concepts).

The specific topics will be as follows:

Module 1. Propositional Logic and Introduction to First-Order Logic:

The first module will focus on propositional logic and briefly introduce first-order logic. Students will learn concepts such as propositions, logical connectives, and inference, laying the foundations for understanding the historical and theoretical context that led to the analysis of Turing's concept of computability. The active learning component will concentrate on problem-solving and formalizing problems, primarily through the application of truth tables.

Module 2. Turing Machines and Computability:

The second module will focus on Turing machines and understanding the concept of computability introduced by Turing. The concepts of Turing machines, algorithms, and decidability will be explored, and students will have the opportunity to work with a Turing machine simulator to experience the principles of computation firsthand. The active learning component will concentrate on the design and analysis of simple Turing machines and the exploration of the limits of computation.

Module 3. Artificial Intelligence and the Debate on Intelligence:

The third and final module will concentrate on Artificial Intelligence (AI) and begin with a reading of Turing's 1950 article. In this module, the focus will be on understanding what AI is, its main techniques and algorithms, and the role it plays in the contemporary era. The active learning component will center on student debates and thesis presentations on the possibility of machine intelligence.

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

The teaching approach will consist of lectures (for approximately 2/3 of the time) and practical/laboratory activities (for about 1/3 of the time), such as reading articles, collaborative design and analysis of Turing machines, and debates among students.

Learning assessment procedures

The final evaluation of the students will be carried out through their participation in class activities and on the basis of a written exam (1 hour/1 exercise per module) which test the mastery of the concepts exposed during the lectures.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

Students' participation in classroom activities will be assessed based on their linguistic, analytical, dialectical, and collaborative skills. On the other hand, the written exam will aim to evaluate their technical skills.

Criteria for the composition of the final grade

Class activity - 50%
Written exam - 50%

Exam language

Italiano