Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] dimostrazioni che richiedono un gran numero di calcoli non controllabili dall’uomo, come, per es., i calcoli sui nodi di un grafo che hanno portato alla dimostrazione nell’ambito della teoriadeigrafi del problema dei quattro colori (➔ colore). ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] devono essere M1, M2 e M3, provengono dalla teoriadei numeri primi e dall’aritmetica modulare. Un intero è e io, senza fargli sapere quale ho scelto, permuto le etichette dei due grafi. Se il mio interlocutore è veramente un oracolo, può dirmi ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] come devono essere M1, M2 e M3, provengono dalla teoriadei numeri primi e dall'aritmetica modulare. Un intero è e io, senza fargli sapere quale ho scelto, permuto le etichette dei due grafi. Se il mio interlocutore è veramente un oracolo, può dirmi ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] catena di al più cinque conoscenti. Lo studio di queste e altre proprietà del grafo del Web è fondamentale per lo sviluppo di motori di ricerca sempre più efficienti.
Teoriadei giochi e gestione di reti. In reti costituite da un numero molto elevato ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] Un applet, in teoria, può essere eseguito su per costruire strutture articolate, come i grafi o gli alberi, formate da entità La semantica dell’operazione a+b dipende in genere dal tipo dei dati coinvolti: può indicare l’addizione fra due numeri, la ...
Leggi Tutto
grafo
s. m. [dal tema del gr. γράϕω «scrivere»]. – In matematica, configurazione (detta più propriam. g. lineare o singramma) formata da un insieme di punti (vertici o nodi del g.) e di linee (lati o spigoli del g.) che uniscono coppie di...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...