Computer Science

Academic program

×
Print
Course
PROGRAMMAZIONE 1
Course ID
MF0207
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
CODETTA RAITERI Daniele
CFU
9.0
Teaching duration (hours)
72.0
Individual study time
153.0
SSD
INF/01 - INFORMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
A
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
Italiano
Italian
Contenuti/Content Summary
Il corso ha la finalità di introdurre i fondamenti della programmazione degli elaboratori elettronici, partendo dal concetto di algoritmo e dalla descrizione dei concetti di base di un programma, per arrivare a concetti avanzati di strutture dati e di controllo dei linguaggi di programmazione. Il corso si propone, inoltre, di presentare i concetti di base del linguaggio di programmazione C impiegato a supporto dell’insegnamento della programmazione, nonché per lo svolgimento di esercitazioni pratiche in laboratorio.
The course has the goal of introducing the fundamentals of computer programming, starting from the concept of algorithm and the basic concepts of a program, and arriving to advanced concepts of data structures and control in the programming language. Moreover the course presents the basic concepts of the C programming language used to support the teaching of programming, and to perform practical exercises in the laboratory.
Testi di riferimento/Textbooks
- Kelley, Pohl, “C: didattica e programmazione”, Pearson Italia, 2a edizione, 2018, https://he.pearson.it/bundle/654?isbn=9788891908216 - P. Deitel, H. Deitel, “Il linguaggio C: Fondamenti e tecniche di programmazione”, Pearson Italia, 9a edizione, 2022, https://he.pearson.it/bundle/500?isbn=9788891906236 - Kernighan, Ritchie, “Il linguaggio C: Principi di programmazione e manuale di riferimento”, Pearson Italia, 2a edizione, 2018, https://he.pearson.it/bundle/679?isbn=9788891908230
- Kelley, Pohl, “A book on C: programming in C”, Pearson, 4th edition, 1997, https://www.informit.com/store/book-on-c-programming-in-c-9780201183993 - P. Deitel, H. Deitel, “C: How to program”, Pearson, 9th edition, 2022, https://www.pearson.com/en-us/subject-catalog/p/c-how-to-program/P200000003460/9780137398393 - Kernighan, Ritchie, “The C Programming Language”, Pearson, 2nd edition, 1988, https://www.pearson.com/en-us/subject-catalog/p/c-programming-language/P200000000368/9780131103627
Obiettivi formativi/Mission
La Studentessa/lo Studente deve conoscere i costrutti di base della programmazione, le strutture dati di base (variabili, costanti, array) e l'organizzazione del programma in più funzioni. Dato un problema di media complessità, la Studentessa/lo Studente deve essere in grado di individuare i possibili dati di input, i possibili dati di output e l'algoritmo che risolve il problema. Inoltre la Studentessa/lo Studente deve essere in grado di scrivere un programma in linguaggio C corrispondente all'algoritmo, di compilarlo ed eseguirlo.
The student must know the basic programming constructs, the basic data structures (variables, constants, arrays), and the organization of a program into functions. Given a problem of average complexity, the student must be able to deduce the possible input data, the possible output data, and the algorithm solving the problem. Moreover the student must be able to write a programme in C language, corresponding to the algorithm, compile it, and execute it.
Prerequisiti/Required background knowledge
Nessuno
None
Metodi didattici/Teaching methods
Il corso si articola in lezioni frontali in aula e in esercitazioni al calcolatore in laboratorio. Le lezioni frontali occupano circa 48 ore. Le esercitazioni occupano circa 24 ore. Modalità: durante le lezioni frontali si presentano gli aspetti teorici della programmazione (algoritmi, costrutti, strutture dati, ecc.). Inoltre, tramite un calcolatore collegato ad un proiettore, si mostra come tali aspetti si possono implementare al calcolatore. Per ogni argomento vengono presentati vari esempi di problemi ed i corrispondenti algoritmi e programmi. Durante le lezioni in laboratorio si richiede alle Studentesse/agli Studenti di realizzare gli stessi programmi visti in aula, e di realizzarne altri che risolvono problemi analoghi. Strumenti: per assimilare in modo graduale i concetti di algoritmo e di programma, e i relativi costrutti, all'inizio del corso gli algoritmi vengono definiti tramite vari livelli di astrazione: diagramma di flusso, pseduo-codice, linguaggio di programmazione. Dato che si tratta di un corso di programmazione di base, i programmi vengono scritti al calcolatore tramite un comune editor di testo. Per abituare le Studentesse/gli Studenti all'uso del terminale (utile per insegnamenti successivi), la compilazione e l'esecuzione dei programmi avviene dalla riga di comando del terminale. Oltre ai comandi di compilazione ed esecuzione, vengono presentati ed applicati i principali comandi da terminale. Durante il corso, l'apprendimento viene verificato tramite lo svolgimento di una serie di esercizi per ogni argomento del corso. Ogni esercizio richiede la definizione di un algoritmo e la scrittura in linguaggio C del programma corrispondente. Durante le lezioni di laboratorio, ogni esercizio viene introdotto, si definisce sommariamente la struttura del programma, si richiede alle Studentesse/agli Studenti di completare in modo autonomo il programma entro un certo periodo di tempo, dopodiché si fornisce la soluzione dell'esercizio per verificare la correttezza. Alla fine del corso vengono svolte alcune simulazioni di esame, al calcolatore, per consentire alle Studentesse/agli Studenti di rendersi conto di quanto richiesto effettivamente all'esame. Oltre alle ore di laboratorio, il corso prevede delle ore di tutorato in cui le Studentesse/gli Studenti possono continuare gli esercizi, chiarire eventuali dubbi, o richiedere che un argomento venga spiegato una seconda volta. Il corso ha una propria pagina nella piattaforma DIR (Didattica in Rete), che contiene le slide del corso, i programmi presentati in aula, i programmi preparati in laboratorio, i programmi preparati durante il tutorato, le prove d'esame del passato, ecc.
The course consists of frontal lectures and laboratory lectures. Frontal lectures take 48 hours. laboratory lectures take 24 hours. Modality: during the frontal lectures the theoretical aspects about programming (algorithms, constructs, data structure, etc) are presented. Moreover, by means of a computer connected to a projector, the way to implement such aspects on a computer, is shown. For each topic, several examples of problems are presented, together with the corresponding algorithms and programs. During the laboratory lectures, the students are asked to implement the same programs presented in the frontal lectures, and to implement other programs solving similar problems. Tools: in order to gradually learn the concepts of algorithm, program, and their constructs, at the begin of the course, the algorithms are defined through several abstraction levels: flow-chart, pseudo-code, programming language. Since it is a course on basic programming, the programs are written on the computer by means of an ordinary text editor. In order to make the students familiar with the terminal (useful for the following courses), program compiling and execution is performed through the command line of the terminal. Besides the compiling and execution commands, the main terminal commands are presented and applied. During the course, learning is verified through a series of exercises for each topic of the course. Each exercise requires to define an algorithm and write the corresponding program in C language. During the laboratory lectures, each exercise is introduced, the general program structure is defined, and the students are asked to complete the program in an autonomous way, within a certain amount of time. Then, the solution of the exercise is provided in order to verify the correctness. At the end of the course, several exam simulation are performed, on the computer, to allow the students to be aware of what is actually required at the exam. Besides the laboratory lectures, tutoring lectures are available for the students, in order to continue the exercises, clarify doubts, and require to explain a topic for the second time. The course has its own page in the platform DIR (Didattica in Rete), which contains the slides, the programs shown during the frontal lectures, the programs prepared during the laboratory and tutoring lectures, the exams of the past, etc.
Altre informazioni/Further information
Non sono previste prove parziali durante il corso. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES possono inoltre contattare la/il docente titolare dell’insegnamento in relazione alla declinazione delle modalità di esame.
No partial exams will take place during the course. Students with disabilities or Specific Learning Disorders (DSA) or Special Educational Needs (BES) can request specific services and tools dedicated to them by contacting the Career Development and Coordination and Student Services Staff and by consulting the dedicated page on the University website: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa Students with disabilities, DSA, BES can also contact the professor in charge of the course in relation to the declination of the exam methods.
Modalità di verifica dell'apprendimento/Assessment methods
L'esame consiste di due prove che si tengono nello stesso giorno: 1) quiz; 2) prova pratica. 1. Il quiz prevede 30 domande a risposta multipla, sui concetti di base della programmazione in linguaggio C. Per ogni domanda ci sono 4 possibili risposte predefinite: 1 è corretta, 3 sono sbagliate. La Studentessa/lo Studente deve selezionare la risposta che ritiene corretta. Ogni domanda vale 1 punto. Il quiz è fallito se la Studentessa/lo Studente seleziona meno di 18 risposte effettivamente corrette. In questo caso l'esame termina immediatamente con esito insufficiente. Il quiz è superato se la Studentessa/lo Studente seleziona almeno 18 risposte effettivamente corrette. In questo caso la Studentessa/lo Studente accede alla prova pratica. Le Studentesse/gli Studenti possono trovare un esempio di quiz con la soluzione, sulla piattaforma DIR. Il quiz dura 40 minuti e può riguardare qualunque argomento del corso. 2. Durante la prova pratica la Studentessa/lo Studente, dato un determinato problema, deve: a) implementare un programma in linguaggio C che contiene le strutture dati e gli algoritmi che risolvono il problema; b) compilare con successo il programma; c) verificare la corretta esecuzione del programma. Il programma deve essere strutturato in 5 funzioni, inclusa la funzione main. Ogni funzione vale 6 punti. Se il programma non è compilabile (non è formalmente corretto) l'esame ha direttamente esito insufficiente. Se il programma è compilabile (è formalmente corretto) ogni funzione viene valutata da 0 a 6 punti in base al livello di correttezza logica. La prova pratica è fallita se il punteggio complessivo è meno di 18. La prova pratica è superata se il punteggio complessivo è almeno 18. La prova pratica dura 2 ore e può riguardare qualunque argomento del corso. Le Studentesse/gli Studenti possono trovare le prove pratiche del passato, con le soluzioni, sulla piattaforma DIR. L'esame è superato solo se entrambe le prove sono state superate. In questo caso il voto finale è la media pesata tra il punteggio del quiz (1/3) e il punteggio della prova pratica (2/3). Durante entrambe le prove non è consentita la consultazione del materiale del corso o di manuali. Entrambe le prove usano i calcolatori del laboratorio informatico; è vietato l'uso di dispositivi mobili o computer portatili.
The exam consists of two tests held on the same day: 1) quiz; 2) practical test. 1. The quiz contains 30 multiple-choice questions covering basic C programming concepts. For each question, there are four possible predefined answers: 1 is correct, 3 are incorrect. The student must select the answer that she/he believes to be correct. Each question is worth 1 point. The quiz is failed if the student selects fewer than 18 correct answers. In this case, the exam ends immediately with a failing grade. The quiz is passed if the student selects at least 18 correct answers. In this case, the student proceeds to the practical test. Students can find a sample quiz, along with the solution, on the DIR platform. The quiz lasts 40 minutes and can cover any course topic. 2. During the practical test, the student, given a specific problem, must: a) implement a C program containing the data structures and algorithms needed to solve the problem; b) successfully compile the program; c) verify the program's correct execution. The program must be structured into 5 functions, including the main function. Each function is worth 6 points. If the program cannot be compiled (is not formally correct), the exam is directly given a failing grade. If the program can be compiled (is formally correct), each function is scored from 0 to 6 points based on its level of logical correctness. The practical test is failed if the overall score is less than 18. The practical test is passed if the overall score is at least 18. The practical exam lasts 2 hours and can cover any course topic. Students can find past practical tests, with solutions, on the DIR platform. The exam is passed only if both tests are passed. In this case, the final grade is the weighted average of the quiz score (1/3) and the practical test score (2/3). During both tests, consultation of course materials or manuals is not permitted. Both tests use lab computers; the use of mobile devices or laptops is forbidden.
Programma esteso/Content
- introduzione alla programmazione ed al linguaggio C; - algoritmi e loro rappresentazione; - variabili, costanti, tipi di dato e operatori aritmetici; - operatori di input e output in C; - primi programmi C con il solo uso di sequenze di comandi; - costrutto di selezione (if...else) con condizioni booleane semplici e composte; - iterazione e costrutti while, for e do-while; - array (vettori, stringhe, matrici); - funzioni e passaggio dei parametri per valore; - concetto di puntatore e passaggio dei parametri per riferimento; - aritmetica dei puntatori; - parametri da riga di comando; - input/output su file; - uso del terminale.
- introduction to programming and C language; - algorithms and their representation; - variables, constants, data types, arithmetic operators; - input/output operators in C; - first programs in C, with the only use of command sequences; - selection (if...else) with simple and composed Boolean conditions; - loops (while, for, do-while); - arrays; - functions with arguments by value; - pointers and function arguments by reference; - pointer arithmetic; - arguments from command line; - input/output to file; - use of terminal.
Risultati di apprendimento attesi/Intended learning objectives
Al termine del corso, la Studentessa/lo Studente deve essere in grado, dato un semplice problema di programmazione, di individuarne un algoritmo risolutivo, implementarlo in linguaggio C, eseguirlo al calcolatore e verificarne la correttezza. Conoscenza e comprensione: concetto di algoritmo, concetto di programma, strutture dati fondamentali, costrutti di base della programmazione. Capacità di applicare conoscenza e comprensione: dato un problema, - individuare i dati di input da raccogliere dall'utente e i dati di output da produrre; - individuare le strutture dati necessarie per gestire tali dati; - definire un algoritmo che trasforma i dati di input nei dati di output, seguendo i costrutti della programmazione; - scrivere al calcolatore il programma sorgente che implementa l'algoritmo, utilizzando un linguaggio di programmazione (C); - generare il programma eseguibile tramite la compilazione del programma sorgente, al calcolatore; - esecuzione e test del programma eseguibile, al calcolatore. Autonomia di giudizio: in modo autonomo la Studentessa/lo Studente deve riuscire ad identificare le strutture dati necessarie, definire ed implementare l'algoritmo nel linguaggio di programmazione (C), ed infine compilare ed eseguire il programma. Abilità comunicative: la Studentessa/lo Studente deve riuscire a definire un algoritmo a vari livelli di astrazione, quali il diagramma di flusso, lo pseudo-codice, il programma in linguaggio di programmazione. Inoltre si esige che il programma richieda e presenti i dati all'utente tramite messaggi comprensibili dall'utente. Capacità di apprendimento: la Studentessa/lo Studente deve essere capace di apprendere come si genera un algoritmo dal problema, come si implementa l'algoritmo in un linguaggio di programmazione, ed infine come si compila e si esegue il programma al calcolatore.
At the end of the course, given a simple programming problem, the student must be able to define the algorithm solving the problem, implement the algorithm in C language, execute the program on the computer, and verify its correctness. Knowledge and comprehension: concepts of algorithm and program, fundamental data structures, basic programming constructs. Capacity to apply knowledge and comprehension: given a problem, - identifying input data to be collected from the user, and output data to be produced; - identifying the data structures necessary to manage such data; - defining an algorithm transforming input data in output data, by following the programming constructs; - writing on the computer the source program implementing the algorithm, using the programming language (C); - generating the executable program by compiling the source program, on the computer; - executing and testing the executable program, on the computer. Judgement autonomy: in an autonomous way the student must be able to identify the necessary data structures, define and implement the algorithm in the programming language (C), and finally compile and execute the program. Communication abilities: the student must be able to define an algorithm at several abstraction levels, such as the flow-chart, the pseudo-code, the program in the programming language. Moreover the program must require and present data to the user by means of message that the user can understand. Learning capacity: the student must be able to learn how to generate an algorithm from the problem, how to implement an algorithm in a programming language, and finally how to compile and execute a program on a computer.
×
Print
Course
ANALISI MATEMATICA
Course ID
MF0575
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
LUZZINI PAOLO
Teachers
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
MAT/05 - ANALISI MATEMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
A
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Insiemi, funzioni, limiti per funzioni reali di una variabile reale, continuità, calcolo differenziale e integrale per funzioni reali di una variabile reale.
Sets, functions, limits for real functions of one real variable, continuity, differential and integral calculus for real functions of one real variable.
Testi di riferimento/Textbooks
Testo consigliato per la teoria: Bramanti, Pagani, Salsa, “Analisi Matematica 1 con elementi di geometria e algebra lineare”, Ed. Zanichelli. In alternativa: Bramanti, Pagani, Salsa, “Analisi Matematica 1”, Ed. Zanichelli. Testo consigliato per gli esercizi: Salsa, Squellati: "Esercizi di Analisi Matematica 1", Ed. Zanichelli.
Suggested book for the theoretical part: Bramanti, Pagani, Salsa, “Analisi Matematica 1 con elementi di geometria e algebra lineare”, Ed. Zanichelli. As an alternative: Bramanti, Pagani, Salsa, “Analisi Matematica 1”, Ed. Zanichelli. Suggested book for exercises: Salsa, Squellati: "Esercizi di Analisi Matematica 1", Ed. Zanichelli.
Obiettivi formativi/Mission
1. Conoscenza e comprensione: - Enunciare e definire con rigore i concetti fondamentali del calcolo (e.g. limite, continuità, derivabilità e integrabilità) per funzioni di una variabile reale. - Esporre le dimostrazioni dei teoremi fondamentali del calcolo (e.g. Teorema di Lagrange), comprendendone le ipotesi e le tesi. 2. Capacità di applicare conoscenza e comprensione: - Calcolare limiti, derivate e integrali (definiti e indefiniti) applicando correttamente le regole e le tecniche apprese (e.g. sostituzione, integrazione per parti). - Analizzare e disegnare qualitativamente il grafico di una funzione reale (monotonia, concavità, estremi locali e assoluti). - Risolvere problemi ed esercizi standard e non standard, selezionando lo strumento matematico più idoneo tra quelli trattati nel corso.
1. Knowledge and Understanding: - State and define with rigor the fundamental concepts of calculus (e.g., limits, continuity, differentiability, and integrability) for functions of a real variable. - Present the proofs of the fundamental theorems of calculus (e.g., the Mean Value Theorem), demonstrating a clear understanding of their hypotheses and conclusions. 2. Applying Knowledge and Understanding: -Compute limits, derivatives, and integrals (both definite and indefinite) by correctly applying the rules and techniques covered in the course (e.g., substitution, integration by parts). - Analyze and qualitatively sketch the graph of a real-valued function (identifying monotonicity, concavity, and local/absolute extrema). - Solve both standard and non-standard problems and exercises, selecting the most appropriate mathematical tools from those introduced during the course.
Prerequisiti/Required background knowledge
Nozioni di base dell'algebra e della trigonometria.
Basic notions of algebra and trigonometry.
Metodi didattici/Teaching methods
Il corso è organizzato per specifiche lezioni frontali, che copriranno sia la teoria che gli esercizi. In entrambe le situazioni si ricercherà la partecipazione attiva e l'interazione di e con le studentesse e gli studenti, anche tramite domande mirate sugli argomenti correnti.
The class is organized in specific lectures, that will cover both theory and excercises. In both situations we will look for the active participation and the interaction of the students and among them, also through focused questions on the current arguments.
Altre informazioni/Further information
Oltre ai libri suggeriti per la teoria e gli esercizi, ulteriore materiale per la preparazione dell'esame verrà fornito durante lo svolgimento del corso. Le persone con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa Le persone con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
In addition to the suggested books for the theoretical part and the exercises, further material for the preparation of the exam will be provided during the development of the course. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti, consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
L'esame scritto verificherà sia la conoscenza e comprensione della teoria (enunciati di teoremi, dimostrazioni, definizioni) che la capacità di svolgere gli esercizi. La prova orale è a discrezione del docente nel caso ci fosse la necessità di ulteriori elementi di valutazione. La sufficienza è raggiunta se si conoscono le definizioni ed enunciati dei Teoremi e se si è in grado di utilizzare gli strumenti di base appresi durante il corso (e.g. derivate ed integrali) per svolgere semplici esercizi. L'eccellenza è raggiunta se si padroneggia il formalismo matematico esponendo correttamente definizioni, enunciati e dimostrazioni. Inoltre se si riescono a svolgere anche esercizi non standard e non meccanici.
The written exam will test both knowledge and understanding of the theory (theorems, proofs, definitions) and the ability to solve exercises. The oral exam is at the discretion of the instructor if additional assessment elements are needed. A passing grade is achieved if the student knows the definitions and theorem statements and is able to use the basic tools learned during the course (e.g., derivatives and integrals) to solve simple exercises. Excellence is achieved if the student masters mathematical formalism, correctly presenting definitions, statements, and proofs. Furthermore, excellence requires the ability to solve non-standard and non-mechanical exercises."
Programma esteso/Content
Insiemi, operazioni insiemistiche; funzioni, composizione di funzioni, iniettività, suriettività, biunivocità, invertibilità, cardinalità di un insieme. Limite di una funzione reale di una variabile reale; limiti destro e sinistro; limiti e operazioni algebriche; Teorema dei due carabinieri; Teorema di esistenza del limite per funzioni monotone; Teorema di cambiamento di variabile per i limiti. Continuità per funzioni reali di una variabile reale; continuità e operazioni algebriche; continuità di funzioni composte; Teorema di permanenza del segno; Teorema di Weierstrass; Teorema degli zeri e dei valori intermedi; continuità della funzione inversa. Calcolo differenziale per funzioni reali di una variabile reale; derivate e operazioni algebriche; derivata di una funzione composta; derivabilità della funzione inversa. Massimi e minimi relativi; monotonia di una funzione e segno della derivata prima; Teoremi di de l'Hopital; funzioni convesse e concave, punti di flesso e legame con il segno della derivata seconda. Integrazione secondo Riemann; integrabilità di somme e prodotti di funzioni integrabili; Teorema della media; funzioni integrali; Teorema fondamentale del calcolo integrale; formule di integrazione per sostituzione e per parti.
Sets and operations between sets; definition of function, composition between functions, injectivity, surjectivity, bijectivity, invertibility, cardinality of a set. Limit of a real function of one real variable; right limit and left limit; limits and algebraic operations; Comparison Theorem; existence of the limit for a monotone function; change of variable. Continuity for real functions of one real variable; continuity and algebraic operations; continuity of a composition; Sign Permanence Theorem; Weierstrass Theorem; Intermediate Values Theorem; continuity of the inverse function. Differential Calculus for real functions of one real variable; derivatives and algebraic operations; derivative of a composition; differentiability of the inverse function. Relative maxima and minima; monotonicity of a function and sign of the first order derivative; de l'Hopital Theorems; convex and concave functions, flex points and sign of the second order derivative. Riemann integral; integrability of sums and products of integrable functions; Mean Value Theorem; integral functions; Fundamental Theorem of Integral Calculus; integration by parts and change of variable formula.
Risultati di apprendimento attesi/Intended learning objectives
Oltre al raggiungimento degli Obbiettivi Formativi (Conoscenza e comprensione della teoria e capacità di applicarla agli esercizi), altri risultati attesi sono i seguenti. Autonomia di giudizio: - Selezionare autonomamente la strategia risolutiva più efficace per un dato problema, valutando i pro e i contro di diversi approcci analitici. - Valutare la coerenza e la correttezza dei risultati ottenuti attraverso verifiche logiche o stime qualitative. Abilità comunicative: - Esporre con rigore logico e proprietà di linguaggio tecnico definizioni, enunciati e dimostrazioni. - Argomentare e giustificare per iscritto o oralmente i passaggi logico-matematici eseguiti nella risoluzione di un problema, rendendoli comprensibili a un interlocutore esperto. Capacità di apprendimento: - Sviluppare un metodo di studio autonomo che consenta di approfondire argomenti di analisi matematica o di applicare tali nozioni in altri contesti scientifici.
In addition to achieving the Learning Objectives (knowledge and understanding of theory and the ability to apply it to exercises), the other expected outcomes are as follows: Making Judgements: - Independently select the most effective resolution strategy for a given problem, weighing the pros and cons of different analytical approaches. - Evaluate the consistency and correctness of the results obtained through logical verification or qualitative estimates. Communication Skills: - Present definitions, statements, and proofs with logical rigor and appropriate technical terminology. - Articulate and justify, both in writing and orally, the logical-mathematical steps taken during problem-solving, making them clear to an expert interlocutor. Learning Skills: - Develop an autonomous study method that allows for the further exploration of mathematical analysis topics or the application of these concepts in other scientific contexts.
×
Print
Course
MATEMATICA DISCRETA
Course ID
MF0204
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
LAGUZZI Giorgio
CFU
9.0
Teaching duration (hours)
72.0
Individual study time
0.0
SSD
MAT/03 - GEOMETRIA, MAT/01 - LOGICA MATEMATICA
Course type
Attività formativa integrata
Course mandatoriety
OBB
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
Italiano.
Italian.
Contenuti/Content Summary
Teoria elementare dei numeri. Alcune nozioni di base dell'algebra lineare.
Elementary theory of numbers. Some basic ideas of linear algebra.
Testi di riferimento/Textbooks
Testi consigliati: + Bramanti, Pagani, Salsa, "Analisi Matematica 1 con elementi di geometria e algebra lineare", Ed. Zanichelli. + Appunti del docente caricati sulla piattaforma DIR.
Recommended texts: + Bramanti, Pagani, Salsa, "Analisi matematica 1 con elementi di geometria e algebra lineare", Ed. Zanichelli. + Teacher's notes available on the DIR platform.
Obiettivi formativi/Mission
1. Conoscenza e comprensione: - Conoscere i concetti fondamentali dell'algebra lineare (spazi vettoriali, basi, applicazioni lineari) e della teoria elementare dei numeri (congruenze, divisibilità, equazioni diofantee, classi di resto). 2. Capacità di applicare conoscenza e comprensione: - Eseguire calcoli matriciali e risolvere sistemi di equazioni lineari utilizzando algoritmi specifici (e.g., calcolo determinanti, inverse, eliminazione di Gauss). - Determinare autovalori e autovettori per la diagonalizzazione di operatori lineari e matrici. - Risolvere equazioni diofantee, sistemi di congruenze lineari, e sapere maneggiare l'algebra delle classi di resto.
1. Knowledge and Understanding: - Understand the fundamental concepts of linear algebra (vector spaces, bases, linear maps) and elementary number theory (congruences, divisibility, Diophantine equations, residue classes). 2. Applying Knowledge and Understanding: - Perform matrix calculations and solve systems of linear equations using specific algorithms (e.g., computing determinants, finding inverses, Gaussian elimination). - Determine eigenvalues and eigenvectors for the diagonalization of linear operators and matrices. - Solve Diophantine equations and systems of linear congruences, and demonstrate proficiency in handling the algebra of residue classes.
Prerequisiti/Required background knowledge
Lettura e produzione di brevi testi scritti in italiano. Proprietà di base dei numeri interi. Proprietà di base del piano cartesiano.
Reading and production of short texts in italian. Basic properties of integers. Basic properties of the cartesian plane.
Metodi didattici/Teaching methods
La didattica si svolgerà mediante lezioni frontali alla lavagna con parte teorica ed esercizi. Ogni argomento del corso viene introdotto per mezzo di una discussione generale che ha lo scopo di renderla il più possibile comprensibile alle studentesse e agli studenti. In un secondo momento vengono introdotte le nozioni di base di ciascun argomento; esse sono successivamente seguite da esempi con lo scopo di chiarirne il significato. L'ultima parte è dedicata agli esercizi che saranno svolti dal docente con il coinvolgimento attivo delle studentesse e degli studenti per stimolarne il senso critico e l’autonomia di giudizio.
Face-to-face lectures. Teaching will take place through lectures on the blackboard with theoretical part and exercises. Each topic of the course is introduced by means of a general discussion which aims to make it as understandable as possible to students. In a second moment the basic notions of each topic are introduced; they are subsequently followed by examples with the aim of clarifying their meaning. The last part is dedicated to the exercises that will be carried out by the teacher with the active involvement of students to stimulate their critical sense and independent judgment.
Altre informazioni/Further information
Il controllo dell'apprendimento in itinere verrà effettuato svolgendo esercizi in aula con la partecipazione attiva delle studentesse e degli studenti. Oltre ai libri suggeriti per la teoria e gli esercizi, eventuale ulteriore materiale per la preparazione dell'esame verrà fornito durante lo svolgimento del corso. Il voto del modulo di algebra e geometria è una media ponderata con il voto del modulo di logica per ottenere il voto finale di matematica discreta. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studentidisabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
The control of ongoing learning will be carried out by carrying out exercises in the classroom with the active participation of students. In addition to the books suggested for the theory and exercises, any further material for the preparation of the exam will be provided during the course. The algebra and geometry module grade is a weighted average with the logic module grade to obtain the final discrete mathematics grade. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the __Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti__, consulting the University webpage: https://www.uniupo.it/en/services/servicesstudents-physical-or-learning- disabilities. Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities.
Modalità di verifica dell'apprendimento/Assessment methods
L'esame è costituito da una prova scritta contenente quattro esercizi di cui due su argomenti di Aritmetica Modulare (e.g equazioni diofantee, classi di resto, equazioni in Z_n) e due su argomenti di Algebra Lineare (e.g. spazi vettoriali, matrici, funzioni lineari, autovalori e diagonalizzazione). In ogni prova scritta, la maggior parte degli argomenti contenuti nel corso viene coperta. La presenza di domande sulla parte teorica non è esclusa. La prova scritta ha la durata di un'ora e si considera superata se si svolgono correttamente almeno un esercizio di Aritmetica Modulare e un esercizio di Algebra Lineare. Lo svolgimento della prova si considera eccellente se si svolgono correttamente tutti gli esercizi e in aggiunta si padroneggia in modo rigoroso il formalismo matematico. Durante la prova scritta è consentito l'uso di una calcolatrice. La prova è volta a verificare che si siano acquisiti i risultati di apprendimento attesi, quali la conoscenza e la comprensione della teoria e la capacità di applicarla ad esercizi.
The exam consists of a written test containing four exercises, two of which on Modular Arithmetic topics (e.g., Diophantine equations, residue classes, equations in Z_n) and two on Linear Algebra topics (e.g., vector spaces, matrices, linear transformations, eigenvalues, and diagonalization). In each written test, most of the topics contained in the course are covered. The presence of questions on the theoretical part is not excluded. The written test lasts one hour and is considered passed if at least one exercise of Modular Arithmetic and one of Linear Algebra are correctly carried out. The exam performance is considered excellent if all exercises are completed correctly and, in addition, mathematical formalism is rigorously mastered. During the written test, the use of a calculator is allowed. The exam is designed to verify the achievement of the expected learning outcomes, such as knowledge and understanding of the theory and the ability to apply it to exercises
Programma esteso/Content
Numeri interi. Divisibilità e numeri primi. Massimo comune divisore. Algoritmo di Euclide. Minimo comune multiplo. Equazioni diofantee. Congruenze e classi di resto. Criteri di divisibilità. Rappresentazione di numeri con base diversa da dieci. Teorema cinese del resto. Condivisione di segreti mediante sistemi di congruenze. Il teorema di Eulero. Il problema del logaritmo discreto. Il protocollo di Diffie-Hellman. Il protocollo RSA. Sistemi lineari. Metodo di Eliminazione di Gauss. Matrici, determinanti, rango, matrice inversa. Spazi vettoriali, basi, dipendenza lineare. Applicazioni lineari, prodotto scalare. Applicazioni ai sistemi lineari.
Integers. Divisibility and primes. Greatest common divisor. Euclid's algorithm. Least common multiple. Diophantine equations. Congruences and residue classes. Divisibility criteria. Representation of number in basis other than ten. Chinese remainder theorem. Sharing secrets by means of systems of congruences. Euler's theorem. The problem of the discrete logarithm. The Diffie-Hellman protocol. The RSA protocol. Linear systems. Gauss' elimination method. Matrices, determinants, rank, inverse matrix. Vector spaces, bases, linear dependence. Linear functions, scalar product. Applications to linear systems.
Risultati di apprendimento attesi/Intended learning objectives
Oltre al raggiungimento degli Obbiettivi Formativi (conoscenza e comprensione della teoria e capacità di applicarla allo svolgimento di esercizi), i risultati di apprendimento attesi includono: Autonomia di giudizio - Valutare e selezionare l'algoritmo o la tecnica risolutiva più appropriata ed efficiente per un dato problema, motivandone la scelta. - Verificare la coerenza logica dei procedimenti adottati e la correttezza dei risultati ottenuti attraverso verifiche a posteriori. Abilità comunicative - Esporre in modo chiaro e rigoroso i procedimenti adottati, utilizzando correttamente il linguaggio tecnico-matematico. Capacità di apprendimento - Sviluppare la capacità di collegare le nozioni astratte dell'algebra a contesti applicativi, acquisendo gli strumenti matematici necessari per affrontare con autonomia discipline scientifiche correlate.
In addition to achieving the Learning Objectives (knowledge and understanding of theory and the ability to apply it to problem-solving), the expected learning outcomes include: Making Judgements - Evaluate and select the most appropriate and efficient algorithm or resolution technique for a given problem, providing a clear justification for the choice. - Verify the logical consistency of the procedures adopted and the correctness of the results obtained through a posteriori checks (post-verification). Communication Skills -Present the adopted procedures in a clear and rigorous manner, using correct technical-mathematical language. Learning Skills - Develop the ability to link abstract algebraic concepts to applied contexts, acquiring the mathematical tools necessary to independently approach related scientific disciplines.
Modules
Course ID Course SSD Teachers Agenda web
MF0205ALGEBRA E GEOMETRIA MAT/03 - GEOMETRIA Luzzini Paolo
MF0206LOGICA MAT/01 - LOGICA MATEMATICA Laguzzi Giorgio
Show parent course details
×
Print
Course
MATEMATICA DISCRETA: ALGEBRA E GEOMETRIA
Course ID
MF0205
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
LUZZINI PAOLO
Teachers
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
MAT/03 - GEOMETRIA
Course type
Modulo di sola Frequenza
Course mandatoriety
OBB
Course category
A
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
G
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Teoria elementare dei numeri. Alcune nozioni di base dell'algebra lineare.
Elementary theory of numbers. Some basic ideas of linear algebra.
Testi di riferimento/Textbooks
Testi consigliati: + Bramanti, Pagani, Salsa, "Analisi Matematica 1 con elementi di geometria e algebra lineare", Ed. Zanichelli. + Appunti del docente caricati sulla piattaforma DIR.
Recommended texts: + Bramanti, Pagani, Salsa, "Analisi matematica 1 con elementi di geometria e algebra lineare", Ed. Zanichelli. + Teacher's notes available on the DIR platform.
Obiettivi formativi/Mission
1. Conoscenza e comprensione: - Conoscere i concetti fondamentali dell'algebra lineare (spazi vettoriali, basi, applicazioni lineari) e della teoria elementare dei numeri (congruenze, divisibilità, equazioni diofantee, classi di resto). 2. Capacità di applicare conoscenza e comprensione: - Eseguire calcoli matriciali e risolvere sistemi di equazioni lineari utilizzando algoritmi specifici (e.g., calcolo determinanti, inverse, eliminazione di Gauss). - Determinare autovalori e autovettori per la diagonalizzazione di operatori lineari e matrici. - Risolvere equazioni diofantee, sistemi di congruenze lineari, e sapere maneggiare l'algebra delle classi di resto.
1. Knowledge and Understanding: - Understand the fundamental concepts of linear algebra (vector spaces, bases, linear maps) and elementary number theory (congruences, divisibility, Diophantine equations, residue classes). 2. Applying Knowledge and Understanding: - Perform matrix calculations and solve systems of linear equations using specific algorithms (e.g., computing determinants, finding inverses, Gaussian elimination). - Determine eigenvalues and eigenvectors for the diagonalization of linear operators and matrices. - Solve Diophantine equations and systems of linear congruences, and demonstrate proficiency in handling the algebra of residue classes.
Prerequisiti/Required background knowledge
Lettura e produzione di brevi testi scritti in italiano. Proprietà di base dei numeri interi. Proprietà di base del piano cartesiano.
Reading and production of short texts in italian. Basic properties of integers. Basic properties of the cartesian plane.
Metodi didattici/Teaching methods
La didattica si svolgerà mediante lezioni frontali alla lavagna con parte teorica ed esercizi. Ogni argomento del corso viene introdotto per mezzo di una discussione generale che ha lo scopo di renderla il più possibile comprensibile alle studentesse e agli studenti. In un secondo momento vengono introdotte le nozioni di base di ciascun argomento; esse sono successivamente seguite da esempi con lo scopo di chiarirne il significato. L'ultima parte è dedicata agli esercizi che saranno svolti dal docente con il coinvolgimento attivo delle studentesse e degli studenti per stimolarne il senso critico e l’autonomia di giudizio.
Face-to-face lectures. Teaching will take place through lectures on the blackboard with theoretical part and exercises. Each topic of the course is introduced by means of a general discussion which aims to make it as understandable as possible to students. In a second moment the basic notions of each topic are introduced; they are subsequently followed by examples with the aim of clarifying their meaning. The last part is dedicated to the exercises that will be carried out by the teacher with the active involvement of students to stimulate their critical sense and independent judgment.
Altre informazioni/Further information
Il controllo dell'apprendimento in itinere verrà effettuato svolgendo esercizi in aula con la partecipazione attiva delle studentesse e degli studenti. Oltre ai libri suggeriti per la teoria e gli esercizi, eventuale ulteriore materiale per la preparazione dell'esame verrà fornito durante lo svolgimento del corso. Il voto del modulo di algebra e geometria è una media ponderata con il voto del modulo di logica per ottenere il voto finale di matematica discreta. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studentidisabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
The control of ongoing learning will be carried out by carrying out exercises in the classroom with the active participation of students. In addition to the books suggested for the theory and exercises, any further material for the preparation of the exam will be provided during the course. The algebra and geometry module grade is a weighted average with the logic module grade to obtain the final discrete mathematics grade. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the __Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti__, consulting the University webpage: https://www.uniupo.it/en/services/servicesstudents-physical-or-learning- disabilities. Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities.
Modalità di verifica dell'apprendimento/Assessment methods
L'esame è costituito da una prova scritta contenente quattro esercizi di cui due su argomenti di Aritmetica Modulare (e.g equazioni diofantee, classi di resto, equazioni in Z_n) e due su argomenti di Algebra Lineare (e.g. spazi vettoriali, matrici, funzioni lineari, autovalori e diagonalizzazione). In ogni prova scritta, la maggior parte degli argomenti contenuti nel corso viene coperta. La presenza di domande sulla parte teorica non è esclusa. La prova scritta ha la durata di un'ora e si considera superata se si svolgono correttamente almeno un esercizio di Aritmetica Modulare e un esercizio di Algebra Lineare. Lo svolgimento della prova si considera eccellente se si svolgono correttamente tutti gli esercizi e in aggiunta si padroneggia in modo rigoroso il formalismo matematico. Durante la prova scritta è consentito l'uso di una calcolatrice. La prova è volta a verificare che si siano acquisiti i risultati di apprendimento attesi, quali la conoscenza e la comprensione della teoria e la capacità di applicarla ad esercizi.
The exam consists of a written test containing four exercises, two of which on Modular Arithmetic topics (e.g., Diophantine equations, residue classes, equations in Z_n) and two on Linear Algebra topics (e.g., vector spaces, matrices, linear transformations, eigenvalues, and diagonalization). In each written test, most of the topics contained in the course are covered. The presence of questions on the theoretical part is not excluded. The written test lasts one hour and is considered passed if at least one exercise of Modular Arithmetic and one of Linear Algebra are correctly carried out. The exam performance is considered excellent if all exercises are completed correctly and, in addition, mathematical formalism is rigorously mastered. During the written test, the use of a calculator is allowed. The exam is designed to verify the achievement of the expected learning outcomes, such as knowledge and understanding of the theory and the ability to apply it to exercises
Programma esteso/Content
Numeri interi. Divisibilità e numeri primi. Massimo comune divisore. Algoritmo di Euclide. Minimo comune multiplo. Equazioni diofantee. Congruenze e classi di resto. Criteri di divisibilità. Rappresentazione di numeri con base diversa da dieci. Teorema cinese del resto. Condivisione di segreti mediante sistemi di congruenze. Il teorema di Eulero. Il problema del logaritmo discreto. Il protocollo di Diffie-Hellman. Il protocollo RSA. Sistemi lineari. Metodo di Eliminazione di Gauss. Matrici, determinanti, rango, matrice inversa. Spazi vettoriali, basi, dipendenza lineare. Applicazioni lineari, prodotto scalare. Applicazioni ai sistemi lineari.
Integers. Divisibility and primes. Greatest common divisor. Euclid's algorithm. Least common multiple. Diophantine equations. Congruences and residue classes. Divisibility criteria. Representation of number in basis other than ten. Chinese remainder theorem. Sharing secrets by means of systems of congruences. Euler's theorem. The problem of the discrete logarithm. The Diffie-Hellman protocol. The RSA protocol. Linear systems. Gauss' elimination method. Matrices, determinants, rank, inverse matrix. Vector spaces, bases, linear dependence. Linear functions, scalar product. Applications to linear systems.
Risultati di apprendimento attesi/Intended learning objectives
Oltre al raggiungimento degli Obbiettivi Formativi (conoscenza e comprensione della teoria e capacità di applicarla allo svolgimento di esercizi), i risultati di apprendimento attesi includono: Autonomia di giudizio - Valutare e selezionare l'algoritmo o la tecnica risolutiva più appropriata ed efficiente per un dato problema, motivandone la scelta. - Verificare la coerenza logica dei procedimenti adottati e la correttezza dei risultati ottenuti attraverso verifiche a posteriori. Abilità comunicative - Esporre in modo chiaro e rigoroso i procedimenti adottati, utilizzando correttamente il linguaggio tecnico-matematico. Capacità di apprendimento - Sviluppare la capacità di collegare le nozioni astratte dell'algebra a contesti applicativi, acquisendo gli strumenti matematici necessari per affrontare con autonomia discipline scientifiche correlate.
In addition to achieving the Learning Objectives (knowledge and understanding of theory and the ability to apply it to problem-solving), the expected learning outcomes include: Making Judgements - Evaluate and select the most appropriate and efficient algorithm or resolution technique for a given problem, providing a clear justification for the choice. - Verify the logical consistency of the procedures adopted and the correctness of the results obtained through a posteriori checks (post-verification). Communication Skills -Present the adopted procedures in a clear and rigorous manner, using correct technical-mathematical language. Learning Skills - Develop the ability to link abstract algebraic concepts to applied contexts, acquiring the mathematical tools necessary to independently approach related scientific disciplines.
Show parent course details
×
Print
Course
MATEMATICA DISCRETA: LOGICA
Course ID
MF0206
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
LAGUZZI Giorgio
Teachers
CFU
3.0
Teaching duration (hours)
24.0
Individual study time
51.0
SSD
MAT/01 - LOGICA MATEMATICA
Course type
Modulo di sola Frequenza
Course mandatoriety
OBB
Course category
C
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
G
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Logica Proposizionale e relativo calcolo della Deduzione naturale. Introduzione alla Logica dei Predicati.
Propositional logic and relative calculation of the natural deduction. Introduction to the Logic of Predicates.
Testi di riferimento/Textbooks
"Logica a Informatica" di A. Asperti e A. Ciabattoni, Mc Grow Hill Education (1997) Disponibile in formato PDF
Propositional logic and relative calculation of the natural deduction. Introduction to the Logic of Predicates.
Obiettivi formativi/Mission
Introdurre le nozioni elementari di logica delle proposizioni e del primo ordine con particolare attenzione alla relazione fra verità e derivabilità ed alla rappresentabilità nel calcolo dei predicati.
Introduce the elementary notions of logic of propositions and of the first order with particular attention to the relationship between truth and derivability and to representability in the calculation of predicates.
Prerequisiti/Required background knowledge
Conoscenze acquisite nel corso di algebra e geometria.
Knowledge acquired in the course of algebra and geometry.
Metodi didattici/Teaching methods
Lezioni frontali che includono esercitazioni.
Knowledge acquired in the course of algebra and geometry.
Altre informazioni/Further information
Il voto del modulo di logica fa media pesata con il voto del modulo di algebra e geometria per ottenere il voto finale di Matematica discreta.
The grade of the logic module is a weighted average with the grade of the algebra and geometry module to obtain the final grade of discrete mathematics.
Modalità di verifica dell'apprendimento/Assessment methods
La verifica finale consiste in una prova scritta della durata di mezz'ora e in una prova orale facoltativa.
The final exam consists of a written test lasting half an hour and an optional oral test.
Programma esteso/Content
Logica Proposizionale: • Sintassi. • Semantica: interpretazione, definizioni di soddisfacibile, contraddittorio, tautologia, conseguenza semantica e risultati connessi, equivalenza semantica, completezza funzionale e forma normali. • Deduzione naturale: regole e dimostrazioni, correttezza, enunciato di completezza. Logica dei Predicati: • Sintassi: variabili libere e legate, sostituzione. • Semantica: Interpretazione, definizioni di soddisfacibile, contraddittorio, tautologia, conseguenza semantica e risultati connessi.
Propositional Logic: • Syntax. • Semantics: interpretation, definitions of satisfiable, contradictory, tautology, semantic consequence and related results, semantic equivalence, functional completeness and normal form. • Natural deduction: rules and proofs, correctness, completeness statement. Logic of Predicates: • Syntax: free and bound variables, substitution. • Semantics: Interpretation, definitions of satisfiable, contradictory, tautology, semantic consequence and related results.
Risultati di apprendimento attesi/Intended learning objectives
Le competenze da verificare, e necessarie per il superamento del corso consistono nella comprensione dei concetti di base della logica proposizionale (sia per quanto riguarda la semantica sia per quanto riguarda i metodi di prova) e della logica dei predicati.
The skills to be tested, and necessary for passing the course, consist in the understanding of the basic concepts of propositional logic (both as regards semantics and as regards test methods) and predicate logic.
×
Print
Course
TECNICHE DI COMUNICAZIONE E SCRITTURA
Course ID
MF0396
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
DEMARTINI SILVIA
Teachers
CFU
3.0
Teaching duration (hours)
24.0
Individual study time
51.0
SSD
L-FIL-LET/12 - LINGUISTICA ITALIANA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
C
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Il corso punta a fornire una buona conoscenza delle principali tecniche di comunicazione e di scrittura, tenendo in particolare considerazione il tipo di formazione scientifica degli studenti e le loro più frequenti occasioni di scrittura in campo accademico e professionale. Per questo, sono esaminati i principali modelli della comunicazione, compresi i principi e le massime del comunicare. Inoltre, sono precisate le fasi della scrittura ed è approfondita la strutturazione del testo in capoversi e paragrafi. Il corso include anche una descrizione delle principali caratteristiche della lingua italiana, e un esame dei più ricorrenti errori di grammatica e scrittura; questi saranno rilevati e monitorati attraverso diverse modalità durante gli incontri, al fine di promuoverne un recupero consapevole e autonomo da parte degli studenti.
The course aims to provide a good knowledge of the main communication and writing techniques, taking into particular consideration the type of scientific training of the students and their more frequent academic and professional writing opportunities. For this, the main models of communication are examined, including the principles and maxims of communicating. In addition, the phases of writing are specified and the structuring of the text into paragraphs and paragraphs is deepened. The course also includes a description of the main characteristics of the Italian language, and an examination of the most common grammar and writing errors; these will be detected and monitored in different ways during the meetings, in order to promote a conscious and autonomous re-use by the students.
Testi di riferimento/Textbooks
Testo di riferimento: Dario Corno, Scrivere e comunicare. La scrittura in lingua italiana in teoria e in pratica. Pearson (ed. digitale: https://he.pearson.it/catalogo/4306). Ulteriori riferimenti: Luca Cignetti, Simone Fornara, Il piacere di scrivere. Guida all’italiano del Terzo millennio. Roma: Carocci, 2014. Luca Cignetti, Silvia Demartini, L’ortografia. Roma: Carocci, 2016. Giuseppe Patota, L’italiano dalla A alla X. Prontuario di grammatica. Roma-Bari: Laterza, 2013.
Testo di riferimento: Dario Corno, Scrivere e comunicare. La scrittura in lingua italiana in teoria e in pratica. Pearson (ed. digitale: https://he.pearson.it/catalogo/4306). Ulteriori riferimenti: Luca Cignetti, Simone Fornara, Il piacere di scrivere. Guida all’italiano del Terzo millennio. Roma: Carocci, 2014. Luca Cignetti, Silvia Demartini, L’ortografia. Roma: Carocci, 2016. Giuseppe Patota, L’italiano dalla A alla X. Prontuario di grammatica. Roma-Bari: Laterza, 2013.
Obiettivi formativi/Mission
Alla fine del corso, ci si aspetta che gli studenti inizino a cogliere l’importanza di una comunicazione corretta, chiara e funzionale come aspetto imprescindibile della loro formazione scientifica e della loro professione futura. Inoltre, dovranno saper applicare alla redazione di un testo le indicazioni fornite ed esercitate durante il corso, in modo adeguato alle diverse tipologie e generi testuali (con attenzione particolare al saggio scientifico). Infine, dovranno aver in gran parte colmato le lacune grammaticali di base e, soprattutto, dovranno aver accresciuto la loro sensibilità a cogliere e a risolvere le proprie difficoltà linguistico-comunicative.
At the end of the course, students are expected to begin to grasp the importance of correct, clear and functional communication as an essential aspect of their scientific training and their future profession. Furthermore, they will have to know how to apply the indications provided and exercised during the course to the drafting of a text, in an appropriate way for the different text types and genres (with particular attention to the scientific essay). Finally, they must have largely filled the basic grammatical gaps and, above all, they must have increased their sensitivity to check and solve their linguistic-communicative difficulties.
Prerequisiti/Required background knowledge
Nessuno
No background knowledge is required
Metodi didattici/Teaching methods
Lezioni frontali Laboratori di scrittura Apprendimento cooperativo
Frontal lessons Writing workshops Cooperative learning
Altre informazioni/Further information
Il corso è aperto agli studenti e alle studentesse che non hanno l'italiano come madrelingua
Students that are learning Italian as a L2 o LS are welcome
Modalità di verifica dell'apprendimento/Assessment methods
Esercitazioni in itinere Esame scritto
Writing exercices Final written exam
Programma esteso/Content
• La comunicazione (segni, codici) • Prova formativa d'entrata (2 ore) • Restituzione prova d'entrata • Segni e linguaggi, significato e significante, langue e parole, registri linguistici • Spiegazione esercitazione sulla scrittura di una mail • Registri linguistici e Modello di Jakobson (della comunicazione). Ideazione di uno slogan per l’UPO (esercitazione orale). • Il parlato in pubblico: tratti del parlato; la presentazione; il dibattito. • Esercitazione orale a gruppi: presentare e dibattere su un argomento • che si presta alla documentazione e alla discussione. • Il processo di scrittura e le sue fasi (focus su destinatari, pianificazione, fonti) • Consigli pratici di scrittura • La citazione delle fonti • Quiz su aspetti grammaticali • Cenni di storia della scrittura e dell'italiano (breve focus su scrittura scientifica) • Un'ora di esercitazione e cenni al CV
• Communication (signs, codes) • Entry exam (2 hours) • Return proof of entry • Signs and languages, meaning and signifier, langue and parole, linguistic registers • Explanation of the tutorial on writing an email • Linguistic registers and the Jakobson model (of communication). Creation of a slogan for the UPO (oral exercise). • Public speaking: speech traits; the presentation; the debate. • Oral exercise in groups: presenting and discussing a topic • which lends itself to documentation and discussion. • The writing process and its phases (focus on recipients, planning, sources) • Practical writing tips • The citation of sources • Quiz on grammar aspects • Notes on the history of writing and Italian (short focus on scientific writing) • One hour of practice and references to the CV
Risultati di apprendimento attesi/Intended learning objectives
- Padroneggiare le basi della scrittura funzionale, accademica e professionale; - colmare le lacune grammaticali; - acquisire conoscenze di base sui processi comunicativi orali e scritti; - acquisire competenza di scrittura idonea al percorso accademico.
- Magaging the basics of functional, academic and professional writing; - filling in grammatical gaps; - acquiring basic knowledge on oral and written communication processes; - acquiring writing skills suitable for the academic path.
×
Print
Course
FISICA
Course ID
MF0203
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
ASCHIERI Paolo Maria
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
FIS/01 - FISICA SPERIMENTALE
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
C
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
italiano
italian
Contenuti/Content Summary
Concetti fondamentali della Fisica classica: Meccanica, Calorimetria e Termodinamica, Elettricità e Magnetismo.
Fundamental concepts of Classical Physics: Mechanics, Calorimetry and Thermodynamics, Electricity and Magnetism.
Testi di riferimento/Textbooks
A.Giambattista, B.McCarthy, R.Richardson, Fisica generale, McGraw Hill D.C.Giancoli, Fisica, Casa Editrice Ambrosiana D.Halliday, R.Resnick, J.Walker, Fondamenti di Fisica, Casa Editrice Ambrosiana J.W.Jewett, R.A.Serway, Principi di Fisica, EdiSES
A.Giambattista, B.McCarthy, R.Richardson, Fisica generale, McGraw Hill D.C.Giancoli, Fisica, Casa Editrice Ambrosiana D.Halliday, R.Resnick, J.Walker, Fondamenti di Fisica, Casa Editrice Ambrosiana J.W.Jewett, R.A.Serway, Principi di Fisica, EdiSES
Obiettivi formativi/Mission
Fornire agli Studenti una conoscenza del metodo di indagine in Fisica e dei fondamenti della Fisica Classica. Modellizzare semplici sistemi e spiegare alcuni fenomeni dell'esperienza ordinaria.
To give the Students a knowledge of the research methods in Physics and of the fundamental concepts in Classical Physics. Modelling simple systems and understanding some phenomena of ordinary experience,
Prerequisiti/Required background knowledge
Analisi Matematica 1
Calculus 1
Metodi didattici/Teaching methods
Lezioni frontali sulla parte teorica ed esercizi numerici. Gli Studenti possono trovare sulla piattaforma DIR molti esercizi messi a disposizione dal Docente al fine di migliorare la preparazione all'esame.
Frontal lectures on the theoretical part and numerical exercises. On the DIR web site Students can find many exercises made available for improve their competence for the exam.
Altre informazioni/Further information
Sulla pagina DIR del Corso sono messe a disposizione delle dispense come guida allo studio, e una raccolta di esercizi, divisi per argomento, per una migliore preparazione all'esame. Le dispense non possono essere considerate sostitutive di un libro di testo. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati, rivolgendosi allo "Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti" e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa. Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
On the DIR web page of the Course some notes are available as a guide for studying, along with a collection of exercises, divided by argument, for a better preparation to the exam. The notes cannot be considered a replacement of a good textbook. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the "Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti", consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities. Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
Prova scritta con quiz a risposta multipla e domande aperte, consistenti in esercizi numerici e domande di teoria. E' possibile utilizzare un formulario privo di testo e una calcolatrice non programmabile. Ad ogni domanda è assegnato un punteggio proporzionale alla difficoltà. Per il superamento dell'esame scritto è necessario raggiungere un punteggio minimo di 18/30. A richiesta, eventuale prova orale integrativa per migliorare il voto.
Written exam with multiple choice tests and open questions, consisting in numerical exercises and theoretical questions. Students can use a formulary without text and a non-programmable calculator. A score is associated to each question, proportional to its complexity. To pass the written test a minimum total score of 18/30 is required. On demand, possible supplementary oral exam to improve the grade.
Programma esteso/Content
Richiami di matematica di base. Grandezze fisiche e unità di misura. Cinematica del punto materiale. Forze e principi della Dinamica. Lavoro ed energia. Forza gravitazionale. Elementi di meccanica dei fluidi. Temperatura, calore e principi della Termodinamica. Carica elettrica, campo elettrico, conduttori e isolanti, moto di cariche in campo elettrico. Potenziale elettrico, capacità elettrica. Corrente elettrica, effetto Joule, resistenze. Campo magnetico, effetti magnetici di una corrente, induzione magnetica. Elementi di meccanica delle onde.
Recall of basic Mathematics. Physical quantities and unit measures. Kinematics of a material point. Forces and the Principles of Dynamics. Work and energy. The gravitational force. Elements of Mechanics of fluids. Temperature, heat and the Principles of Thermodynamics. Electric charge, electric field, conductors and insulations, motion of charges in an electric field. Electric potential and capacity. Electric current, Joule effect resistance. The magnetic field, magnetic effects of currents, induction. Elements of Mechanics of waves.
Risultati di apprendimento attesi/Intended learning objectives
Conoscenza delle basi della Fisica classica. Capacità di comprendere e risolvere semplici problemi di Fisica utilizzando le conoscenze apprese a Lezione.
Knowledge of the basis of classical Physics. Ability to understand and solve simple Physics problems using the notions learnt during Lessons.
×
Print
Course
ARCHITETTURA DEGLI ELABORATORI 1
Course ID
MF0791
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teachers
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
INF/01 - INFORMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
A
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Il corso fornisce le basi per comprendere l'architettura dei calcolatori moderni e come questa possa influenzare le prestazioni del software. Viene analizzata l'impressionante crescita delle prestazioni e la contemporanea riduzione dei costi dei computer, offrendo anche una breve prospettiva storica di questa evoluzione. Durante il corso, si affrontano concetti chiave come i vari livelli di astrazione utilizzati per analizzare un calcolatore, i compromessi che guidano la scelta delle istruzioni elementari di un processore e l'importanza fondamentale dell'esecuzione parallela a diversi livelli per migliorare le performance. Si comprende anche il ruolo all’interno di un sistema delle memorie, che variano per dimensione, velocità e costo. Si approfondisce poi la codifica binaria di numeri interi e in virgola mobile e le relative operazioni aritmetiche. Si introducono l'algebra di Boole, le porte logiche e i circuiti logici sia combinatori che sequenziali. Infine, il corso mostra come, assemblando questi circuiti, sia possibile creare parte del cammino dei dati di un moderno processore, prendendo come riferimento l'architettura open source RISC-V. L'architettura completa del RISC-V è trattata in un corso successivo.
The course provides the foundation for understanding the architecture of modern computers and how it can influence software performance. It analyzes the impressive growth in performance and the simultaneous reduction in computer costs, also offering a brief historical perspective of this evolution. During the course, key concepts are addressed, such as the various levels of abstraction used to analyze a computer, the trade-offs that guide the choice of a processor's elementary instructions, and the fundamental importance of parallel execution at various levels to improve performance. The role of memories—which vary in size, speed, and cost—within a system is also covered. The course then introduces the binary encoding of integers and floating-point numbers and their respective arithmetic operations. Boolean algebra, logic gates, and both combinational and sequential logic circuits are introduced. Finally, the course demonstrates how, by assembling these circuits, it is possible to create part of the data path of a modern processor, taking the open-source RISC-V architecture as a reference. The complete RISC-V architecture is covered in a subsequent course.
Testi di riferimento/Textbooks
D.A. Patterson, J.L. Hennessy. Struttura e Progetto dei Calcolatori. Progettare con RISC-V. Seconda Edizione Italiana. Zanichelli 2023
D.A. Patterson, J.L. Hennessy. Struttura e Progetto dei Calcolatori. Progettare con RISC-V. Seconda Edizione Italiana. Zanichelli 2023
Obiettivi formativi/Mission
In questo corso saranno introdotti i principi base che guidano il progetto dei calcolatori: definire diversi livelli di astrazione, progettare in funzione delle prestazioni, per esempio sfruttando il parallelismo e organizzando in modo efficiente le memorie. Saranno analizzate le differenze tra i linguaggi di programmazione di alto livello, e i linguaggi di basso livello (assembler e linguaggio macchina), la motivazione per cui sono richiesti entrambi i livelli, e i metodi per passare dal primo tipo di linguaggi al secondo. Saranno richiamate le principali tappe nella storia dei calcolatori da metà del ‘900 ad oggi (introducendo l’architettura di Von Neumann), osservando come lo sviluppo della tecnologia ha influito su dimensioni, costi, velocità ed affidabilità dei calcolatori. Si definiranno gli elementi di base della rappresentazione digitale dei dati, e successivamente saranno illustrate in modo formale e tramite esempi la rappresentazione digitale di numeri, con e senza segno, interi e frazionari (questi ultimi in virgola fissa e in virgola mobile) e del testo. Saranno forniti gli algoritmi per la codifica e decodifica dei dati dei diversi tipi. Un altro obiettivo è mostrare come utilizzando l’algebra di Boole si possano definire (in forma di espressioni algebriche) le funzioni di base che svolgono il processore o altri componenti del sistema. Sarà poi spiegato il legame tra operatori booleani e porte logiche, tra espressioni booleane e circuiti logici combinatori, anche tramite l’applicazione in esercizi. Successivamente saranno illustrati alcuni semplici circuiti sequenziali (con memoria) mostrando prima le componenti elementari e poi la loro combinazione per ottenere registri o memorie. Una volta appresi i circuiti base si svilupperanno alcuni esempi semplificati di circuiti più articolati che realizzano il cammino dei dati (data path) di un processore, in grado di eseguire alcuni tipi di istruzioni (principalmente aritmetico-logiche) sotto il controllo di opportuni segnali. Questo porrà le basi per introdurre parte della struttura del processore RISC-V che sarà approfondita in un corso successivo. Verranno poi introdotti vari tipi di memoria, ed inseriti in diverse categorie, con diverse caratteristiche di costo, velocità, dimensione, e si evidenzierà il ruolo di ciascuna di esse nell’architettura di un calcolatore, considerando anche gli aspetti legati alle prestazioni.
In this course, the basic principles guiding computer design will be introduced: defining different levels of abstraction, designing with a focus on performance, for example by exploiting parallelism and efficiently organizing memories. The differences between high-level programming languages and low-level languages (assembler and machine language) will be analyzed, along with the motivation for requiring both levels, and the methods for transitioning from the first type of language to the second. The main stages in the history of computers from the mid-20th century to today will be reviewed (introducing the Von Neumann architecture), observing how the development of technology has affected the size, cost, speed, and reliability of computers. The basic elements of digital data representation will be defined, and subsequently, the digital representation of numbers (signed and unsigned, integer and fractional—the latter using fixed-point and floating-point), and of text will be formally illustrated and explained with examples. Algorithms for encoding and decoding the different types of data will be provided. Another objective is to show how Boolean algebra can be used to define (in the form of algebraic expressions) the basic functions performed by the processor or other system components. We'll then explain the connection between Boolean operators and logic gates, and between Boolean expressions and combinational logic circuits, also applying the definitions to exercises. Following this, some simple sequential circuits (with memory) will be illustrated, showing first the elementary components and then their combination to create registers or memories. Once the basic circuits are learned, we will develop some simplified examples of more involved circuits that implement the data path of a processor. These circuits will be capable of executing certain types of instructions (mainly arithmetic-logic) under the control of appropriate signals. This will lay the basis for introducing part of the RISC-V processor structure, which will be explored in depth in a subsequent course. Various types of memory will then be introduced and placed into different categories, each having distinct characteristics in terms of cost, speed, and size. The role of each memory type within a computer's architecture will be highlighted, also considering aspects related to performance.
Prerequisiti/Required background knowledge
Nessuno
None
Metodi didattici/Teaching methods
Gli argomenti trattati nel corso sono esposti prevalentemente tramite lezioni frontali. Durante le lezioni viene usato uno strumento (Wooclap) che permette di interagire con gli studenti tramite quiz anonimi e interattivi accessibili tramite smartphone. In questo modo è possibile stimolare la riflessione e rilevare eventuali criticità nel processo di apprendimento. Per ogni argomento trattato vengono proposti esercizi o quiz formativi. Vengono inoltre proposti incontri a piccoli gruppi alla presenza di un tutor, per svolgere e discutere esercizi (simili a quelli proposti nelle prove scritte).
The topics of the course are mainly presented through class lectures. During the lectures an interactive tool (Wooclap) is used to get a feedback from the students through anonymous quizzes that can be answered using the smartphone. This way the students are stimulated to reflect; moreover this activity allows an early detection of the possible critical aspects in the learning process. After presenting each topic the students are challenged with exercises and formative quizzes. Tutored meetings in small groups are proposed, to develop and discuss exercises (similar to those included in the written exam).
Altre informazioni/Further information
Sulla piattaforma DIR sono disponibili: la copia elettronica delle slide utilizzate a lezione, esempi di testi d’esame, quiz di autovalutazione, informazioni generali sul corso e avvisi relativi allo svolgimento del corso e sugli esami. Tramite un forum specifico sul DIR vengono pubblicate informazioni generali sul corso, avvisi relativi allo svolgimento del corso e informazioni riguardanti gli esami. Inoltre sono attivi forum dove gli studenti possono porre domande sugli argomenti del corso e sugli esercizi proposti, e rispondere a domande pubblicate da altri partecipanti. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti- disabili-e-dsa. Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell’insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
It is possible to download electronic copy of all slides of the lectures, perform self-assessment tests, read general information on the course and news about the lectures and the exam organization on the e-learning platform DIR . General information on the organization of the course and of the exams are published through a forum. Specific forums can be used by students to ask questions on course topics or exercises, or to provide answers posted by other students. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti, consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the teacher in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
L’esame di norma è scritto ma è possibile richiedere l’orale; inoltre una integrazione orale può essere proposta (dopo lo scritto) dalla docente quando sia necessario chiarire qualche punto oscuro dello scritto. Possono essere proposte prove in itinere (come supporto al superamento dell’esame finale) che possono anche assumere la forma di esercizi da svolgere in laboratorio. La prova comprende da quattro a sei domande che possono essere articolate in sottopunti e comprendono anche esercizi di applicazione delle nozioni apprese ad esempi concreti. La prova è superata se si raggiunge un punteggio di almeno il 60% dei punti totalizzabili sull’insieme di domande.
The examination consists of a written test, however it is possible to ask for an oral exam. Moreover an oral integration may be required (by the teacher) to clarify some unclear parts of the answers in the written test. Intermediate tests may be organized (as a facilitation to pass the exam right after the end of the course) that may be in the form of lab exercises. The test includes four to six questions each of which possibly structured into several points. The questions may also take the form of an exercise testing the ability to apply the learned concepts to practical examples. The threshold to pass the exam is the 60% of the global sum of points assigned to the questions.
Programma esteso/Content
Gli argomenti trattati nel corso sono principalmente tratti dal libro di testo (specifiche sezioni dei primi 4 capitoli e una appendice). Per alcuni argomenti sono forniti materiali aggiuntivi di aiuto allo studio. 1) Architettura degli elaboratori e principi di progettazione Tipi di calcolatori e loro caratteristiche. Principi di progettazione delle architetture degli elaboratori: Utilizzo delle astrazioni per semplificare il progetto; Rendere veloci le operazioni più frequenti; Migliorare le prestazioni tramite il parallelismo, la pipeline e la predizione; sfruttare la gerarchia delle memorie. Dai linguaggi di alto livello al linguaggio macchina. Principali componenti di un calcolatore e in particolare del processore. Influenza dello sviluppo tecnologico sulle caratteristiche dei calcolatori elettronici. Cenni sull’evoluzione storica dei calcolatori. La macchina di von Neumann e i calcolatori moderni. Definizione e misura degli indici di prestazione dei processori. [Rappresentazione digitale dei dati] Rappresentazione digitale dei dati: bit, byte e multipli. Rappresentazione di interi con e senza segno e operazioni aritmetiche sui numeri binari. Rappresentazione del testo: codici ASCII e Unicode. Numeri in virgola mobile: lo standard IEEE 754. 2) Circuiti logici e Implementazione di un processore Algebra di Boole: variabili booleane, funzioni booleane di più variabili, espressioni booleane e principali leggi dell’algebra booleana. Le porte logiche. Dalle espressioni booleane ai circuiti logici combinatori. Alcuni circuiti combinatori utili per realizzare una Unità Aritmetico Logica (ALU). Latch e Flip Flop: i circuiti sequenziali e le memorie. Uno schema semplice di implementazione di un primo processore ispirato al RISC-V. 3) La Gerarchia delle Memorie La gerarchia delle memorie: le memorie volatili (Registri, Cache, RAM) e non volatili (dischi magnetici e SSD, dischi ottici). Velocità, dimensioni e costo delle memorie.
The topics covered in the course are primarily selected from the textbook (specific sections of the first four chapters and one appendix). Additional study materials are provided for some topics. 1) Computer Architecture and Design Principles Types of computers and their characteristics. Design principles of computer architectures: Using abstractions to simplify the design; Making the most frequent operations fast; Improving performance through parallelism, pipelining, and prediction; Exploiting the memory hierarchy. From high-level languages to machine language. Main components of a computer, particularly the processor. Influence of technological development on the characteristics of electronic computers. Notes on the historical evolution of computers. The Von Neumann machine and modern computers. Definition and measurement of processor performance indices. [Digital Data Representation] Digital data representation: bit, byte, and multiples. Representation of signed and unsigned integers and arithmetic operations on binary numbers. Text representation: ASCII and Unicode codes. Floating-point numbers: The IEEE 754 standard. 2) Logic Circuits and Processor Implementation Boolean Algebra: Boolean variables, Boolean functions of multiple variables, Boolean expressions, and the main laws of Boolean algebra. Logic gates. From Boolean expressions to combinational logic circuits. Some useful combinational circuits for implementing an Arithmetic Logic Unit (ALU). Latch and Flip Flop: sequential circuits and memories. A simple implementation scheme for a first processor inspired by RISC-V. 3) Memory Hierarchy The memory hierarchy: volatile memories (Registers, Cache, RAM) and non-volatile memories (magnetic disks, SSDs, optical disks). Speed, capacity and cost of memories.
Risultati di apprendimento attesi/Intended learning objectives
Al termine del corso si sarà in grado di: Descrivere le caratteristiche dei principali tipi di calcolatori. Descrivere i principi ricorrenti nel progetto dei calcolatori: astrazioni; migliorare le prestazioni ottimizzando le situazioni più frequenti, sfruttando il parallelismo, eseguendo le operazioni in pipeline, anticipando le operazioni attraverso predizioni; impatto delle memorie nelle prestazioni di un calcolatore; come rendere più affidabili i sistemi attraverso la ridondanza. Comprendere le caratteristiche dei linguaggi di programmazione a diversi livelli e come avviene la traduzione da linguaggi di alto livello al linguaggio macchina (con interpreti e compilatori). Spiegare come l’evoluzione tecnologica ha influito su dimensione, costo e prestazioni dei calcolatori, determinando anche la diffusione capillare dei calcolatori. Definire come si possono misurare le prestazioni dei calcolatori. Elencare le principali tappe nella storia dei calcolatori, dalla metà del ‘900 ad oggi. Comprendere le basi della rappresentazione digitale dei dati (in particolare dei numeri interi con e senza segno, frazionari con virgola fissa o mobile, del testo secondo i principali standard). Definizione di bit, byte, e dei multipli (Kilo, Mega, Giga, Tera). Descrivere le caratteristiche della notazione posizionale per la rappresentazione dei numeri interi (senza segno), saper applicare la definizione con diverse basi (in particolare per le basi 10, 2, 8 e 16). Ricordare gli algoritmi di conversione dei numeri tra basi e saperli applicare. Definire la rappresentazione in modulo e segno e in complemento a due dei numeri interi con segno. Definire la rappresentazione dei numeri frazionari in virgola mobile secondo lo standard IEEE 754. Eseguire operazioni aritmetiche su numeri binari. Comprendere ed esemplificare le conseguenze della rappresentazione dei dati su un numero finito di bit: overflow e underflow. Descrivere gli standard ASCII (base ed esteso) e Unicode di codifica del testo, e i metodi di rappresentazione dei codepoint Unicode (UCS-2, UTF-8, UTF-16). Applicare le diverse codifiche a brevi testi in varie lingue eseguendo esercizi di codifica e di decodifica. Spiegare i metodi Little Endiand e Big Endian di memorizzazione di dati codificati su più byte. Definire l’Algebra di Boole: variabili, operatori, espressioni booleane, enunciare le principali leggi dell’algebra. Eseguire esercizi di semplificazione di espressioni booleane applicando tali leggi. Descrivere funzioni booleane di n variabili attraverso tavole di verità ed espressioni booleane; applicare i metodi di derivazione delle espressioni booleane in forma normale somma di prodotto o prodotto di somme dalla tavola di verità. Definire insiemi minimi di operatori necessari per descrivere una qualsiasi funzione booleana: dimostrare che ciascuno di tali insiemi minimi permettono di realizzare circuiti equivalenti a tutti gli altri operatori. Definizione delle porte logiche che realizzano gli operatori booleani. Saper ricavare da una espressione booleana il corrispondente circuito logico combinatorio e viceversa. Descrivere alcuni circuiti combinatori base per l’implementazione di CPU: multiplexer, decoder, sommatori, ALU. Descrivere i circuiti con memoria: latch, flip flop; spiegare il loro funzionamento (diretto da un clock) e descrivere come combinarli per ottenere registri o memorie. Descrivere come collegando circuiti combinatori base e impostando opportuni segnali di controllo in modo coordinato, si possa ottenere un primo prototipi di “cammino dei dati” (data path) capace di eseguire alcune istruzioni fondamentali appartenenti al linguaggio macchina. Descrivere i diversi livelli della “gerarchia delle memorie”, spiegando le caratteristiche dei diversi tipi di memorie (velocità, capacità, volatilità). Descrivere alcune tecnologie utilizzate per implementare memorie ai diversi livelli della gerarchia.
Taking part in this course will enable the participants to: Describe the characteristics of the main types of computers. Describe the underlying principles in computer design: abstractions; achieving better performance by optimizing frequent cases, exploiting parallelism, executing operations in a pipeline, anticipating operations through predictions; the impact of memories on computer performance; and how to make systems more reliable through redundancy. Understand the characteristics of programming languages at different levels and explain how to translate from high-level languages to machine language (through interpreters and compilers). Explain how technological evolution has influenced the size, cost, and performance of computers, also leading to their widespread diffusion. Define how computer performance can be measured. List the main stages in the history of computers, from the mid-20th century to today. Understand the basics of digital data representation (in particular, signed and unsigned integers, fixed- and floating-point fractions, and text according to main standards). Define bit, byte, and their multiples (Kilo, Mega, Giga, Tera). Describe the characteristics of positional notation for the representation of integers (unsigned), and be able to apply the definition with different bases (especially for bases 10, 2, 8, and 16). Recall and apply the algorithms for number conversion between bases. Define the sign-magnitude and two's complement representations for signed integers. Define the representation of fractional numbers in floating-point according to the IEEE 754 standard. Perform arithmetic operations on binary numbers. Understand and exemplify the consequences of data representation on a finite number of bits: overflow and underflow. Describe the ASCII (base and extended) and Unicode standards for text encoding, and the methods for representing Unicode codepoints (UCS-2, UTF-8, UTF-16). Apply the different encodings to short texts in various languages by performing encoding and decoding exercises. Explain the two methods for storing multi-byte encoded data: Little Endian and Big Endian. Define Boolean Algebra: variables, operators, Boolean expressions, and state the main the laws of algebra. Perform simplification exercises to Boolean expressions by applying these laws. Describe Boolean functions of n variables through truth tables and Boolean expressions; apply methods for deriving Boolean expressions in Sum-of-Products or Product-of-Sums canonical form from the truth table. Define minimal sets of operators necessary to describe any Boolean function; demonstrate that each of these minimal sets allows for the creation of circuits equivalent to all other operators. Define the logic gates that implement Boolean operators. Derive the combinational logic circuit implementing a Boolean expression and vice versa. Describe some basic combinational circuits for CPU implementation: multiplexer, decoder, adders, ALU (Arithmetic Logic Unit). Describe circuits with memory: latch, flip-flop; explain their operation (driven by a clock) and describe how to combine them to obtain registers or memories. Describe how, by connecting basic combinational circuits and setting appropriate control signals in a coordinated manner, a first prototype of a "data path" capable of executing some fundamental instructions belonging to machine language can be obtained. Describe the different levels of the "memory hierarchy," explaining the characteristics of the different types of memory (speed, capacity, volatility). Describe some technologies used to implement memories at different levels of the hierarchy.
×
Print
Course
ARCHITETTURA DEGLI ELABORATORI 2
Course ID
MF0792
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
LAI MIRKO
Teachers
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
INF/01 - INFORMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
A
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Approfondimento dell’architettura di un moderno sistema di elaborazione attraverso lo studio dell’Instruction Set Architecture (ISA) RISC-V. Il corso analizza nel dettaglio il linguaggio macchina RISC-V, soffermandosi su tipi di istruzioni, formati, modalità di indirizzamento e chiamate a procedura. Successivamente, si introducono tecniche avanzate di ottimizzazione delle prestazioni dei processori, quali la predizione dei salti, l’esecuzione fuori ordine e l’esecuzione speculativa, con particolare attenzione alla loro integrazione nella pipeline. Infine, viene presentato il funzionamento delle memorie cache.
In-depth study of the architecture of a modern computing system through the analysis of the RISC-V Instruction Set Architecture (ISA). The course explores the RISC-V machine language in detail, focusing on instruction types, formats, addressing modes, and procedure calls. Subsequently, it introduces advanced performance optimization techniques in processors, including branch prediction, out-of-order execution, and speculative execution, with specific attention to their integration into the pipeline. Finally, the course presents cache memory.
Testi di riferimento/Textbooks
David A. Patterson, John L. Hennessy: Struttura e progetto dei calcolatori RISC-V, Seconda Edizione, Pearson, 2022.
David A. Patterson, John L. Hennessy: Computer Organization and Design – RISC-V Edition, Second Edition, Morgan Kaufmann / Elsevier, 2020.
Obiettivi formativi/Mission
Scopo del modulo è quello di acquisire conoscenze approfondite sul linguaggio macchina RISC-V, comprendendone struttura, tipi di istruzioni, modalità di indirizzamento e meccanismi per le chiamate a procedura. Un secondo obiettivo è l’analisi delle principali tecniche di ottimizzazione delle prestazioni nei processori, tra cui predizione dei salti, esecuzione speculativa ed esecuzione fuori ordine, inquadrate nel contesto dell’architettura a pipeline. Il modulo si propone, inoltre, di introdurre i meccanismi di funzionamento della cache.
The goal of this module is to acquire a solid understanding of the RISC-V machine language, including instruction types, formats, addressing modes, and procedure call mechanisms. A second objective is to analyze major processor performance optimization techniques, such as branch prediction, speculative execution, and out-of-order execution, in the context of pipeline architectures. The module also introduces cache memory.
Prerequisiti/Required background knowledge
Conoscenza dei concetti studiati nel primo modulo del corso.
Knowledge of the concepts studied in module 1.
Metodi didattici/Teaching methods
Gli argomenti trattati nel corso sono esposti prevalentemente tramite lezioni frontali. Alcuni concetti (come la codifica delle istruzioni RISC-V, le dipendenze nella pipeline) sono approfonditi tramite esercitazioni guidate. Durante il corso sono proposti esercizi da svolgere in autonomia per verificare il proprio livello di apprendimento e stimolare un approccio critico. Il corso è integrato da un tutoraggio in cui saranno sviluppate alcune esercitazioni di gruppo.
The topics covered in the course are mainly presented through lectures. Some concepts (e.g., instruction encoding in RISC-V, pipeline dependencies) are further explored through guided exercises. Throughout the course, exercises will be assigned for individual work to test learning progress and stimulate critical thinking. Group tutorials will complement the lectures with collaborative exercises.
Altre informazioni/Further information
Sulla piattaforma DIR sono disponibili: la copia elettronica delle slide utilizzate a lezione, esercizi di esempio su ISA RISC-V e pipeline, informazioni generali sul corso ed avvisi relativi allo svolgimento del corso e sugli esami. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati, rivolgendosi allo "Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti" e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa. Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
On the DIR platform are available: electronic copies of lecture slides, a selection of sample exam questions, RISC-V ISA and pipeline-related exercises, general information about the course, and announcements concerning the course and examinations. Students with disabilities, Learning Disabilities (LD), or Special Educational Needs (SEN) may request specific services and tools by contacting the "Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti" and by consulting the dedicated page on the university website: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities. Once they have contacted the University Staff, students may also get in touch with the course instructor to define examination accommodations concerning academic matters.
Modalità di verifica dell'apprendimento/Assessment methods
La verifica dell’apprendimento è svolta in forma scritta. Il compito include un numero variabile di domande che possono essere strutturate in più punti. Le domande possono anche assumere la forma di esercizi per valutare la capacità di applicare ad esempi pratici i concetti teorici appresi nel corso. Ad ogni domanda è assegnato un voto massimo (in genere da 3 a 5). La valutazione tiene conto della correttezza della risposta e del livello di completezza. La sufficienza si ottiene se si dimostra di avere appreso e di sapere applicare gli elementi chiave indirizzati dalla domanda. Il voto complessivo per la valutazione dell’apprendimento degli argomenti di questo modulo è la somma dei voti ottenuti in ogni domanda.
The assessment is carried out through a written exam. The test includes some questions, each of which may be structured into multiple parts. The questions may also include exercises aimed at evaluating the ability to apply theoretical concepts to practical cases. Each question is assigned a maximum score (typically from 3 to 5 points). Evaluation takes into account both correctness and completeness. A passing grade is achieved by demonstrating understanding and correct application of the core concepts addressed in each question. The final grade is the sum of the scores obtained in all questions.
Programma esteso/Content
Studio dell’Instruction Set Architecture (ISA) RISC-V: tipi di istruzioni, formato delle istruzioni, modalità di indirizzamento, chiamate a procedura. Analisi delle tecniche di ottimizzazione delle prestazioni nei processori: predizione dei salti, esecuzione fuori ordine, esecuzione speculativa. Studio del funzionamento della pipeline in presenza di queste tecniche. Tipi di cache e meccanismi di funzionamento delle memoria cache.
Study of the RISC-V Instruction Set Architecture (ISA): instruction types, instruction formats, addressing modes, procedure calls. Analysis of processor performance optimization techniques: branch prediction, out-of-order execution, speculative execution. Study of how these techniques are integrated into the pipeline. Introduction to cache memory.
Risultati di apprendimento attesi/Intended learning objectives
Sapere descrivere le caratteristiche del linguaggio macchina RISC-V, con particolare attenzione a tipi e formato delle istruzioni e modalità d’indirizzamento. Sapere spiegare il funzionamento delle chiamate a procedura in RISC-V. Comprendere le principali tecniche di ottimizzazione dell’esecuzione (predizione dei salti, esecuzione fuori ordine, esecuzione speculativa), e il loro impatto sulla pipeline. Comprendere il funzionamento delle memoria cache.
Be able to describe the features of the RISC-V machine language, with a focus on instruction types, formats, and addressing modes. Be able to explain the mechanism of procedure calls in RISC-V. Understand the main execution optimization techniques (branch prediction, out-of-order execution, speculative execution) and their impact on pipeline performance. Understand how memory cache works.
×
Print
Course
PROGRAMMAZIONE 2
Course ID
MF0796
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
PENNISI MARZIO ALFIO
CFU
6.0
Teaching duration (hours)
48.0
Individual study time
102.0
SSD
INF/01 - INFORMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
A
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
ITALIANO
Italian
Contenuti/Content Summary
Gestione di stutture dati dinamiche. Iterazione. Ricorsione. Algoritmi classici di ordinamento
Management of dynamic data structures. Iteration. Recursion. Classical sorting algorithms
Testi di riferimento/Textbooks
Paul Deitel, Harvey Deitel “Il linguaggio C. Fondamenti e tecniche di programmazione”. Pearson Italia, 2013 Brian W. Kernighan, Dennis M. Ritchie "Il linguaggio C. Principi di programmazione e manuale di riferimento" Pearson Italia
Paul Deitel, Harvey Deitel “Il linguaggio C. Fondamenti e tecniche di programmazione”. Pearson Italia, 2013 Brian W. Kernighan, Dennis M. Ritchie "Il linguaggio C. Principi di programmazione e manuale di riferimento" Pearson Italia
Obiettivi formativi/Mission
Al termine del corso, le studentesse e gli studenti devono essere in grado, dato un problema di programmazione (per gestire la struttua dinamica lista), di individuarne un algoritmo risolutivo sia iterazione sia in ricorsione, implementarlo in linguaggio C, eseguirlo al calcolatore. Conoscenza e comprensione: programmazione in iterazione, programmazione in ricorsione, la struttura dinamica lista. Capacità di applicare conoscenza e comprensione: dato un problema inerente alla struttura dinamica lista, - definire un algoritmo iterativo che trasforma i dati di input nei dati di output, seguendo i costrutti della programmazione; - definire un algoritmo ricorsivo che trasforma i dati di input nei dati di output, seguendo i costrutti della programmazione; - scrivere al calcolatore il programma sorgente che implementa l'algoritmo, utilizzando un linguaggio di programmazione (C); - compilare, eseguire e testare tale programma al calcolatore. Autonomia di giudizio: in modo autonomo le studentesse e gli studenti devono riuscire definire ed implementare un'algoritmo per risolvere un problema inerenti alla gestione di strutture dinamiche nel linguaggio di programmazione (C), a valutarne la complessità, e compilare ed eseguire il programma. Abilità comunicative: le studentesse e gli studenti devono riuscire a definire un algoritmo sia in iterazione sia in ricorsione, e deve sapere presentare il suo costo espresso come complessità in tempo e spazio. Capacità di apprendimento: le studentesse e gli studenti devono essere capaci di apprendere come si definiscae un algoritmo a partire dal problema sia in iterazione sia in ricorsione, valutarne i costi (complessità in tempo e spazio) e come si implementa tale algoritmo in C.
At the end of the course, students must be able, given a programming problem (to handle dynamic list structure), to identify a solving algorithm both iteratively and in recursion, implement it in C language, and execute it on the computer. Knowledge and understanding: programming in iteration, programming in recursion, the dynamic list structure. Ability to apply knowledge and understanding: given a dynamic list structure problem, - define an iterative algorithm that transforms input data into output data, following programming constructs; - define a recursive algorithm that transforms input data into output data, following programming constructs; - write the source programme implementing the algorithm to the computer, using a programming language (C); - compile, execute and test this programme on the computer. Autonomy of judgement: autonomously, the students must be able to define and implement an algorithm to solve a problem concerning the handling of dynamic structures in the programming language (C), to evaluate its complexity, and to compile and execute the program. Communication skills: students must be able to define an algorithm in both iteration and recursion, and must know how to present its cost expressed as complexity in time and space. Learning ability: students must be able to learn how to define an algorithm from the problem in both iteration and recursion, evaluate its cost (complexity in time and space) and how to implement such an algorithm in C.
Prerequisiti/Required background knowledge
Agli studenti e alle studentesse, è caldamente consigliato il superamento dell'esame di Programmazione 1
Students are strongly encouraged to pass the Programming 1 exam.
Metodi didattici/Teaching methods
Lezioni frontali, esercitazioni in aula e in laboratorio Circa metà delle lezioni sono in aula mentre le rimanenti le lezioni sono in laboratorio.
Lectures, classroom and laboratory exercises 1/2 of the lessons of the course are classroom lessons and 1/2 are in the laboratory.
Altre informazioni/Further information
L'attività in laboratorio richiede una partecipazione attiva e individuale delle studentesse e degli studenti, che in tal modo sviluppano abilità pratiche (le capacità di realizzare un programma). La partecipazione attiva permette una verifica del modo in cui gli argomenti vengono recepiti. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti- disabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
The laboratory activity requires active and individual participation of the students, who thereby develop practical skills (the ability to carry out a programme). Active participation allows a check on how topics are received. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti, consulting the University webpage: https://www.uniupo.it/en/services/services- students-physical-or-learning-disabilities Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
Esame in laboratorio: sviluppo in laboratorio di funzioni iterative e ricorsive in linguaggio C. A discrezione del docente, l'esame può anche essere in forma di orale.
Laboratory examination: laboratory development of iterative and recursive functions in C language. At the discretion of the professor, the examination may also be in the form of an oral.
Programma esteso/Content
- puntatori in C e loro uso per la realizzazione di liste - funzioni interattive sulla liste: - gestione di una singola lista - gestione di più liste - ricorsione: - definizione e concetti di base - simulazione di funzione ricorsive mediante record di attivazione - un esempio complesso: le torri di Hanoi - funzioni ricorsive su liste: - gestione di una singola lista - gestione di più liste - funzioni ricorsive di ordinamento: - QuickSort - MergeSort
- pointers in C and their use for list-making - interactive functions on lists: - management of a single list - management of several lists - recursion: - definition and basic concepts - simulation of recursive functions using activation records - a complex example: the towers of Hanoi - recursive functions on lists - management of a single list - management of several lists - recursive sorting functions: - QuickSort - MergeSort
Risultati di apprendimento attesi/Intended learning objectives
Conoscenza della ricorsione, delle struct, degli algoritmi di ordinamento (ricorsivi/iterativi), del caricamento di liste e strutture dati da file, di analisi della complessità spazio/tempo su algoritmi su liste ricorsivi/iterativi
Knowledge of recursion, struct, sorting algorithms (recursive/iterative), loading lists and data structures from files, space/time complexity analysis on recursive/iterative list algorithms
×
Print
Course
INTRODUZIONE ALL'INTELLIGENZA ARTIFICIALE
Course ID
MF0794
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
BOTTRIGHI Alessio
CFU
3.0
Teaching duration (hours)
24.0
Individual study time
51.0
SSD
INF/01 - INFORMATICA
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
B
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
V
Lingua insegnamento/Teaching language
Italiano
Italian
Contenuti/Content Summary
Il corso fornisce un'introduzione ai concetti fondamentali dell'intelligenza artificiale. Saranno trattati i principi di base, la storia, le principali tecniche e applicazioni con esempi semplici e casi di studio.
The course provides an introduction to the fundamental concepts of artificial intelligence. It covers the basic principles, history, illustrated through simple examples and case studies.
Testi di riferimento/Textbooks
Materiale didattico fornito dal docente
Teaching material provided by the lecturer
Obiettivi formativi/Mission
Conoscenza e capacità di comprensione: studenti e studentesse acquisiranno una conoscenza di base dei fondamenti teorici dell’Intelligenza Artificiale, con particolare attenzione ai principali paradigmi storici e alle metodologie classiche (ricerca, rappresentazione della conoscenza, ragionamento, apprendimento). Comprenderanno inoltre le tappe evolutive dell’IA, i suoi ambiti applicativi e le questioni etiche e sociali ad essa associate. Capacità di applicare conoscenza e comprensione: studenti e studentesse saranno in grado di riconoscere e descrivere scenari in cui sono impiegate tecnologie di Intelligenza Artificiale. Sapranno valutare il ruolo dell’IA in contesti interdisciplinari. Autonomia di giudizio: studenti e studentesse svilupperanno capacità critiche nell’analisi delle applicazioni dell’IA. La conoscenza dei fondamenti storici e dei dibattiti contemporanei fornirà loro gli strumenti per elaborare un proprio punto di vista motivato. Abilità comunicative: studenti e studentesse saranno in grado di esporre in modo chiaro e coerente i concetti fondamentali dell’Intelligenza Artificiale, utilizzando una terminologia corretta e accessibile, anche in contesti non specialistici. Capacità di apprendimento: studenti e studentesse avranno appreso conoscenze in merito ai fondamenti dell’IA e con particolare attenzione alle criticità che hanno guidato la sua evoluzione e sviluppo. In particolare, studenti e studentesse avranno appreso le peculiarità e le differenze delle differenti tecnologie di IA con particolare rilievo a potenzialità e limiti
Knowledge and understanding: Students will acquire a basic understanding of the theoretical foundations of Artificial Intelligence, with particular attention to the main historical paradigms and classical methodologies (search, knowledge representation, reasoning, learning). They will also understand the evolutionary stages of AI, its fields of application, and the associated ethical and social issues. Applying knowledge and understanding: Students will be able to recognize and describe scenarios in which Artificial Intelligence technologies are employed. They will be able to evaluate the role of AI in interdisciplinary contexts. Making judgments: Students will develop critical thinking skills in analyzing AI applications. Knowledge of the historical foundations and contemporary debates will provide them with the tools to develop their own, reasoned perspectives. Communication skills: Students will be able to clearly and coherently explain the fundamental concepts of Artificial Intelligence, using correct and accessible terminology, even in non-specialist contexts. Learning skills: Students will have acquired knowledge regarding the fundamentals of AI, with particular attention to the critical issues that have guided its evolution and development. In particular, they will have learned the specifics and differences of different AI technologies, with particular emphasis on their potential and limitations.
Prerequisiti/Required background knowledge
Nessuno
None
Metodi didattici/Teaching methods
Lezioni frontali in aula con supporto di slide.  Il materiale didattico verrà fornito anche sulla piattaforma DIR.
Face-to-face lectures in the classroom supported by slides. Teaching materials will also be provided through the DIR platform.
Altre informazioni/Further information
Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti, consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
La valutazione si basa su una prova scritta con domande a risposta multipla e aperta, finalizzata a verificare la comprensione dei concetti di base.
Assessment is based on a written test with multiple-choice and open-ended questions, aimed at verifying understanding of basic concepts.
Programma esteso/Content
 Introduzione all’IA: definizioni, storia ed evoluzione  Rappresentazione della conoscenza e ragionamento automatico  Fondamenti di machine learning supervisionato e non supervisionato  Introduzione al deep learning  Elaborazione del linguaggio naturale  Visione artificiale  Applicazioni scientifiche e industriali dell’IA  Questioni etiche e sociali legate all’IA
 Introduction to AI: definitions, history and evolution  Knowledge representation and automated reasoning  Fundamentals of supervised and unsupervised machine learning  Introduction to deep learning  Natural language processing  Computer vision  Scientific and industrial applications of AI  Ethical and social issues related to AI
Risultati di apprendimento attesi/Intended learning objectives
Al termine del corso lo studente sarà in grado di: *) Descrivere l’evoluzione storica dell’IA. *) Distinguere tra i principali approcci *) Comprendere i problemi classici dell’IA *) Analizzare le applicazioni attuali dell’IA e le principali problematiche etiche connesse all'IA.
Upon completion of the course, students will be able to: *) Describe the historical evolution of AI. *) Distinguish between the main approaches. *) Understand the classic problems of AI. *) Analyze current applications of AI and the main ethical issues related to AI.
×
Print
Course
CONOSCENZE INIZIALI
Course ID
MF0436
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
MARTIGNONE Francesca
CFU
0.0
Teaching duration (hours)
24.0
Individual study time
0.0
SSD
NN -
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
D
Year
1
Period
Primo Semestre
Site
VERCELLI
Grading type
G
Lingua insegnamento/Teaching language
Italiano
Italian
Contenuti/Content Summary
Il corso ha lo scopo di sviluppare competenze di base e capacità relative alla comprensione dei testi scientifici, incluse le rappresentazioni e le notazioni della matematica, tenuto conto dei programmi delle Indicazioni Nazionali e Linee Guida per della scuola secondaria di secondo grado.
The course aims at developing basic competencies and skills related to the comprehension of scientific texts, including mathematical representations and notations, taking into account the National Guidelines for secondary school.
Testi di riferimento/Textbooks
Materiale didattico messo a disposizione dal docente sulla piattaforma DIR del corso.
Didactic material provided by the teacher on the DIR platform of the course
Obiettivi formativi/Mission
Saper interpretare testi scientifici e, in particolare, saper decodificare e manipolare scritture specifiche della matematica. Si vogliono sviluppare competenze relative all'interpretazione di testi di problemi matematici e all'applicazione delle strategie risolutive. Tutte le attività richiederanno una comunicazione efficace dei processi svolti e dei risultati ottenuti.
Being able to interpret scientific texts and, in particular, to be able to decode and manipulate specific mathematical notations. The goal is to develop competencies related to the interpretation of mathematical problem texts and to the implementation of solution strategies. All the activities will require effective communication of the processes carried out and of the results obtained
Prerequisiti/Required background knowledge
Competenze relative al linguaggio e alla matematica richieste al termine della scuola secondaria di secondo grado.
Language and mathematical skills required at the end of secondary school.
Metodi didattici/Teaching methods
Lezioni in aula e esercitazioni svolte anche attraverso l'uso della piattaforma Moodle dell’Università.
Lectures and training sessions carried out also by means of the use of the University Moodle platform.
Altre informazioni/Further information
Controllo dell'apprendimento: attività supportate anche dall'utilizzo della piattaforma Moodle dell’Università. Queste attività hanno un obiettivo formativo: sono discusse e corrette insieme alle studentesse e agli studenti. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
Learning monitoring: activities supported by the use of the Moodle platform of the University. These activities have a formative goal: they are discussed and corrected together with the students. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via the Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti, consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
Test finale in analogia con il test iniziale delle competenze. La prova consiste in 20 domande di comprensione e uso dei testi scientifici, incluse le rappresentazioni e le notazioni della matematica. Per superare la prova è necessario ottenere almeno il 50% dei punti.
Final test in analogy with the competence assessment initial test. The final test consists of 20 questions about the understanding of scientific texts, including representations and notations of mathematics. To get through the test it is necessary to get at least 50% of the points.
Programma esteso/Content
Nel corso saranno trattati contenuti e affrontati problemi relativi a competenze di base che sono necessarie per affrontare i corsi del primo anno del DiSIT. Saranno analizzati testi scientifici che includono le rappresentazioni e le notazioni della matematica e saranno svolte di attività di problem solving. In particolare saranno oggetto di studio: 1)Alcune caratteristiche fondamentali dei testi scientifici. 2)Diverse rappresentazioni dei numeri e delle misure. 3) Proprietà delle notazioni algebriche. 4)Rappresentazioni grafiche di fenomeni
The course will deal with content and problems related to basic skills that are required to face the DiSIT first year courses. Scientific texts, that include mathematical representations and notations, will be analyzed and problem solving activities will be carried out. In particular they will be studied: 1) Some fundamental features of scientific texts. 2) Different representations of number and measures. 3) Algebraic notations proprieties. 4) Graphic representations of phenomena
Risultati di apprendimento attesi/Intended learning objectives
Conoscenza di alcuni concetti di base della matematica, in particolare: numeri reali e loro rappresentazioni e principali funzioni elementari. Capacità di applicare questi concetti nella risoluzione di semplici problemi e nell'interpretazione di grafici. Consapevolezza delle potenzialità e dei limiti dei concetti e dei metodi adottati.
Knowledge of some basic concepts of mathematics, in particular: real numbers and their representations and main elementary functions. Ability at applying these concepts in simple problem solving and in the interpretation of graphs. Awareness about potential and limits of the concepts and methods adopted.
×
Print
Course
INGLESE (SEDE DI VERCELLI)
Course ID
MF0397
Academic Year
2025/2026
Year of rule
2025/2026
Degree
INFORMATICA
Curriculum
CORSO GENERICO
Teaching leader
AIRAGHI Laura
Teachers
CFU
6.0
Teaching duration (hours)
50.0
Individual study time
100.0
SSD
NN -
Course type
Attività formativa monodisciplinare
Course mandatoriety
OBB
Course category
E
Year
1
Period
Secondo Semestre
Site
VERCELLI
Grading type
G
Lingua insegnamento/Teaching language
INGLESE
English
Contenuti/Content Summary
Il corso di inglese di livello B2 è progettato per fornire alle studentesse e agli studenti gli strumenti per sviluppare una competenza linguistica solida, flessibile e autonoma, necessaria per affrontare con successo i contesti accademici e professionali in lingua inglese. Il percorso è diviso in moduli tematici e aiuta a sviluppare in modo completo le abilità di comprensione, produzione, interazione e mediazione della lingua, in situazioni tipiche dell’ambiente accademico. La struttura a moduli permette di affrontare passo dopo passo i diversi aspetti della comunicazione accademica: dall’orientamento iniziale allo studio e all’uso della lingua, alla capacità di comunicare oralmente tramite discussioni di gruppo o presentazioni, all’analisi di testi specialistici, alla scrittura di email formali e brevi testi accademici, all’ascolto di testi audio (o audiovisivi) seguito da esercizi di presa di appunti. L’ultimo modulo è pensato per prepararsi alla prova finale, con esercizi di autovalutazione e ripasso delle competenze apprese. Ogni modulo è sviluppato facendo uso di risorse digitali, che integrano esercitazioni interattive e materiali per lo studio autonomo.
The B2 level English course is designed to provide students with the tools to develop the solid, flexible and self-reliant language skills necessary to successfully interact in academic and professional contexts in English. The course is divided into thematic modules and helps students comprehensively develop their comprehension, production, interaction, and mediation skills in typical academic environment. The modular structure allows students to tackle the different aspects of academic communication step by step: from initial orientation to independent study and use of the language, to the ability to have oral discussions or giving presentations, the analysis of specialized texts, writing formal emails and short academic texts, and to listening to audio (or audiovisual) texts followed by note-taking exercises. The last module is designed to prepare students for the final exam, with self-assessment exercises and review of the skills learned. Each module is developed using digital resources, which integrate interactive exercises and materials for independent study.
Testi di riferimento/Textbooks
Risorse predisposte dal docente tramite la pagina DIR Risorse digitali Piattaforma Macmillan Materiali integrativi e di approfondimento Lessico e grammatica Raymond Murphy, English Grammar in Use, 5th Edition. Cambridge: Cambridge University Press, 2019. Michael McCarthy, Felicity O’Dell, English Collocations in Use Intermediate (Book with Answers): How Words Work Together for Fluent and Natural English. Cambridge: Cambridge University Press, 2017. Inglese per scopi accademici AA. VV. Academic English: Skills for Success, 3nd Edition. Oxford: Oxford University Press, 2025. Dick Smakman, Presenting in English: A Practical Guide. London: Routledge, 2024. Altri testi di riferimento saranno indicati dal docente.
Resources provided by the instructor via the DIR page Digital resources Macmillan platform Recommended textbooks and materials Vocabulary and grammar Raymond Murphy, English Grammar in Use, 5th Edition. Cambridge: Cambridge University Press, 2019. Michael McCarthy, Felicity O’Dell, English Collocations in Use Intermediate (Book with Answers): How Words Work Together for Fluent and Natural English. Cambridge: Cambridge University Press, 2017. English for academic purposes Various authors Academic English: Skills for Success, 3rd Edition. Oxford: Oxford University Press, 2025. Dick Smakman, Presenting in English: A Practical Guide. London: Routledge, 2024. Other recommended texts will be indicated by the lecturer.
Obiettivi formativi/Mission
L’insegnamento si propone di sviluppare la competenza linguistica in inglese a livello B2 del QCER, con particolare attenzione agli usi accademici e professionali della lingua. Al termine del corso, le studentesse e gli studenti saranno in grado di comprendere e utilizzare la lingua inglese in contesti quotidiani e/o accademici, interagendo in forma orale e scritta con coerenza, accuratezza lessicale e sintattica e adeguatezza pragmatica. Svilupperanno la capacità di produrre testi scritti e orali sia in contesti formali che informali. Inoltre, le studentesse e gli studenti avranno la possibilità di utilizzare risorse digitali e materiali multimediali a supporto dell’apprendimento linguistico e della comunicazione. Saranno anche in grado di autovalutare i propri progressi e di sviluppare strategie di apprendimento autonome, in linea con i principi del Quadro Comune Europeo di Riferimento per le Lingue (QCER) e con un approccio all’insegnamento della lingua basato sulle competenze.
The course aims to develop English language skills to CEFR level B2, with a particular focus on academic and professional use of the language. At the end of the course, students will be able to understand and critically use the English language in academic contexts, interacting in oral and written contexts with consistency, lexical and syntactic accuracy, appropriateness and consistency. They will develop the ability to produce written and oral texts, both in formal and informal contexts. In addition, students will have the possibility to use digital resources and multimedia materials to support language learning and communication. They will also be able to self-assess their progress and develop autonomous learning strategies, in line with the principles of the Common European Framework of Reference for Languages (CEFR) and a competence-based approach to language teaching.
Prerequisiti/Required background knowledge
Il corso di inglese si rivolge a studenti e studentesse che hanno raggiunto un livello di competenza di inglese pari almeno al livello B1 del CEFR. Tale requisito può essere attestato secondo tre modalità: 1) riconoscimento di una certificazione linguistica (vedi regolamento CLUPO link https://clupo.uniupo.it/lingua-inglese/riconoscimento-certificazioni ; 2) superamento dell’English Placement Test erogato da CLUPO; 3) frequenza e superamento del corso online di riallineamento su piattaforma Macmillan (link https://clupo.uniupo.it/lingua-inglese/english-placement-test)
The English course is aimed at students who have achieved a level of English proficiency equivalent to at least level B1 of the CEFR. This requirement can be certified in three ways: 1) by the recognition of a language certificate (see CLUPO regulations link https://clupo.uniupo.it/lingua-inglese/riconoscimento-certificazioni ; 2) by passing the English Placement Test administered by CLUPO ; 3) by attending and passing the online realignment course on the Macmillan platform (link https://clupo.uniupo.it/lingua-inglese/english-placement-test).
Metodi didattici/Teaching methods
Lezioni frontali, esercitazioni guidate, attività collaborative e progetti individuali o di gruppo. Gli studenti e le studentesse che sono impossibilitati a seguire le lezioni regolarmente possono fare riferimento alla piattaforma DIR e alla piattaforma Macmillan per tenersi aggiornati su ciò che viene svolto in classe. Il corso si avvale di metodologie didattiche inclusive, progettate per favorire la partecipazione attiva di tutti gli studenti e delle studentesse, nel rispetto delle differenze di genere, background linguistico e stili di apprendimento.
In-person lessons, guided exercises, collaborative activities, and individual or group projects. Students who are unable to attend classes regularly can refer to the DIR platform and the Macmillan platform to keep up with what is being done in class. The course employs inclusive teaching methods designed to encourage the active participation of all students, respecting differences in gender, linguistic background, and learning styles.
Altre informazioni/Further information
La piattaforma DIR costituisce lo strumento principale per la condivisione di materiali didattici. Il docente riporta nella pagina DIR del corso indicazioni dettagliate per frequentanti e non frequentanti rispetto a: programma del corso, materiali didattici, istruzioni per la prova d’esame. https://www.dir.uniupo.it/course/view.php?id=23767 https://www.dir.uniupo.it/course/view.php?id=23766 Per informazioni sulle modalità di iscrizione alla piattaforma Macmillan, riferirsi alle istruzioni sulla pagina DIR del corso Lo studente può sostenere lo stesso esame per un massimo di tre volte in un anno accademico. Per la disciplina degli esami di profitto si rimanda all'art. 35 del Regolamento didattico di Ateneo. Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi all’ufficio di riferimento consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studentesse-e-studenti-condizione-di-disabilità-e-dsa. Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.
The DIR platform is the main tool for sharing teaching materials. The lecturer provides detailed information on the DIR page of the course for attending and non-attending students regarding: course programme, teaching materials, exam instructions. https://www.dir.uniupo.it/course/view.php?id=23767 https://www.dir.uniupo.it/course/view.php?id=23766 For information on how to register on the Macmillan platform, please refer to the instructions on the DIR page of the course. Students may take the same exam a maximum of three times in an academic year. For the regulations governing exams, please refer to Article 35 of the University’s Teaching Regulations. Students with physical disabilities, Learning Disabilities or Special Education Needs can request specific services and tools via reference office consulting the University webpage: https://www.uniupo.it/en/services/services-students-physical-or-learning-disabilities. Students with disabilities, learning disabilities or special education needs, once they have contacted the University Staff, can refer to the tutor in charge of the course to define the examination modalities, concerning academic aspects.
Modalità di verifica dell'apprendimento/Assessment methods
L’esame è organizzato in due prove distinte: la prima formativa e la seconda sommativa. La valutazione finale risulta dalla media ponderata delle due prove, con un’incidenza del 30% per la prova formativa e del 70% per quella sommativa, combinando così la rilevazione della padronanza delle competenze linguistiche e comunicative di livello B2, con l’osservazione della capacità di applicare in modo adeguato conoscenze e strategie linguistiche in contesti d’uso quotidiano e/o accademici. La prova formativa per le studentesse e gli studenti frequentanti e non frequentanti consiste in una attività orale che sarà discussa a lezione in una sessione dedicata. La prova sommativa per tutte le studentesse e gli studenti è composta da un test scritto in formato computer-based somministrato tramite la piattaforma esami.DIR. Il test è suddiviso in 3 sezioni dedicate rispettivamente alle abilità ricettive orali (ascolto), scritte (lettura) e alle competenze linguistiche (lingua in uso, grammatica e lessico). Ciascuna sezione è composta di 1-3 attività con domande a scelta multipla, abbinamento, esercizi di cloze o completamento. Il test è somministrato in presenza. La prova formativa sarà valutata come eccellente se dimostra piena padronanza dei contenuti, capacità analitiche e comunicative articolate, e adeguata autonomia nell’uso degli strumenti linguistici. Una valutazione discreta corrisponde a una conoscenza sufficiente ma limitata a contenuti essenziali, con espressione linguistica corretta ma non sempre adeguata e capacità di analisi parziale. La prova insufficiente rivela lacune rilevanti, uso inappropriato della lingua e mancanza di coerenza con il programma. Per superare la prova è necessario ottenere un punteggio pari o superiore a 18/30. Per partecipare alla sessione d’esame, le studentesse e gli studenti devono: aver soddisfatto i requisiti iniziali (EPT), svolto con successo la prova formativa durante il corso (prova in itinere) e iscriversi all’appello (entro e non oltre i tempi previsti tramite il sito dedicato ESSE3). La studentessa o lo studente può sostenere lo stesso esame per un massimo di tre volte in un anno accademico. Per la disciplina degli esami di profitto si rimanda all'art. 35 del Regolamento didattico di Ateneo.
The exam is organised into two separate tests: the first is formative and the second is summative. The final assessment is based on the weighted average of the two tests, with the formative test accounting for 30% and the summative test accounting for 70%, thus combining the assessment of B2-level language and communication skills with the observation of the ability to apply linguistic knowledge and strategies appropriately in daily and/or academic contexts. The formative test for both attending and non-attending students consists of an oral activity to be discussed in class in a dedicated session. The summative assessment for all students consists of a written test in computer-based format administered via the esami.DIR platform. The test is divided into three sections dedicated respectively to oral (listening) and written (reading) receptive skills and language skills (use of English). Each section consists of 1-3 activities with multiple-choice options, matching and cloze or completion exercises. The test is administered in person. The formative test will be assessed as excellent if it demonstrates full mastery of the content, articulate analytical and communication skills, and adequate autonomy in the use of linguistic tools. A fair assessment corresponds to sufficient knowledge but limited to essential content, with correct but not always adequate linguistic expression and partial analytical skills. An unsatisfactory assessment reveals significant gaps, inappropriate use of language and lack of consistency with the programme. To pass the test, a score of 18/30 or higher is required. In order to participate in the exam session, students must have met the initial requirements (EPT) and must have reserved a place to sit the exam (within the time restraints specified on the ESSE3 platform). Those who have completed and passed the formative test (mid-term exam) during the course will be permitted to sit a summative test (final exam). Students may take the same exam a maximum of three times in a calendar year. For the rules governing exams, please refer to Article 35 of the University’s Teaching Regulations.
Programma esteso/Content
Il corso di inglese di livello B2 è progettato per fornire alle studentesse e agli studenti gli strumenti per sviluppare una competenza linguistica solida, flessibile e autonoma, necessaria per affrontare con successo i contesti accademici e professionali in lingua inglese. Attraverso un approccio articolato in moduli tematici, il percorso si concentra sullo sviluppo integrato di abilità di ricezione, produzione, interazione e mediazione, contestualizzate in scenari tipici della vita accademica. Module 1: Orientamento Accademico e Autovalutazione: Presentazione del corso; autovalutazione iniziale delle competenze; utilizzo di risorse digitali a supporto dell’apprendimento. Module 2: Comunicazione Orale Formale e Presentazioni: Uso appropriato della terminologia specialistica; discussione su argomenti trattati a lezione con particolare attenzione alla pronuncia e all’intonazione; preparazione presentazioni con materiali di supporto. Module 3: Produzione Scritta Formale e Accademica Redazione di email, riassunti, saggi brevi, uso accurato del lessico specialistico; revisione e correzione dei testi prodotti. Module 4: Ascolto Attivo: Comprensione di conversazioni, discussioni su temi specialistici; presa di appunti su contenuti chiave e spiegazioni dettagliate; sintesi delle informazioni. Module 5: Preparazione alla Prova Finale e Autovalutazione: Simulazioni della prova finale; attività di autovalutazione delle competenze sviluppate.
The B2 level English course is designed to provide students with the tools to develop the solid, flexible and independent language skills necessary to successfully interact academic and professional contexts in English. Through an approach divided into thematic modules, the course focuses on the integrated development of reception, production, interaction and mediation skills, contextualised in typical academic scenarios. Module 1: Academic Orientation and Self-Assessment: Introduction to the course; initial self-assessment of skills; use of digital resources to support learning. Module 2: Formal Oral Communication and Presentations: Appropriate use of specialist terminology; discussion of topics covered in class with particular focus on pronunciation and intonation; preparation of presentations with supporting materials. Module 3: Formal and Academic Writing Drafting emails, summaries, short essays, accurate use of specialised vocabulary; revision and correction of texts produced. Module 4: Active Listening: Understanding conversations, discussions on specialised topics; note-taking on key content and detailed explanations; summarising information. Module 5: Preparation for the Final Exam and Self-Assessment: Simulations of the final exam; self-assessment of the skills developed.
Risultati di apprendimento attesi/Intended learning objectives
Conoscenza e capacità di comprensione Al termine del corso, le studentesse e gli studenti possiedono una conoscenza ampia e approfondita della lingua inglese nei contesti quotidiani e/o accademici, che consente la comprensione e l’analisi di testi specialistici e di interazioni orali. Dimostrano consapevolezza delle strutture linguistiche in diversi contesti. Capacità di applicare conoscenza e comprensione Le studentesse e gli studenti sono in grado di applicare autonomamente le proprie competenze linguistiche, coerenti e adeguati ai contesti quotidiani, accademici e professionali. Sono in grado di sostenere argomentazioni e di affrontare compiti comunicativi specifici del proprio ambito disciplinare. Utilizzano risorse digitali e strumenti multimediali a supporto dell’apprendimento linguistico e della comunicazione accademica. Autonomia di giudizio Le studentesse e gli studenti sono in grado di formulare giudizi autonomi e fondati sull’uso della lingua e sulle risorse di apprendimento, dimostrando capacità riflessive nel monitorare e valutare il proprio livello di competenza linguistica e le strategie adottate. È in grado di adattare tali strategie alle esigenze poste dai contesti di apprendimento accademico. Abilità comunicative Le studentesse e gli studenti sono in grado di partecipare in modo efficace e responsabile a interazioni, adeguando lingua, registro e strategie pragmatiche ai diversi interlocutori e agli scopi comunicativi. Dimostrano competenze nella negoziazione del significato, nella gestione del feedback e nella partecipazione attiva a scambi orali in diversi contesti. Capacità di apprendimento Le studentesse e gli studenti sono in grado di utilizzare strategie efficaci e risorse adeguate ai propri bisogni formativi. Dimostrano la capacità di riflettere sui propri progressi attraverso pratiche di autovalutazione formativa, in coerenza con i principi del Quadro Comune Europeo di Riferimento per le Lingue (QCER) e con un approccio all’insegnamento basato sulle competenze.
Competence and comprehension At the end of the course, students will have a broad and in-depth knowledge of English in daily and/or academic contexts, enabling them to understand and analyse specialised texts and oral interaction, demonstrating awareness of the linguistic structures in various contexts. Ability to apply knowledge and understanding Students will be able to independently apply their language skills in daily, academic and professional contexts. They will be able to have in-depth discussions and tackle specific communication tasks in their field of study. The use of digital resources and multimedia tools to support language learning and academic communication is expected. Self-assessment Students are able to formulate independent and informed judgements on language use and learning resources, demonstrating skills in monitoring and evaluating their own level of linguistic competence and the adopted strategies. They are able to adapt these strategies to the demands of academic learning contexts. Communication skills Students are able to participate effectively and responsibly in various contexts, adapting language, register and pragmatic strategies to different interlocutors and communicative purposes. They demonstrate competence in negotiating meaning, managing feedback and actively participating in oral exchanges in different situations. Learning skills Students are able to use effective strategies and resources appropriate to their educational needs. They demonstrate the ability to reflect on their progress through formative self-assessment practices, in line with the principles of the Common European Framework of Reference for Languages (CEFR) and a competence-based approach to teaching.
Print guide
Print
Year Course ID Course Teachers SSD Curriculum Site CFU
1 MF0791 Computer architecture 1 Arazzi Marco INF/01 All VERCELLI 6.0
1 MF0792 Computer architecture 2 Lai Mirko INF/01 All VERCELLI 6.0
1 MF0204 DISCRETE MATHEMATICS Luzzini Paolo, Laguzzi Giorgio MAT/03, MAT/01 All VERCELLI 9.0
1 MF0397 English Airaghi Laura NN All VERCELLI 6.0
1 MF0436 Initial Knowledge Landra Paola, Martignone Francesca NN All VERCELLI 0.0
1 MF0794 Introduction to artificial intelligence Bottrighi Alessio INF/01 All VERCELLI 3.0
1 MF0575 MATHEMATICAL ANALYSIS Luzzini Paolo MAT/05 All VERCELLI 6.0
1 MF0203 PHYSICS Barone Vincenzo, Aschieri Paolo Maria FIS/01 All VERCELLI 6.0
1 MF0207 PROGRAMMING 1 Codetta Raiteri Daniele INF/01 All VERCELLI 9.0
1 MF0796 Programming 2 Pennisi Marzio Alfio INF/01 All VERCELLI 6.0
1 MF0396 Techniques of communication and writing Demartini Silvia L-FIL-LET/12 All VERCELLI 3.0
Data synched: 16/07/2026, 04:25