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

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 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 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
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 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. 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