Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] intere, la soddisfattibilità di un'espressione booleana, la possibilità di sequenziare un insieme arco (ni, nj), in G₂ esiste un arco (nπ(i), nπ(j)). Il protocollo funziona nel seguente modo:
V sceglie a caso i in {1,2} e una permutazione π;
calcola ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] pensa che non appartenga alla classe P della complessità ordinaria).
Complessità di un circuito
Il calcolo del valore di una funzionebooleana di n variabili dà luogo a un circuito: si tratta semplicemente di un grafo orientato aciclico con 2n nodi ...
Leggi Tutto
Computer. Hardware
Gianfranco Bilardi
Raffaele Tripiccione
Obiettivo dei sistemi informatici è la soluzione automatica di problemi computazionali. Un problema computazionale è un insieme di domande [...] di 0 e 1. Tecnicamente, una tale regola è nota come funzionebooleana.
Qualsiasi funzionebooleana si può realizzare componendo un’unica funzione opportunamente scelta, per esempio la funzione NAND. Essa elabora due bit per produrne un terzo, cui ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] pensa che non appartenga alla classe P della complessità ordinaria.
Complessità di un circuito
Il calcolo del valore di una funzionebooleana di n variabili dà luogo a un circuito: si tratta semplicemente di un grafo orientato aciclico, con 2n nodi ...
Leggi Tutto
percettrone
Mauro Cappelli
Modello base di rete neurale proposto nel 1958 dallo psicologo americano Frank Rosenblatt. Sebbene sia oggi considerato datato, rappresenta tuttavia il modello di partenza [...] come modello elementare di una più vasta rete neurale composta di numerosi neuroni. Le unità elementari di un percettrone possono rappresentare funzionibooleane di base (AND, OR, NOT), mentre una rete con più strati potrebbe rappresentare qualsiasi ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] e di prodotto logico (x ∙ y = l se e solo se x=y= 1). Esempi di proposizioni booleane sono F =x1 ∙ (x̅2 +x1 ∙ x3) e F = (x̅1 + x2) ∙ ( impiega nel caso peggiore per risolvere il problema, in funzione della dimensione n dei dati in ingresso. Per fare ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] M. Per es. λx·x(xy) rappresenta l'operazione di applicare una funzione due volte a un particolare argomento y, sicché per tutti i termini N l scoprire nuovi teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di varie ...
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 [...] le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che la versione quantistica del bit. Lo stato di un qubit è espresso dalla funzione ∣ψ>=α∣0>+β∣1> in cui le ampiezze α ...
Leggi Tutto