Analisi matematica 1
Italian MAT/05

Il corso di Analisi Matematica 1 copre argomenti chiave relativi a insiemi numerici, funzioni reali, calcolo differenziale e integrale, e serie numeriche. Si inizia con richiami sui numeri naturali, interi, razionali, e reali, esplorando anche numeri complessi e loro operazioni. Le funzioni reali di una variabile sono introdotte, trattando limiti, continuità, e il calcolo differenziale con derivate e teoremi fondamentali come quello di Lagrange. Successivamente, il calcolo integrale viene esaminato, includendo il teorema fondamentale del calcolo integrale e metodi di integrazione. Infine, il corso copre le serie numeriche, con criteri di convergenza per serie a termini non negativi e a termini di segno qualunque, inclusi criteri come quelli del confronto e di Leibnitz.

Apri
Geometria e algebra lineare
Italian MAT/03

Il corso di geometria e algebra lineare copre vari argomenti fondamentali. Si inizia con matrici e vettori geometrici, esplorando l'algebra delle matrici, il rango, i metodi di Gauss e Gauss-Jordan, e il calcolo del determinante. Successivamente, si affrontano i sistemi lineari, esaminando le tecniche di risoluzione e il teorema di Rouché-Capelli. Gli spazi vettoriali sono poi introdotti, con discussioni su basi, dimensioni e teoremi di nullità più rango. Il corso prosegue con le applicazioni lineari, inclusi isomorfismi e matrici rappresentative. Gli endomorfismi coprono autovalori, autovettori e criteri di diagonalizzabilità. Negli spazi euclidei, si studiano prodotto scalare, ortogonalità e algoritmi come Gram-Schmidt. Infine, si trattano coordinate cartesiane, geometria analitica, coniche e quadriche, con un'analisi dettagliata delle loro proprietà e classificazioni.

Apri
Fondamenti di informatica
Italian ING-INF/05

Il corso di Fondamenti di Informatica introduce i concetti di algoritmi, programmi e linguaggi, insieme alla logica proposizionale e alla codifica binaria dell'informazione. Vengono trattati la rappresentazione e l'aritmetica dei numeri interi e reali, così come la codifica dei caratteri. La programmazione, con riferimento al linguaggio C, copre la sintassi, le strutture di controllo, e l'astrazione sui dati con tipi base, array, struct e puntatori. I sottoprogrammi vengono studiati per la programmazione modulare, inclusi il passaggio dei parametri e la ricorsione. Le strutture dati dinamiche, come liste collegate, e persistenti, come i file, vengono esplorate. L'attività di laboratorio è facoltativa ma essenziale per acquisire pratica nell'uso del calcolatore e nelle tecniche di programmazione.

Apri
Fisica
Italian FIS/01

Il corso di Fisica inizia con un'introduzione alle grandezze fisiche, scalari e vettoriali, e la loro misurazione. La cinetica del punto materiale viene analizzata con lo studio di traiettorie, velocità e accelerazione. Si approfondiscono i principi della dinamica del punto materiale e le forze, includendo i principi di Newton e varie forze come peso e attrito. Il lavoro e l'energia sono trattati, evidenziando l'energia cinetica, potenziale e la conservazione dell'energia. La dinamica in sistemi non inerziali viene esplorata, considerando forze apparenti. Il corso copre anche le interazioni fra masse e cariche elettriche, come la forza gravitazionale e elettrostatica. La dinamica dei sistemi di punti materiali include concetti come il centro di massa e conservazione della quantità di moto. Si introducono elementi di dinamica del corpo rigido, come il momento d'inerzia e moto rotatorio. La meccanica dei fluidi viene trattata, includendo densità, pressione e principio di Archimede. La termodinamica viene esplorata con i primi due principi, macchine termiche e frigorifere, e concetti di entropia e teoria cinetica dei gas.

Apri
Elettrotecnica
Italian ING-IND/31

Il corso di Elettrotecnica inizia con un'introduzione ai circuiti elettrici, il concetto di bipolo, le grandezze elettriche come tensione, corrente e potenza, e le leggi di Kirchhoff. Si studiano i bipoli puramente resistivi e i modelli di Thévenin e Norton. Doppi bipoli lineari vengono analizzati con rappresentazioni matriciali e l'uso di amplificatori operazionali. L'analisi dei circuiti include trasformazioni di generatori, analisi nodale, teoremi di Thévenin e Norton, e il principio di sovrapposizione. Componenti dinamici come condensatori e induttori vengono esplorati nei circuiti RC e RL. In regime sinusoidale, si studiano sinusoidi con fasori, impedenza, potenza complessa, rifasamento, e sistemi trifase. Cenni di elettromagnetismo trattano campi scalari e vettoriali, campi elettrostatici e magnetostatici, e induzione elettromagnetica con la legge di Faraday e il trasformatore reale.

Apri
Fondamenti di comunicazioni e internet
Italian ING-INF/03

Il corso di Fondamenti di Comunicazioni e Internet copre reti di telecomunicazione, protocolli di comunicazione e architetture a strati, incluse commutazione di pacchetto e di circuito. Analizza segnali, mezzi trasmissivi, throughput e ritardi. Studia protocolli applicativi (HTTP, FTP, SMTP, DNS, BitTorrent), livelli di trasporto (UDP, TCP) e networking (IPv4, DHCP, NAT, ICMP, IPv6). Copre routing (RIP, OSPF, BGP), reti locali (Ethernet, WiFi) e include attività di laboratorio su analisi del traffico, programmazione socket e configurazione di rete.

Apri
Analisi matematica 2
Italian MAT/05

Il corso di Analisi Matematica 2 affronta vari concetti avanzati, tra cui le curve parametriche, sia piane che spaziali, studiandone le proprietà come la lunghezza e gli integrali curvilinei. Viene approfondito il calcolo differenziale per funzioni di più variabili, con nozioni su limiti, continuità, derivate parziali, gradiente e ottimizzazione. Si esplora il calcolo integrale con integrali doppi e tripli, insieme a trasformazioni di coordinate. La parte sulle serie di potenze include la teoria di Fourier, con applicazioni a funzioni periodiche. Inoltre, il corso tratta le equazioni differenziali ordinarie, lineari e non lineari, e i sistemi differenziali. Infine, si introducono elementi di teoria qualitativa delle equazioni differenziali, con un focus sui sistemi autonomi e lo studio qualitativo tramite diagrammi di fase.

Apri
Architettura dei calcolatori e sistemi operativi
Italian ING-INF/05

Il corso di Architettura dei Calcolatori e Sistemi Operativi si divide in due parti principali. Nella prima parte si introducono le istruzioni macchina, il linguaggio assembler, e la loro traduzione da C, oltre alle tecniche di assemblaggio e collegamento. Si studiano i circuiti logici e l'algebra di Boole, con particolare attenzione alle funzioni combinatorie e ai circuiti come ALU, registri e memorie. Si approfondisce anche la microarchitettura del processore, inclusi concetti come pipeline e memorie cache. Nella seconda parte si affronta la programmazione di sistema con un focus su parallelismo, thread e programmazione concorrente. Si esplora la struttura e il funzionamento dei sistemi operativi, con argomenti come la gestione dei processi, la memoria virtuale, il file system e la gestione delle periferiche.

Apri
Logica e algebra
Italian MAT/01MAT/02

Il corso di Logica e Algebra affronta temi fondamentali su relazioni, logica e strutture algebriche. Nella parte dedicata alle relazioni e applicazioni, si studiano le relazioni binarie e le loro proprietà, come riflessività e transitività. Si trattano concetti come relazioni di equivalenza, insiemi quoziente, e il teorema di Cantor. Inoltre, si esplorano le relazioni d'ordine e i reticoli. La sezione di logica proposizionale introduce il linguaggio della logica, le tautologie, le deduzioni, e la forma normale disgiuntiva e congiuntiva. Vengono trattati anche i sistemi formali, con i teoremi di correttezza e completezza. Nella logica del primo ordine, si studiano i linguaggi predicativi, le formule e le interpretazioni, insieme ai teoremi fondamentali e le questioni di decidibilità. Infine, nella parte sulle strutture algebriche, si introducono semigruppi, gruppi, anelli e campi. Si analizzano le relazioni di congruenza, le strutture quozienti e i teoremi di omomorfismo.

Apri
Misure
Italian ING-INF/07

Il corso di Misure esplora i concetti fondamentali della metrologia e delle misurazioni, con particolare attenzione a caratteristiche come accuratezza, incertezza, risoluzione e ripetibilità. Viene introdotto il Sistema Internazionale di unità (SI), le unità logaritmiche (dB, dBm) e i parametri dei segnali (continui, discreti, periodici e aperiodici). Viene trattata la statistica applicata alle misure, compresa la stima dell'incertezza, la propagazione degli errori e la compatibilità tra misure. Il corso include una sezione sulle strumentazioni digitali, con particolare attenzione a campionamento, conversione analogico-digitale e voltmetri digitali. Viene affrontata la gestione della strumentazione tramite LabVIEW, con protocolli di comunicazione come RS232 e USB. Gli studenti praticano nel laboratorio con oscilloscopi digitali, voltmetri, generatori di funzioni e schede di acquisizione dati, per caratterizzare segnali elettrici ed elettronici. Durante le attività di laboratorio, gli studenti acquisiscono familiarità con la strumentazione moderna, sperimentando problemi legati al condizionamento e all'elaborazione dei segnali di misura.

Apri
Informazione e stima (per ingegneria informatica)
Italian ING-INF/03 Non disponibile

Il corso introduce i concetti di probabilità e variabili casuali, partendo da spazi numerabili e non numerabili, probabilità condizionata, indipendenza e regola di Bayes. Vengono trattati calcolo combinatorio e ottimizzazione combinatoria. Si studiano variabili casuali, funzioni di distribuzione e densità, valore atteso, varianza, densità congiunte e condizionate e funzioni di variabili casuali. Seguono prove ripetute, distribuzione binomiale, approssimazione gaussiana, momenti, funzioni caratteristiche, legge dei grandi numeri e teorema del limite centrale. Si analizzano processi casuali, discreti e continui, con momenti, autocorrelazione, stazionarietà, ergodicità e processi gaussiani. Si introduce la teoria dell'informazione, con entropia, informazione mutua, regole a catena, compressione dati e codifica di sorgente. Nella parte di stima si affrontano media e varianza campionaria, massima verosimiglianza, stima a minimo errore quadratico medio e predizione. Il corso include simulazioni Monte Carlo, generazione di numeri pseudocasuali, simulazione di eventi rari e test d'ipotesi con applicazioni ingegneristiche.

Apri

Algoritmi e principi dell'informatica
Italian ING-INF/05

Il corso di Algoritmi e Principi dell'Informatica è suddiviso in due moduli principali. Il primo modulo tratta l'informatica teorica. In questa parte si introducono i principali modelli dell'informatica, come gli automi a stati finiti, automi a pila e le Macchine di Turing, insieme a modelli non deterministici e grammatiche. Viene inoltre presentata la logica matematica, utilizzata per modellare sistemi e descriverne le proprietà. La teoria della computazione viene approfondita attraverso la discussione della potenza dei modelli di calcolo, della Tesi di Church e dei problemi indecidibili, con tecniche per dimostrare l'indecidibilità di alcuni problemi. Il secondo modulo è dedicato agli algoritmi e alla teoria della complessità. Si affrontano le nozioni fondamentali per l'analisi della complessità, i modelli di calcolo e la macchina RAM, con approfondimenti sulla gerarchia delle complessità e sulla NP-completezza. Successivamente, vengono studiate le principali strutture dati, come pile, code, alberi binari, alberi generici, BST e heap, con relativi algoritmi di gestione e visita. Si esaminano inoltre gli algoritmi di ordinamento e le soluzioni al problema della ricerca, con tecniche basate su tabelle di hash e alberi B e B+. Infine, si esplorano i grafi, la loro rappresentazione e i principali algoritmi per la loro gestione.

Apri
Fondamenti di automatica
Italian ING-INF/04 Non disponibile

Il corso introduce i problemi di controllo e le architetture dei sistemi di regolazione, distinguendo tra controllo in anello aperto e chiuso. Si studiano i sistemi dinamici a tempo continuo tramite rappresentazione di stato, equilibrio, linearizzazione e principio di sovrapposizione. Viene analizzata la stabilità di sistemi lineari e non lineari con criteri specifici. Si affronta l'analisi nel dominio di Laplace, con funzioni di trasferimento, risposte a segnali canonici, schemi a blocchi e stabilità dei sistemi interconnessi. Segue lo studio della risposta in frequenza, diagrammi di Bode e Nyquist e criteri di robustezza. L'analisi dei sistemi retroazionati comprende stabilità, margini di fase e guadagno, comportamento dinamico e statico. Si passa al progetto dei regolatori, con criteri di Bode, compensatori e requisiti di precisione e robustezza, fino ai controllori industriali PID e ai metodi di taratura. Infine, il corso tratta i sistemi e segnali a tempo discreto, la trasformata Zeta, il controllo digitale e la scelta del periodo di campionamento.

Apri

Sistemi informativi (per il settore dell'informazione)
Italian ING-INF/05

Il corso introduce i sistemi informativi, il concetto di informazione e i suoi livelli, spiegando il ruolo del sistema informativo nelle organizzazioni. Si approfondisce l'Enterprise Architecture con il framework di Zachman e le fasi del ciclo di vita di un SI, dalla pianificazione alla gestione, includendo lo studio di fattibilità e le scelte make or buy. Viene presentata la modellazione dei sistemi con Archimate e BPMN per descrivere processi aziendali e flussi informativi. Si analizzano i componenti tecnologici e applicativi, distinguendo OLTP e OLAP, e gli applicativi ERP e CRM a supporto delle attività operative. La parte dedicata ai dati copre data warehouse, modelli multidimensionali, architetture, operatori OLAP e introduzione al data mining con i principali algoritmi. Si esaminano le scelte infrastrutturali per i SI, l'integrazione di applicazioni, dati e processi, le architetture distribuite e il cloud computing. Infine, si affronta la sicurezza dei sistemi informativi, introducendo crittografia simmetrica e asimmetrica, firma digitale, gestione utenti, controllo accessi, firewall e IDS.

Apri
Basi di dati 1
Italian ING-INF/05 In costruzione

Il corso introduce il sistema informativo in azienda, le caratteristiche dei DBMS, il concetto di transazione e i diversi utenti, strumenti e moduli di un DBMS. Si affronta la teoria relazionale, definendo il modello relazionale dei dati in modo formale e informale e presentando i concetti di algebra relazionale con operazioni unarie e binarie, interrogazioni e loro ottimizzazione. Viene introdotto Datalog per interrogazioni ricorsive e vincoli di integrità. La parte dedicata ai linguaggi per basi di dati approfondisce SQL come linguaggio DDL e DML, includendo definizione e modifica di schemi, vincoli, integrità referenziale, interrogazioni semplici e complesse con ordinamenti, raggruppamenti, viste, indici, trigger, procedure e transazioni. La progettazione di basi di dati copre tutte le fasi: concettuale con il modello Entità-Relazioni, logica con normalizzazione e gestione di attributi, associazioni e identificatori, e cenni di progettazione fisica.

Apri
Reti logiche
Italian ING-INF/05 In costruzione

Il corso affronta il progetto di reti combinatorie introducendo la sintesi combinatoria, la minimizzazione esatta tramite Quine-McCluskey per funzioni a singola e più uscite, e cenni alla sintesi euristica e multilivello. Si studiano le architetture ROM, PAL e PLA e la loro sintesi. La parte di aritmetica del calcolatore analizza la rappresentazione e le operazioni in virgola fissa e mobile, con architetture di sommatori e moltiplicatori. Successivamente si passa alle reti sequenziali sincrone, trattando il concetto di stato, macchine sincrone e asincrone, elementi di memoria (D, RS, JK, T), il modello generale di macchina a stati finiti, la loro sintesi e la minimizzazione del numero di stati. Infine, viene introdotto il progetto automatizzato di architetture digitali, presentando il flusso di progettazione hardware e l'uso del linguaggio VHDL per la descrizione di architetture.

Apri
Ingegneria del software
Italian ING-INF/05 In costruzione

Il corso di Ingegneria del Software fornisce le competenze necessarie per progettare e realizzare applicazioni software complesse, introducendo il ciclo di vita del software e i principi della progettazione orientata agli oggetti. Si studiano UML, con particolare attenzione ai diagrammi delle classi e di sequenza, e il linguaggio Java per la definizione di classi e metodi. Vengono approfonditi i design pattern, i principi della programmazione funzionale in Java e le tecniche di test funzionale e strutturale per verificare la correttezza del software. Inoltre, il corso introduce la programmazione di rete e distribuita e la progettazione di interfacce utente.

Apri
Economia e organizzazione aziendale
Italian ING-IND/35 Non disponibile

Il corso introduce il funzionamento delle imprese partendo dai loro obiettivi, dalle diverse forme giuridiche e dal rapporto tra proprietà e controllo, analizzando il legame con il contesto economico e sociale. Si studia il comportamento delle imprese nel mercato, esaminando la domanda, le funzioni di costo, l'equilibrio in concorrenza perfetta e altre strutture di mercato. Si affronta la contabilità esterna, comprendendo la struttura del bilancio, lo stato patrimoniale, il conto economico, le analisi di liquidità e redditività e il rendiconto finanziario, con esempi pratici. Segue la valutazione degli investimenti, con concetti di costo opportunità, flussi di cassa, valore attuale netto e altri criteri decisionali. Viene poi introdotta la contabilità interna, con le tipologie di costo, i metodi di rilevazione, le decisioni di breve periodo e l'uso del budget per analizzare gli scostamenti. Infine, si approfondisce l'organizzazione interna delle imprese, studiando microstruttura e macrostruttura, i meccanismi di coordinamento, gli incentivi, le gerarchie aziendali e le diverse forme di struttura organizzativa.

Apri

Bioinformatics algorithms
English ING-INF/05 Non disponibile

The course introduces computational biology and bioinformatics, starting with a brief biological background covering cells, DNA, RNA, proteins, and sequencing techniques. It covers sequence alignment, including pairwise alignments with dynamic programming (Needleman-Wunsch, Smith-Waterman), longest common substring, and multiple sequence alignment methods such as center star, tree-based progressive alignment, profile-based weighting, and motif scoring. Next, it addresses read alignment for next-generation sequencing using suffix trees/arrays, Burrows-Wheeler transform, FM index, and exact/inexact matching. De-novo genome assembly is taught using de Bruijn graphs and Eulerian paths. Variant calling covers single nucleotide variants, copy number variants, and germline vs. somatic mutations. Finally, Hidden Markov Models are introduced for sequence modeling, including Viterbi decoding, posterior decoding, and parameter learning.

Apri