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
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzionebooleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] σ-algebra di sottoinsiemi, cioè un’algebra booleana di sottoinsiemi chiusa non solo per le ; si verifica che le forme lineari definite in V, e a valori in K, cioè le funzioni f:V→K tali che f(k1v1+k2v2)=k1f(v1) + k2f(v2), formano a loro volta ...
Leggi Tutto
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
Dissenso
LLewis S. Feuer
di Lewis S. Feuer
Dissenso
sommario: 1. Definizioni preliminari: tipi di ‛dissenso'. 2. La repressione del dissenso nell'Europa antica e medioevale. 3. La libertà di dissenso [...] congressi della nuova sinistra, che essi consideravano la funzione della donna innanzitutto come quella di oggetto della . La verità è che Mozart, Pascal, l'algebra booleana, Shakespeare, il regime parlamentare, le chiese barocche, Newton ...
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