🖥️ Wiki
Cerca
Search
Tema scuro
Tema chiaro
Esplora
Algebra
(MCD) massimo comun divisore
(mcm) minimo comune multiplo
(SCR) sistema completo di rappresentanti
Algebra
algoritmo di Gauss per trovare la matrice inversa
anello
applicazione
applicazione biiettiva o biiezione
applicazione lineare
applicazione quoziente
campo
classi laterali
composizione
corrispondenza
crivello di Eratostene
determinante
diagramma
Esercizi 21 novembre 2025
Esercizi su strutture algebriche e divisibilità
Esercizio sul resto tra una potenza e un numero piccolo
formula di Grassmann
gruppo
gruppo abeliano
gruppo di permutazioni
gruppo quoziente
identità di Bézout
insieme quoziente
irriducibilità
isomorfismo
lemmi sui sottogruppi additivi di Z (aZ + bZ)
metodo di Gauss
omomorfismo
ordine
partizione
piccolo teorema di Fermat
primalità
primo teorema dell'omomorfismo
proiezione canonica
rango
regola di Sarrus
relazione di equivalenza associata a un'applicazione
sistema di equazioni lineari
sottogruppi
sottogruppo normale
sottospazio vettoriale
spazio vettoriale
spazio vettoriale di matrici
spazio vettoriale quoziente
spazio vettoriale R quadro
teorema di Rouché-Capelli
teorema fondamentale dell'aritmetica
teoria degli anelli
vettori linearmente indipendenti
Architettura degli elaboratori
aggiunta di una nuova istruzione
allineamento
architettura degli elaboratori
architettura di Von Neumann
architettura RISC-V a singolo colpo di clock e senza pipeline
architettura RISC-V con pipeline
assembly RISC-V
cache
cicli in RISC-V
control hazard
CPU
CU (Control Unit)
data hazard
differenze tra CISC e RISC, vantaggi di RISC
elementi di stato (registri e RAM) dell'architettura RISC-V
elenco di istruzioni RISC-V
fasi dell'esecuzione di un'istruzione
formati delle istruzioni
forwarding
funzioni in RISC-V
hazard
matrici in RISC-V
modi di indirizzamento
registri generali dell'architettura RISC-V
riordinamento delle istruzioni
RISC-V
Automi calcolabilità e complessità
(TM) macchina di Turing
automa a stati finiti (DFA)
automa non deterministico a stati finiti (NFA)
Automi calcolabilità e complessità
complessità (P vs NP)
non determinismo
Star di Kleene
teoria dell'incompletezza di Godel
Basi di dati
3NF (terza forma normale)
algebra relazionale dei database
algoritmo di decomposizione in 3NF
algoritmo per il calcolo della chiusura di un insieme di attributi
algoritmo per il calcolo delle chiavi
B-tree
Basi di dati
chiave
chiusura di Armstrong
chiusura di un insieme di attributi
chiusura di un insieme di dipendenze funzionali
copertura minimale di un insieme di dipendenze
database
database relazionali
DBMS (Database Management System)
differenza
dipendenza funzionale
dipendenza parziale
dipendenza transitiva
file con indice (ISAM)
file hash
file heap
foreign key
intersezione
join naturale
modello ad oggetti (object)
modello gerarchico (hierarchical)
modello reticolare (network)
organizzazione fisica di un database relazionale
prodotto cartesiano
progettazione di un database relazionale
proiezione
relazione master-slave tra tabelle
ridenominazione
selezione
SQL
tabella
theta join
transazione
trovare la tupla con l'attributo massimo in un'istanza
unione
verifica di una buona decomposizione in 3NF
vista
Basi di dati 2
Basi di dati 2
Class and Object diagram
documenti di specifica
esempio di raffinamento dei requisiti
esercitazione E.A.1.1
esercizio A.1.1
fasi dello sviluppo del software
logica del primo ordine
semantica
voli 2
Calcolo delle probabilità
Calcolo delle probabilità
casi notevoli di varianza e valore atteso
coefficiente binomiale
combinazioni con ripetizioni consentite
combinazioni senza ripetizioni
covarianza di due variabili aleatorie
disposizioni con ripetizioni consentite
disposizioni senza ripetizioni
distribuzione binomiale
distribuzione di Bernoulli
distribuzione di Poisson 🐟
distribuzione geometrica
disuguaglianza di Cauchy-Schwarz
disuguaglianza di Ghebyshev
disuguaglianza di Markov
esiti equiprobabili
evento
formulario di calcolo delle probabilità
funzione generatrice dei momenti
indipendenza di due eventi
indipendenza di due variabili aleatorie continue
indipendenza di n eventi
indipendenza di tre eventi
legge condizionata
legge congiunta e leggi marginali di variabili aleatorie
legge dei grandi numeri
legge della probabilità totale
legge di Cauchy
legge esponenziale
legge Gaussiana generica
legge Gaussiana standard
legge uniforme
misura di probabilità
probabilità
probabilità condizionata
probabilità continua
regola della moltiplicazione
scelta di k elementi da n
spazio campionario
stima della p-value
teorema del limite centrale
teorema di Bayes
trasformazione di variabili aleatorie
valore atteso di una variabile aleatoria
variabile aleatoria indicatrice
variabili aleatorie
varianza di una variabile aleatoria
Calcolo differenziale
esercizi
esercizio con intervalli, min e max
calcolo differenziale
concetto di asintotico
derivate
distanza fra x e y sulla linea numerica
esercizi con i teoremi delle funzioni
formula di Stirling
formulario completo del calcolo differenziale
funzione continua e discontinua
infiniti e infinitesimi
intervalli in R
leggi della monotonia
limite
limiti di funzioni
limiti di successioni
limiti notevoli delle successioni e forme indeterminate
maggiorante e minorante + teoremi
massimo e minimo
miglior polinomio
notazione o-piccolo
numeri interi relativi
numeri naturali
numeri razionali
numeri reali
regole di derivazione
serie di Taylor
successione
tabella delle derivate prime
teorema de l'hopital
teorema dei valori intermedi
teorema dell'esistenza degli zeri
teorema di unicità del limite
teorema di Weierstrass
teorema di Weierstrass + Valori Intermedi generalizzati
teorema ponte
teoremi dei limiti sulle successioni
Calcolo integrale
calcolo integrale
EDO del secondo ordine
EDO lineari del primo ordine
EDO non lineari del primo ordine a variabili separabili
elenco di equazioni differenziali da risolvere
equazioni differenziali
formulario di calcolo integrale
problemi di Cauchy
serie
serie armoniche
serie geometriche
successione di Cauchy
Excalidraw
Drawing 2026-09-30 08.47.26.excalidraw
Ingegneria del software
catena di Markov (DTMC)
Ingegneria del software
Interdisciplinare
albero
algebra di Boole
algoritmo
array
automa
cardinalità
classe di equivalenza
configurazione
contare con le biezioni
dizionario
espressioni booleane
espressioni regolari (regex)
funzione
funzioni di codifica e decodifica
grafo
hash table
heap
induzione completa
insieme
insieme delle parti
linguaggio regolare
linked list
lista doppiamente puntata
memoria
notazione asintotica
operazioni fra gli insiemi
permutazioni
proprietà, tipi di relazioni e ordini
puntatore
queue
relazione
sottoinsiemi
stack
struttura dati
UML (Unified Modeling Language)
Introduzione agli algoritmi
albero di ricerca
algoritmi di ordinamento
algoritmi di ricerca
algoritmi ricorsivi
bubble sort
bucket sort
complessità delle operazioni più comuni in Python
complessità spaziale
complessità temporale
costo computazionale
counting sort
equazioni di ricorrenza
esempi di algoritmi con diversa complessità
esercizi dell'esonero di algoritmi
heap sort
implementazioni degli alberi binari
insertion sort
introduzione agli algoritmi
lista di Python
master theorem
merge sort
metodo dei limiti asintotici delle somme
metodo dell'albero
metodo dell'integrale
metodo della forma chiusa
metodo di sostituzione
metodo iterativo
nomenclatura degli alberi
notazione O-grande
notazione Omega
notazione Theta
problem solving
problemi combinatori
pseudocodice
quick sort
ricerca binaria
ricerca lineare
selection sort
Linguaggi di programmazione
algebra eterogenea
algebra induttiva
Linguaggi di programmazione
linguaggio
linguaggio di programmazione
morfismi tra algebre
pragmatica
primo e secondo ordine
regola di inferenza
sintassi astratta
Untitled
Metodi matematici per l'informatica
esercizi
dimostrare che dato un insieme V di n punti li possiamo collegare due a due con n(n-1) diviso 2 segmenti (si assuma n maggiore uguale a 2)
dimostrazione della numerabilità con l'induzione
induzione con diagonali dei poligoni
algebra induttiva degli alberi binari (finiti)
dimostrazione della proprietà commutativa del prodotto cartesiano rispetto all'unione
esempi con situazioni reali
esempi di formule
esempio di formula logica
formule logiche
funzione calcolabile
funzione caratteristica di un insieme
implicazione materiale
induzione
induzione con definizione di funzione
induzione matematica
induzione strutturale
logica proposizionale
metodi matematici per l'informatica
sintassi
Metodologie di programmazione
analisi dello stato della memoria
anatomia della memoria della JVM
binding
campi
caratteristiche di Java
casting
char
classe
classe annidate e interne
classe anonima
classe astratta
classe final
classe Object
classe wrapper
clone
collezione
costruttore
design pattern
diagramma "javesco" (Faralli) delle classi in UML
differenze tra classi anonime e espressioni lambda
eccezioni
enumerazione
ereditarietà
ereditarietà multipla
esempio di progettazione di una classe
espressione
espressione lambda
flussi di controllo
gestione di input e output
hashcode
Hello World in Java
incapsulamento
interfacce funzionali
interfacce notevoli
interfaccia
interfaccia iterabile
Java
java.lang.String
javadoc
jolly
Junit
letterale
lettura input da console
messaggio
metodo
metodologie di programmazione
modificatori di visibilità
oggetto
operatori
overloading
overriding
package
polimorfismo
programmazione funzionale
programmazione orientata agli oggetti
relazioni tra oggetti
ricorsione
SAM (Single Abstract Method)
stream
this e super
tipi
tipi generici
upcasting e downcasting
variabile
Progettazione di algoritmi
algoritmi di approssimazione
algoritmo di Bellman-Ford
algoritmo di Dijkstra
algoritmo di Floyd-Warshall
algoritmo di Kosaraju per trovare le componenti fortemente connesse in un grafo orientato
algoritmo di Kruskal
algoritmo esaustivo per il calcolo del diametro di un grafo
algoritmo per calcolare la componente fortemente connessa di un nodo in un grafo orientato
algoritmo per il calcolo del diametro di un albero
algoritmo per il calcolo del grado
algoritmo per il calcolo del vettore delle distanze
algoritmo per il rilevamento dei cicli in grafi orientati
algoritmo per la 2-colorazione dei grafi
algoritmo per la classificazione degli archi in grafi diretti dopo la DFS
algoritmo per la ricerca di un pozzo universale
algoritmo per la verifica di pozzo universale
algoritmo per trovare i ponti in un grafo
algoritmo per trovare le componenti connesse in un grafo non orientato
algoritmo per trovare le sorgenti di un DAG da cui si può raggiungere un determinato nodo
backtracking
BFS
DFS
esercizi da esami passati (con indizi)
implementazioni dei grafi
ordinamento topologico
PL2, Dimostrazioni di proprietà dei grafi
PL5
PL6
PL9
problema di ottimizzazione
Progettazione di algoritmi
tecnica della programmazione dinamica
tecnica divide et impera
tecnica greedy
Progettazione di sistemi digitali
esercizi
dato x contenuto nell'intervallo 0, 7 (compresi) rappresentato in 3 bit CA2 stendere la tavola di verità. y = x-2 rappresentato in CA2 con il minimo numero di bit
esercizi di progettazione di sistemi digitali
esercizio con conversioni tra forme SOP, POS e canoniche
Scheda di esercizi n. 3
si converta in base 4 il numero 231(10), si converta poi in base 16 e si sommi a 34A(16)
si scriva -45 in CA2 a 7 bit e poi si sottragga 21
sommare F7A0 e FB60 che rappresentano valori IEEE 754 HP
stendere la tavola di verità e trovare le espressioni canoniche SOP e POS
verificare l'identità
adder
addizionatore a propagazione di riporto (ripple carry adder)
addizionatore sequenziale
algebra delle porte logiche e reti combinatorie
altri operatori logici
ALU
analisi di reti sequenziali
AND gate con funzione di controllo
ASCII
bit di parità
bus
caricamento parallelo e seriale di registri + right shift register
codice 2-su-5
codice di Hamming
codifica BCD (Binary Coded Decimal)
codifica dell'informazione (alfa)numerica
codificatore (ENC)
comparatore (COMP)
complementatore
complementazione
complemento a 1 (CA1)
complemento a 2 (CA2)
contatore con abilitazione al conteggio
contatore di eventi
contatore sincrono bidirezionale
contatore sincrono con reset
contatore sincrono modulo 2 alla n
criterio di minimalità
decodificatore (DEC)
demultiplexer (DEMUX)
diagramma temporale di reti sequenziali
errori di trasmissione
esempio di analisi di una rete sequenziale (automa contatore)
esempio di analisi di una rete sequenziale (automa riconoscitore)
esempio di progettazione dell'automa della macchina distributrice
estensione del segno in CA2
flip-flop
flip-flop (JK)
flip-flop delay (D)
flip-flop set-reset (SR)
flip-flop SR master-slave
flip-flop toggle (T)
full adder (FA)
funzioni non completamente definita o specificata
gray code
half adder (HA)
latch
latch set-reset (SR)
macchine di Moore e Mealy
mappa di Karnaugh
moduli standard
modulo e segno (MS)
moltiplicazioni e divisioni per potenze della base
multiplexer (MUX)
NAND e NOR
operazioni aritmetiche in base 2
operazioni con numeri in virgola mobile
ottimizzazione delle reti combinatorie
overflow
PC (Program Counter)
porte logiche
progettazione di sistemi digitali
programmable logic array (PLA)
rappresentazione o codifica dei numeri interi relativi
rappresentazione o codifica dei numeri naturali
rappresentazione o codifica di numeri con la virgola
read only memory (ROM)
registri
registri di memorizzazione
registro contatore
registro universale
reti AND-TO-OR
reti OR-TO-AND
reti sequenziali
ripple carry adder per valori in CA2
rotazione a destra e a sinistra di registri
scorrimento sia a destra che a sinistra di registri (SISO)
segnali a onda quadra
sintesi di reti sequenziali
sistema binario
sistemi numerici del calcolatore
sistemi numerici posizionali
tabelle inverse dei flip flop
unità di misura del sistema binario
XOR
Reti di elaboratori
broadcast
checksum
classificazione delle reti
confronto tra RIP e OSPF
cosa succede quando si fa una richiesta HTTPS?
creare un'applicazione di rete
DHCP (Dynamic Host Configuration Protocol)
DNS (Domain Name System)
Esercizi
Formulario reti di elaboratori
FTP (File Transfer Protocol)
HTTP (HyperText Transfer Protocol)
ICMP (Internet Control Message Protocol)
Internet
IP (Internet Protocol)
ISP (Internet Service Provider)
LAN (Local Area Network)
layer interface
meccanismi di trasporto affidabile
mezzi cablati
mezzi wireless
misure della performance della rete e ritardi
multicast e IGMP (Internet Group Management Protocol)
NAT (Network Address Translation)
OSPF (Open Shortest Path First)
packet sniffing
porta
protocolli per le email
protocollo
rete
reti a commutazione di circuito
reti a commutazione di pacchetto (o a datagramma)
Reti di elaboratori
RIP (Routing Information Protocol)
router
routing e forwarding
routing su Internet e BGP
servizio
socket
stack protocollare TCP-IP
standard internet
switch
TCP (Transmission Control Protocol)
Tipologie di esercizi
UDP (User Datagram Protocol)
URL
WAN (Wide Area Network)
WWW (World Wide Web)
Sistemi operativi 2
comandi della bash (Bourne Again shell)
dev
etc-fstab
etc-group
etc-mtab
etc-passwd
file
file speciali
file system
inode
kernel
permessi di accesso
sistema operativo
Sistemi operativi 2
system call
system calls per l'allocazione della memoria
system calls per la gestione degli errori
system calls per la gestione dei file IO
utente
appunti del primo anno
appunti del secondo anno
appunti del terzo anno
Home
❯
Metodi matematici per l'informatica
❯
implicazione materiale
implicazione materiale
05 ott 2026
1 minuti
tabella di verità
V
→
V
V
V
→
F
F
F
→
V
V
F
→
F
V
Vista grafico
Link entranti
logica proposizionale