📖 UniAppunti
Serie didattiche universitarie
6.644 ore di video lezioni universitarie trascritte via Whisper, 110 materie mappate, 198 articoli pianificati su 10 serie tematiche. Concetti rielaborati da appunti reali (UniTO Dip. Informatica + materiale di studio personale), mai copia 1:1 di slide o video lezioni. Sintesi originali con esempi propri, codice eseguibile, multi-lingua.
📚 Tutte le serie didattiche
26 serie tematiche, tutte in pubblicazione attiva con la stessa priorità. Articoli rielaborati da appunti reali UniTO + corpus 122k file `/D1/progettoAppunti`.
ML Fundamentals
Fondamenti di Machine Learning rielaborati dai notebook Jupyter universitari: dalla matematica di base ai modelli supervised/unsupervised, con codice scikit-learn e PyTorch.
- Comprendere bias-variance tradeoff
- Implementare regressione lineare e logistica from scratch
- Confrontare modelli con cross-validation
Probabilità e Statistica
Trascrizione e sintesi delle 50 video lezioni del corso Probabilità e Statistica seguito a UniBa. Variabili aleatorie, distribuzioni, stima, test ipotesi, regressione.
- Padroneggiare distribuzioni notevoli
- Applicare test t, ANOVA, chi-quadrato
- Costruire intervalli di confidenza corretti
Design Patterns in Produzione
Sei pattern strutturali e comportamentali estratti dal LabSAS 2021-22 (Sviluppo Applicazioni Software UniBa), spiegati con esempi Java multi-modulo e test unitari.
- Riconoscere quando applicare Strategy, Observer, Factory
- Refactoring sicuro con test
- Evitare anti-pattern comuni
Sicurezza Informatica e CTF
Concetti di cybersecurity rielaborati dalla CyberChallenge UniBa: web security (XSS, SSRF, SSTI), pwn (stack overflow, ROP), forensics (memory dumps), crypto base.
- Comprendere vulnerabilità OWASP Top 10
- Risolvere challenge CTF base (web, crypto)
- Applicare hardening base
Algoritmi e Strutture Dati
Algoritmi classici e ADT (lista, albero, grafo, heap, hash) rielaborati con esempi Python e analisi di complessità.
- Analisi big-O di algoritmi comuni
- Implementare BFS/DFS/Dijkstra
- Scegliere la struttura dati giusta per il problema
Sistemi Operativi
Concetti chiave di SO (processi, thread, scheduling, memoria virtuale, file system, sincronizzazione) con esempi C/Linux.
- Capire fork/exec/wait
- Riconoscere race condition e applicare lock
- Spiegare paging, segmentation, TLB
Reti di Calcolatori
Stack TCP/IP, modello OSI, routing, protocolli applicativi (HTTP, DNS, TLS), reti wireless. Esempi con tcpdump/Wireshark.
- Diagnosi problemi rete (ping/traceroute/dig)
- Capire NAT, firewall, VPN
- Comprendere TLS handshake
Ingegneria del Software
Metodologie agili, requisiti, architettura (MVC, layered, microservizi), testing strategy, code review, CI/CD. Riferimento al progetto LabSAS.
- Scrivere user stories efficaci
- Disegnare architettura layered
- Adottare workflow Git collaborativo
Quantum Computing in Italiano
Prima serie divulgativa in italiano su quantum computing applicato: qubit, superposizione, entanglement, gate model, Grover, VQE, QAOA, QML. Tutorial Qiskit con IBM Q free tier.
- Costruire e simulare il primo circuito quantistico
- Implementare l'algoritmo di Grover
- Comprendere VQE per chimica computazionale
Bioinformatica per CS
Bioinformatica applicata pensata per studenti CS che entrano in biologia (e viceversa). FASTQ, BLAST, BioPython, Bioconductor, scanpy, Nextflow, drug design computazionale.
- Leggere e analizzare file FASTQ/SAM/VCF
- Costruire pipeline RNA-Seq con Nextflow
- Visualizzare dati single-cell con scanpy
Architettura degli Elaboratori
Dalla logica booleana alle CPU pipelined: ALU, registri, memoria, cache, MIPS/RISC-V assembly. Rielaborato dal corso UniTO (270h audio trascritto).
- Comprendere il datapath di una CPU MIPS
- Scrivere programmi in assembly RISC-V
- Analizzare hit/miss rate di cache
Matematica Discreta
Insiemi, relazioni, induzione, combinatoria, grafi, congruenze. Rielaborato dal corso UniTO (244h audio).
- Padroneggiare le dimostrazioni per induzione
- Applicare il principio di inclusione-esclusione
- Risolvere problemi di combinatoria
Analisi Matematica per Informatici
Limiti, derivate, integrali, serie. Pensata per studenti CS che vogliono il rigore senza la fatica inutile. Dal corso UniTO (169h audio).
- Calcolare limiti e applicare De L'Hôpital
- Derivare e integrare funzioni di una variabile
- Studiare convergenza serie
Programmazione in Python e Java
Tre semestri di programmazione condensati: Python imperativo + Java OOP + costrutti avanzati. Dai corsi UniTO Prog1/2/3 (530h audio trascritto).
- Padroneggiare Python imperativo e funzionale
- Scrivere classi Java idiomatiche
- Capire memory model e GC
Sistemi Informativi e Database
Da ER-model a SQL avanzato, indici, transazioni ACID, NoSQL. Rielaborato dal corso UniTO Sistemi Informativi (145h audio).
- Modellare schemi ER complessi
- Scrivere query SQL avanzate (CTE, window)
- Capire normalizzazione 3NF/BCNF
Linguaggi Formali e Compilatori
Automi, espressioni regolari, grammatiche context-free, parsing, ottimizzazione codice. Da UniTO LFT (88h audio).
- Costruire DFA/NFA da regex
- Implementare un parser LL(1)
- Capire LR(1) e bottom-up parsing
Metodi Numerici e Calcolo Scientifico
Errori macchina, sistemi lineari, interpolazione, ODE, ottimizzazione. Con NumPy/SciPy. Da UniTO Metodi Numerici (105h audio).
- Capire stabilità ed errore propagato
- Risolvere sistemi lineari (LU, QR)
- Interpolare con polinomi e spline
Reti Complesse e Network Science
Da Erdős-Rényi a Barabási-Albert: small-world, scale-free, comunità, dynamics. Con NetworkX. Da UniTO Reti Complesse magistrale (102h).
- Generare e analizzare grafi random
- Misurare centralità (degree, betweenness, eigenvector)
- Rilevare comunità (Louvain, Leiden)
Interazione Uomo-Macchina e Tecnologie Web
UX, accessibilità, design system, web standards moderni. Dal corso UniTO IUM (83h audio).
- Applicare euristiche di Nielsen
- Implementare WCAG 2.1 AA
- Costruire design system riusabile
Fisica per Informatici
Meccanica, termodinamica, elettromagnetismo: solo quello che serve a un dev. Dal corso UniTO Fisica (102h audio).
- Capire le grandezze vettoriali
- Applicare conservazione energia
- Comprendere termodinamica per computing
Economia e Gestione per Sviluppatori
Bilancio, business model canvas, diritto industriale. Per dev che vogliono capire startup e VC. Dal corso UniTO EGI (118h audio).
- Leggere uno stato patrimoniale
- Costruire un BMC
- Capire term sheet startup
Intelligenza Artificiale Moderna
LLM, RAG, agenti, MCP, reasoning models. Sintesi di 21.923 file su AI/IA classificati dal corpus appunti (D1/progettoAppunti). Dal Polimi e AI corsi UniBO.
- Capire architettura transformer e LLM
- Implementare RAG pipeline da zero
- Progettare agenti multi-step con MCP
Sviluppo Web Fullstack Moderno
TypeScript, Angular, Spring Boot, REST/GraphQL, performance budget, CI/CD. Da 3.412 file web dev classificati (corpus appunti). Lezioni UniBO Tecnologie Web + IUM UniTO.
- Architettare SPA con SSR
- Costruire API REST resilienti
- Ottimizzare Core Web Vitals
Data Science Applicata
Pipeline end-to-end: pandas/numpy, EDA, feature engineering, ML deploy, dashboard. Da 5.340 file data science classificati nel corpus.
- Costruire pipeline EDA → ML → dashboard
- Feature engineering professionale
- Validare modelli per business
Calcolabilità e Complessità Computazionale
Macchine di Turing, P vs NP, indecidibilità, classi di complessità, riduzioni. Da 1.155 file teoria classificati (corso magistrale).
- Comprendere i limiti del calcolabile
- Dimostrare indecidibilità via riduzione
- Classificare problemi in P/NP/PSPACE
Sistemi Multi-Agente
BDI architecture, JADE, coordination, negotiation. Da 951 file Sistemi ad Agenti UniBA magistrale + UniversitaFederico/3°Anno/AllSistemiAdAgenti (2611 file trascritti).
- Implementare agenti BDI con JADE
- Progettare protocolli di negoziazione
- Coordinare swarm intelligence
🎙️ Top materie trascritte
Le 10 materie con più ore di lezione trascritte dalla pipeline Whisper. Ogni materia ha una scheda dedicata su /universita con link a serie e professori titolari.
Architettura degli Elaboratori
Algoritmi Strutture Dati
Matematica Discreta
Programmazione 1
Programmazione 2
Analisi Matematica
Sistemi Operativi
Sistemi Informativi
Sviluppo delle Applicazioni Software
Logica
⚖️ Trasparenza sui contenuti
UniAppunti rispetta vincoli legali rigidi:
- I contenuti sono rielaborazioni originali dei concetti studiati, mai copia 1:1 di slide professori, video lezioni o libri editoriali.
- Diagrammi e schemi sono ricreati in SVG (no screenshot).
- Ogni articolo cita le fonti (libri, paper) con autore + editore.
- Codice OSS rielaborato mantiene attribuzione MIT/Apache/GPL della fonte originale.
- Non vengono ridistribuiti video lezioni di terzi né file da repository proprietari.
Vedi inventario legale completo: docs/07_knowledge_base/13_universita_appunti/
🤝 Suggerisci una correzione
Hai trovato un errore o vuoi proporre un argomento per una nuova serie? Sono aperto a feedback, peer review, collaborazioni con docenti e università.