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
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] del piano (n = 1, n2−1 = 0, cioè nessun punto base), la totalità dei cerchi passanti per un dato punto A (n = 2, n2−1 = 3, i tre i componenti utilizzati, è detto grafo della rete.
Teoria delle r. elettriche
Nella teoria delle r. sono sviluppati vari ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] si arresta in uno stato di S−F. La teoria della computabilità insegna che possono esistere stringhe per cui la Pedq sono rispettivamente i capostipiti in forma decisionale dei problemi di percorsi su grafi, di allocazione in una o più dimensioni ...
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
rete di Petri
Mauro Cappelli
Strumento teorico per la modellazione di processi in un sistema distribuito a stati discreti. Proposte nel 1962 da Carl Adam Petri, le reti di Petri rappresentano una teoria [...] una generalizzazione della teoria degli automi. Esse permettono di rappresentare la struttura del sistema come un grafo composto da lo stato della rete è rappresentato ponendo dei token (marche) nei posti del grafo. La rete evolve da uno stato all ...
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...