Leonardo_Bizzoni
  • Alberi binari
    Fondamenti_di_Informatica
  • Albero binario pieno
    Fondamenti_di_Informatica
  • Albero binario completo
    Fondamenti_di_Informatica
  • Albero binario bilanciato
    Fondamenti_di_Informatica
  • Albero binario di ricerca - Binary Search Tree BST
    Fondamenti_di_Informatica
  • Attraversamento di un albero binario
    Fondamenti_di_Informatica
  • Sottoreticoli
    Fondamenti_di_Informatica
  • Composizione di relazioni
    Fondamenti_di_Informatica
  • Alberi
    Fondamenti_di_Informatica
  • Grafo aciclico orientato DAG
    Fondamenti_di_Informatica
  • Grafo etichettato
    Fondamenti_di_Informatica
  • Matrici booleane
    Fondamenti_di_Informatica
  • Grafi
    Fondamenti_di_Informatica
  • Prodotto booleano
    Fondamenti_di_Informatica
  • Operazioni su matrici booleane
    Fondamenti_di_Informatica
  • Numerabilità
    Fondamenti_di_Informatica
  • Cardinalità
    Fondamenti_di_Informatica
  • Funzione invertibile
    Fondamenti_di_Informatica
  • Multinsieme
    Fondamenti_di_Informatica
  • Funzione caratteristica
    Fondamenti_di_Informatica
  • Composizione di funzioni
    Fondamenti_di_Informatica
  • Operazioni n-arie
    Fondamenti_di_Informatica
  • Funzioni
    Fondamenti_di_Informatica
  • Relazioni
    Fondamenti_di_Informatica
  • Segmento
    Fondamenti_di_Informatica
  • Sequenze
    Fondamenti_di_Informatica
  • Coppie ordinate
    Fondamenti_di_Informatica
  • Prodotto cartesiano
    Fondamenti_di_Informatica
  • Partizioni di insiemi
    Fondamenti_di_Informatica
  • Famiglia di insiemi
    Fondamenti_di_Informatica
  • Insieme delle parti - insieme potenza
    Fondamenti_di_Informatica
  • Sottoinsiemi
    Fondamenti_di_Informatica
  • Insiemi
    Fondamenti_di_Informatica
  • Soddisfacibilità di una formula
    Fondamenti_di_Informatica
  • Sostituizioni
    Fondamenti_di_Informatica
  • Assegnazione predicativa
    Fondamenti_di_Informatica
  • Struttura del primo ordine o interpretazione
    Fondamenti_di_Informatica
  • Termine
    Fondamenti_di_Informatica
  • Sintassi della logica predicativa o di primo order (FOL)
    Fondamenti_di_Informatica
  • Tableau
    Fondamenti_di_Informatica
  • Conseguenza logica
    Fondamenti_di_Informatica
  • Consistenza - inutile?
    Fondamenti_di_Informatica
  • Regole di inferenza
    Fondamenti_di_Informatica
  • Modus Ponens
    Fondamenti_di_Informatica
  • Modus Tollens
    Fondamenti_di_Informatica
  • Eliminazione ed Introduzione dell'and
    Fondamenti_di_Informatica
  • Introduzione dell'or
    Fondamenti_di_Informatica
  • Terzo escluso
    Fondamenti_di_Informatica
  • Eliminazione della negazione
    Fondamenti_di_Informatica
  • Contraddizione
    Fondamenti_di_Informatica
  • Risoluzione unitaria
    Fondamenti_di_Informatica
  • Chiusura deduttiva - inutile?
    Fondamenti_di_Informatica
  • Sistemi formali - sistema logico - logica
    Fondamenti_di_Informatica logica
  • Conseguenze deduttive - inutile?
    Fondamenti_di_Informatica
  • Dimostrazioni
    Fondamenti_di_Informatica
  • Sistemi deduttivi
    Fondamenti_di_Informatica
  • Completezza
    Fondamenti_di_Informatica
  • Spostamenti - inutile?
    Fondamenti_di_Informatica
  • Conseguenze logiche
    Fondamenti_di_Informatica
  • Tipi di formule
    Fondamenti_di_Informatica
  • Tautologia
    Fondamenti_di_Informatica
  • Contraddizione
    Fondamenti_di_Informatica
  • Modelli e contromodelli
    Fondamenti_di_Informatica
  • Equivalenza
    Fondamenti_di_Informatica
  • Analisi di formule
    Fondamenti_di_Informatica
  • Assegnazioni e valutazioni
    Fondamenti_di_Informatica
  • Connettivi proposizionali
    Fondamenti_di_Informatica
  • Negazione
    Fondamenti_di_Informatica
  • Congiunzione
    Fondamenti_di_Informatica
  • Disgiunzione
    Fondamenti_di_Informatica
  • Implicazione
    Fondamenti_di_Informatica
  • Doppia implicazione
    Fondamenti_di_Informatica
  • Scomposizione di una formula
    Fondamenti_di_Informatica
  • Logica proposizionale base
    Fondamenti_di_Informatica
  • Proposizioni atomiche
    Fondamenti_di_Informatica
  • Formule
    Fondamenti_di_Informatica
  • Valori di verità
    Fondamenti_di_Informatica
  • Buon ordinamento
    Fondamenti_di_Informatica
  • Teorema
    Fondamenti_di_Informatica
  • Ipotesi
    Fondamenti_di_Informatica
  • Definizione
    Fondamenti_di_Informatica
  • Assioma
    Fondamenti_di_Informatica
  • Utilizzo della ricorsione e induzione
    Fondamenti_di_Informatica
  • Principio di Ricorsione
    Fondamenti_di_Informatica
  • Principio di Induzione completa
    Fondamenti_di_Informatica
  • Circuiti logici
    Fondamenti_di_Informatica
  • Simmetria di una relazione
    Fondamenti_di_Informatica
  • Algebra di Boole
    Fondamenti_di_Informatica
  • Omomorfismi e isomorfismi
    Fondamenti_di_Informatica
  • Relazioni e classi di equivalenza
    Fondamenti_di_Informatica
  • Relazione di congruenza
    Fondamenti_di_Informatica
  • Chiusura o sottosemigruppo
    Fondamenti_di_Informatica
  • Gruppi
    Fondamenti_di_Informatica
  • Monoide
    Fondamenti_di_Informatica
  • Semigruppo
    Fondamenti_di_Informatica
  • Reticoli
    Fondamenti_di_Informatica
  • Finito (nodi finiti)
    Fondamenti_di_Informatica
  • Completo
    Fondamenti_di_Informatica
  • Limitato
    Fondamenti_di_Informatica
  • Distributivo
    Fondamenti_di_Informatica
  • Proprietà delle operazioni
    Fondamenti_di_Informatica
  • Operazioni su insiemi
    Fondamenti_di_Informatica
  • Unione
    Fondamenti_di_Informatica
  • Intersezione
    Fondamenti_di_Informatica
  • Operazione complemento
    Fondamenti_di_Informatica
  • Differenza
    Fondamenti_di_Informatica
  • Differenza simmetrica
    Fondamenti_di_Informatica
  • Strutture algebriche
    Fondamenti_di_Informatica
  • Complemento
    Fondamenti_di_Informatica
  • Prodotto di reticoli
    Fondamenti_di_Informatica
  • Da poset a diagramma di Hasse e viceversa
    Fondamenti_di_Informatica
  • Diagramma di Hasse
    Fondamenti_di_Informatica
  • Elementi estremali
    Fondamenti_di_Informatica
  • Minimo
    Fondamenti_di_Informatica
  • Massimo
    Fondamenti_di_Informatica
  • Minoranti
    Fondamenti_di_Informatica
  • Maggioranti
    Fondamenti_di_Informatica
  • Ordine totale stretto
    Fondamenti_di_Informatica
  • Copertura
    Fondamenti_di_Informatica
  • Transitività di una relazione
    Fondamenti_di_Informatica
  • Prodotto di ordinamenti
    Fondamenti_di_Informatica
  • Ordine totale
    Fondamenti_di_Informatica
  • Tricotomia
    Fondamenti_di_Informatica
  • Antisimmetria di una relazione
    Fondamenti_di_Informatica
  • Irriflessività di una relazione
    Fondamenti_di_Informatica
  • Asimmetria di una relazione
    Fondamenti_di_Informatica
  • Riflessività di una relazione
    Fondamenti_di_Informatica
  • Strutture relazionali e ordinamenti
    Fondamenti_di_Informatica
  • Preordine
    Fondamenti_di_Informatica
  • Quasi-ordine o ordine stretto
    Fondamenti_di_Informatica
  • Ordine parziale, semiordinamento o poset
    Fondamenti_di_Informatica
  • Chiusura riflessiva e transitiva
    Fondamenti_di_Informatica
  • Chiusura transitiva
    Fondamenti_di_Informatica
  • Chiusura riflessiva
    Fondamenti_di_Informatica