I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazioneall’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso o al relatore
…continua

Filtra per

Tutte le tipologie
Tutte le tipologie

Ordina

Filtra

Appunti di Ingegneria - Università degli Studi di Pisa

Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docente: Prof. Antonio Virdis e Laura Lemmi Formato: Appunti in LaTeX con teoria rigorosa, grafici, frammenti di codice C++ ed esempi svolti. Indice sintetico: - Complessità computazionale: notazioni asintotiche, analisi temporale e spaziale, algoritmi iterativi e ricorsivi, divide et impera, teorema del maestro e Karatsuba. - Ordinamento e ricerca: selection/bubble sort, merge sort, quicksort, heap sort, ricerca lineare/binaria, limiti inferiori con alberi di decisione, counting sort e radix sort. - Strutture dati avanzate: alberi binari e generici, alberi binari di ricerca, heap e code con priorità, tabelle hash. - Tecniche di progettazione: programmazione dinamica, algoritmi greedy e codici di compressione prefissi. - Grafi: grafi orientati/non orientati, visite, componenti connesse,, cammini minimi, cicli euleriani - Complessità e programmazione C++: classi P e NP, NP-completezza, OOP in C++, strumenti Linux e STL
...continua

Esame Fisica generale

Facoltà Ingegneria

Dal corso del Prof. M. Virgilio

Università Università degli Studi di Pisa

Appunti esame
Appunti completi di Fisica I (Meccanica) Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docente: Prof. Michele Virgilio Formato: Impaginazione chiara in LaTeX, ricca di grafici, schemi e dimostrazioni passo-passo. Indice e argomenti trattati: - Nozioni preliminari: grandezze, SI, calcolo vettoriale e sistemi di coordinate (cartesiane, polari, cilindriche). - Cinematica 1D: velocità, accelerazione, MRU, MRUA e interpretazione grafica degli integrali. Cinematica 2D e 3D: moto parabolico, moto circolare (accelerazione centripeta e tangenziale). - Dinamica: principi di Newton, vincoli, attrito, pendolo semplice e moto armonico. - Lavoro ed Energia: teoremi dell'energia cinetica, forze conservative e potenziale. - Quantità di moto e urti: centro di massa, impulso, urti elastici e anelastici. - Momento e Corpo Rigido: momento angolare, teoremi di König, inerzia, teorema di Steiner e pendolo fisico.
...continua
Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docente: Prof. Pietro Majer Formato: Guida pratica e schematica in LaTeX, ottimizzata per la risoluzione rapida degli esercizi d'esame e ricca di algoritmi passo-passo. Indice sintetico degli argomenti: - Curve: calcolo lunghezza, aree con curve chiuse e indice di avvolgimento, parametrizzazione in lunghezza d'arco (s), triedro di Frenet, raggio/centro di curvatura, curvatura, torsione, disegno qualitativo, verifica di iniettività. - Ottimizzazione in più variabili: punti critici liberi, vincoli di uguaglianza con Moltiplicatori di Lagrange, verifica compattezza per Weierstrass, massimi e minimi su domini con disuguaglianze e vincoli aperti, ricerca di sup e inf. - Campi vettoriali: verifica di campi gradienti e irrotazionali, calcolo del potenziale. - Integrali multipli: formulario trigonometrico per integrazione, cambio di variabili negli integrali doppi con trucco dello Jacobiano inverso, Teorema della Divergenza.
...continua

Esame Analisi matematica 2

Facoltà Ingegneria

Dal corso del Prof. P. Majer

Università Università degli Studi di Pisa

Appunti esame
Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docente: Prof. Pietro Majer Formato: Appunti in LaTeX con teoria rigorosa, dimostrazioni passo-passo, grafici ed esempi svolti. Indice sintetico: - Curve: curve piane e parametrizzazioni, inviluppi, astroide, lunghezza e ascissa curvilinea, triedro di Frenet, curvatura, torsione. - Funzioni in più variabili: continuità, differenziabilità, matrice Jacobiana e Hessiana, teorema di Schwarz, derivate parziali/direzionali, gradiente, curve di livello, estremi liberi/vincolati e moltiplicatori di Lagrange. - Campi vettoriali: campi esatti, conservativi e irrotazionali, potenziale, integrali di linea di seconda specie, divergenza e rotore. - Integrazione in più variabili: integrali di Riemann multipli, formule di riduzione (per fili e per strati), cambi di variabile, applicazioni geometrico-meccaniche (baricentri, momenti d'inerzia), misure superficiali, integrazione per parti, formula della divergenza e flusso.
...continua

Esame Basi di dati

Facoltà Ingegneria

Dal corso del Prof. N. Tonellotto

Università Università degli Studi di Pisa

Appunti esame
Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docenti: Prof. Nicola Tonellotto e Prof. Francesco Pistolesi Formato: Appunti completi in LaTeX con teoria formale, schemi, esempi e codice SQL commentato. Indice sintetico: - Sistemi informativi e DBMS: architettura, modelli di dati, indipendenza fisica/logica, proprietà ACID. - Modello relazionale: relazioni, tuple, vincoli di integrità, chiavi e integrità referenziale. - Algebra relazionale e ottimizzazione: operatori, join, query optimizer e alberi algebrici. - Progettazione concettuale: modello E-R esteso. - Progettazione logica: tavole volumi/accessi, ristrutturazione E-R e regole di traduzione relazionale. - Dipendenze funzionali e normalizzazione: assiomi di Armstrong, chiusure, BCNF e 3NF. - Transazioni e concorrenza: anomalie, serializzabilità, grafo dei conflitti, locking 2PL e deadlock. - Linguaggio SQL: DDL, DML, join complessi, subquery, GROUP BY, stored procedure, trigger, eventi e window functions.
...continua

Esame Analisi matematica I

Facoltà Ingegneria

Dal corso del Prof. C. Berselli

Università Università degli Studi di Pisa

Appunti esame
Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docenti: Prof. Berselli e Rabasa Formato: Appunti in LaTeX con teoria rigorosa, dimostrazioni passo-passo, grafici ed esempi svolti. Indice sintetico: - Insiemi e funzioni - Sistemi numerici - Disuguaglianze e limiti: Bernoulli, triangolare, medie; limiti notevoli, gerarchia degli infiniti, successioni e stime asintotiche. - Calcolo differenziale: derivate notevoli, teoremi di Fermat, Rolle, Lagrange e de l'Hopital; formula di Taylor, studio di massimi, minimi, flessi e convessità. - Calcolo integrale: integrale di Riemann, teoremi della media, teorema fondamentale del calcolo, metodi di integrazione, integrazione numerica e integrali impropri. - Serie numeriche: criteri di convergenza, serie notevoli, serie di potenze. - Equazioni differenziali ordinarie: equazioni a variabili separabili, lineari di ordine 1 e di ordine n, problema di Cauchy, teorema di esistenza e unicità.
...continua

Esame Algebra lineare

Facoltà Ingegneria

Appunti esame
Corso di Laurea: Ingegneria Informatica Anno Accademico: 2025/2026 Docente: Prof. Giovanni Gaiffi e Guido Franchetti Formato: Appunti in LaTeX con teoria rigorosa, dimostrazioni passo-passo, grafici ed esempi svolti. Indice sintetico: - Spazi vettoriali: assiomi, combinazioni lineari, dipendenza/indipendenza, basi, dimensione, formula di Grassmann e spazi di polinomi/funzioni. - Matrici e sistemi lineari: algebra matriciale, algoritmo di Gauss-Jordan, rango, determinante (Laplace, Vandermonde), inversa, matrici simili e teorema di Rouché-Capelli. - Applicazioni lineari: nucleo, immagine, teorema nullità-rango (teorema fondamentale), composizione e teorema di Binet. - Diagonalizzazione: autovalori, autovettori, polinomio caratteristico, molteplicità algebrica e geometrica, endomorfismi notevoli ed esponenziale di matrice. - Prodotti scalari e geometria: disuguaglianza di Cauchy-Schwarz, ortogonalizzazione di Gram-Schmidt, teorema di Sylvester, teorema spettrale, isometrie, prodotti hermitiani e matrici unitarie.
...continua
Appunti di Hardware and embedded security - parte 4 . Il jitter di un singolo oscillatore può essere molto piccolo. Per estrarre casualità affidabile, spesso è necessario accumularlo fino a renderlo abbastanza grande da influenzare il campionamento. Una strategia consiste nell’usare più clock sfasati, aumentando la probabilità che almeno un segnale venga campionato vicino a un fronte affetto da jitter.
...continua
Appunti di Hardware and embedded security - parte 3. Con lo scaling tecnologico, ciò è con la riduzione delle dimensioni dei dispositivi nei nodi CMOS più avanzati, le variazioni di processo diventano sempre pi`u rilevanti. Quando i transistor sono grandi, una piccola deviazione fisica ha un impatto limitato.
...continua
Appunti Hardware and embedded security - parte 2. Gli Hardware Trojans possono avere molte forme: possono essere grandi o piccoli, localizzati o distribuiti, sempre attivi o condizionali, funzionali o parametrici. Per questo è utile classificarli secondo criteri comuni.
...continua
Appunti di Hardware and embedded security - parte 1. Durante una parte della scarica, l’nMOS può essere considerato in saturazione e la corrente approssimata come quasi costante. Il tempo di scarica si stima dividendo la carica da rimuovereper la corrente disponibile.
...continua

Esame Analisi matematica 1

Facoltà Ingegneria

Dal corso del Prof. R. Frigerio

Università Università degli Studi di Pisa

Schemi e mappe concettuali
Formulario di Analisi matematica 1 con teoremi principali che contiene inoltre esempi e teoria su: serie, successioni, o piccoli, limiti notevoli e indicazioni per trovare i limiti e la loro esistenza, Taylor, operazioni polinomiali, convergenza di una serie e criteri principali.
...continua

Esame Scienza delle costruzioni

Facoltà Ingegneria

Dal corso del Prof. R. Peroni

Università Università degli Studi di Pisa

Schemi e mappe concettuali
Formulario di Scienza delle costruzioni contenenti i metodi pratici per l'analisi della deformazione di una trave soggetta a carichi distribuiti e momenti. Formule utili per svolgere esclusivamente la parte di esame relativa alla deformazione statica.
...continua
Risposta alla domanda di esame di Fluidodinamica: Disegnare e discutere l'andamento del coefficiente di portanza di un profilo con l'incidenza in Regime incomprimibile. Quali diverse zone possono essere individuate sulle curve CL Alfa e a che tipologie di flusso corrispondono? discutere l'effetto dei vari parametri geometrici e di flusso sull'andamento delle varie parti della curva c l Alfa. Come posso calcolare numericamente il CL nei regimi di flusso corrispondenti alle varie zone della curva CL Alfa? (profili sottili, equazioni di navier stocks).
...continua
Questo testo contiene il progetto per la verifica finale dell'esame di Sistemi multifase. Il documento è un confronto delle correlazioni per la valutazione del coefficiente di scambio in ebollizione nucleata.
...continua
Questo documento creato da me riassume gli argomenti trattati nelle slide dell'esame di Conversione dell'energia, integrando ciò che viene approfondito durante le lezioni, con foto, schemi e formule.
...continua

Esame Progetto di macchine

Facoltà Ingegneria

Dal corso del Prof. M. Antonelli

Università Università degli Studi di Pisa

Formulari
Questo testo di Progetto di macchine contiene tutte le informazioni necessarie per la progettazione di un compressore assiale e le metodologie per la selezione del compressore ottimale. Comprende formulari e tabelle di correlazione.
...continua
Appunti di Hardware and embedded security (parte 3). Un approccio efficace consiste nel combinare i due livelli. Le direttive high-level permettono di definire procedure di sviluppo sicuro, responsabilit`a, gestione del rischio e aspetti organizzativi; le specifiche low-level permettono invece di realizzare concretamente le funzioni di protezione all’interno dei dispositivi.
...continua
Appunti di Hardware and embedded security (parte 4). La crittografia non deve per`o essere interpretata come una soluzione assoluta a tutti i problemi di sicurezza. Essa riduce il rischio, rende pi`u difficile l’attacco e aumenta il costo per l’avversario, ma non elimina completamente le minacce.
...continua
Appunti Hardware and embedded security (parte 2). Oltre ai dati dell’utente, esistono dati relativi al veicolo. Questi includono stato di manutenzione, chilometraggio, identificativo del veicolo, storico degli aggiornamenti software e firmware, dati su guasti, incidenti, velocit`a media e massima, comportamento dei componenti e condizioni di invecchiamento.
...continua