🖥️ Wiki
Cerca
Search
Tema scuro
Tema chiaro
Esplora
algebra lineare
(MCD) massimo comun divisore
(mcm) minimo comune multiplo
(SCR) sistema completo di rappresentanti
Algebra
algoritmo di Gauss
anello
applicazione
applicazione biiettiva o biiezione
applicazione lineare
applicazione quoziente
campo
classi laterali
composizione
corrispondenza
crivello di Eratostene
determinante
diagramma
Esercizi 21 novembre
Esercizi su strutture algebriche e divisibilità
formula di Grassmann
grafo
gruppo
gruppo abeliano
gruppo di permutazioni
gruppo quoziente
identità di Bézout
insieme quoziente
irriducibilità
isomorfismo
lemmi sui sottogruppi additivi di Z (aZ + bZ)
omomorfismo
ordine
orrore
partizione
piccolo teorema di Fermat
primalità
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 decomponibilità
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
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
controllo della concorrenza in una base di dati
copertura minimale di un insieme di dipendenze
database
database relazionali
DBMS (Database Management System)
differenza
dipendenza funzionale
dipendenza parziale
dipendenza transitiva
file con indice
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
unione
verifica di una buona decomposizione in 3NF
vista
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
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
esercizi di calcolo differenziale
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
interdisciplinare
albero
algebra di Boole
algoritmo
array
cardinalità
classe di equivalenza
contare con le biezioni
dizionario
espressioni booleane
funzione
funzioni di codifica e decodifica
hash table
heap
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
regex (espressioni regolari)
relazione
sottoinsiemi
stack
struttura dati
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
counting sort
efficienza degli algoritmi (costo computazionale)
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
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
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 completa
induzione con definizione di funzione
induzione matematica
induzione sulla struttura del linguaggio
logica proposizionale
metodi matematici per l'informatica
sintassi
metodologie di programmazione
analisi dello stato della memoria
anatomia della memoria della JVM
ArrayList
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 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
UML (Unified Modeling Language)
upcasting e downcasting
variabile
progettazione di sistemi digitali
esercizi
circuito di controllo apertura cancello
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
automa a stati finiti (finite state automata)
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)
mappa di Karnaugh
moduli standard
modulo e segno (MS)
moltiplicazioni e divisioni per potenze della base
multiplexer (MUX)
NAND e NOR
notazione polarizzata
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
sia x un numero BCD. considerare la codifica y nel codice 2-su-5. scrivere le espressioni minimali per i singoli bit di y
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
sistemi operativi
(PCB) Process Control Block
allocazione dei processi in memoria
attributi di stato di un processo
modello a 2 stati dei processi
modello a 5 stati dei processi
modello a 6 stati dei processi
processo
sistema operativo
Sistemi operativi
Esercizio
Home
❯
metodi matematici per l'informatica
❯
implicazione materiale
implicazione materiale
08 gen 2026
1 minuti
tabella di verità
V
→
V
V
V
→
F
F
F
→
V
V
F
→
F
V
Vista grafico
Link entranti
logica proposizionale