Analisi matematica 1
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
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
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
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
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
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
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
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
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
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
Algoritmi e principi dell'informatica
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