• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
13 risultati
Tutti i risultati [13]
Informatica [6]
Matematica [5]
Temi generali [3]
Cibernetica e intelligenza artificiale [2]
Matematica applicata [2]
Programmazione e programmi [1]
Biologia [1]
Antropologia fisica [1]
Fisica [1]
Fisica matematica [1]

espressione booleana

Enciclopedia della Matematica (2013)

espressione booleana espressione booleana espressione in un’algebra di → Boole. Si veda anche → minimizzazione. ... Leggi Tutto
TAGS: ALGEBRA DI → BOOLE

Informatica

Enciclopedia Italiana - VI Appendice (2000)

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, [...] di tale tipo sono la risolubilità di un sistema di equazioni lineari a variabili intere, la soddisfattibilità di un'espressione booleana, la possibilità di sequenziare un insieme di lavori su più macchine in modo da rispettare una data scadenza, la ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

Complessità algoritmica

Enciclopedia della Scienza e della Tecnica (2007)

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, [...] polinomiale con una macchina di Turing non deterministica si riducono all'unico problema della soddisfattibilità di espressioni booleane. Negli anni seguenti si riconobbe che numerosissimi problemi ben posti e praticamente rilevanti sono equivalenti ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

and

Enciclopedia della Matematica (2013)

and and uno degli operatori logici fondamentali dell’algebra di → Boole, detto anche prodotto logico e indicato con ×. Corrisponde al connettivo ∧ della congiunzione che, dati due enunciati A e B, ne [...] », 1 come «vero»): L’operatore and gode della proprietà associativa; per estensione, la sua applicazione a un qualsiasi numero di espressioni booleane dà 1 solo se tutte hanno valore 1, mentre dà 0 se almeno una di esse ha valore 0. Nell’algebra di ... Leggi Tutto
TAGS: PROPRIETÀ ASSOCIATIVA – ESPRESSIONI BOOLEANE – ALGEBRA DI BOOLE – TAVOLA DI VERITÀ

or

Enciclopedia della Matematica (2013)

or or uno degli operatori logici fondamentali dell’ algebra di → Boole, detto anche somma logica e indicato con +. Corrisponde al connettivo ∨ della → disgiunzione. Tale operatore binario, dati due enunciati [...] la seguente: L’operatore or gode della proprietà associativa e, per estensione, la sua applicazione a un qualsiasi numero di espressioni booleane dà 1 se e solo se almeno una di esse ha valore 1 (è vera). Esso realizza quindi una funzione logica ... Leggi Tutto
TAGS: PROPRIETÀ ASSOCIATIVA – ESPRESSIONI BOOLEANE – ALGEBRA DI → BOOLE – OPERATORE BINARIO – TAVOLA DI VERITÀ

ALGEBRA

Enciclopedia Italiana - IV Appendice (1978)

Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] creazione e allo studio di nuove strutture algebriche (a. booleane, reticoli; a. cilindriche, poliadiche, ecc.). Mutamento della finito e ben determinato) per decidere se due espressioni polinomiali costruite applicando le operazioni F di una ... Leggi Tutto
TAGS: ACCADEMIA NAZIONALE DEI LINCEI – SISTEMI ALGEBRICI GENERALI – TEORIA DEL PRIMO ORDINE – ESTENSIONE TRASCENDENTE – TEORIA DELLE CATEGORIE
Mostra altri risultati Nascondi altri risultati su ALGEBRA (2)
Mostra Tutti

Logica matematica

Enciclopedia del Novecento (1978)

Logica matematica Abraham Robinson *La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] a⋂1=a, a⋃a′=1, a⋂a′=0. Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V, dove i (denotazione) in ciascuna di esse. Se X è un'espressione valida in tutti i modelli di un insieme di proposizioni S ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – SCOMPOSIZIONE IN FATTORI PRIMI – TEOREMA DEL BUON ORDINAMENTO – FUNZIONE RICORSIVA PRIMITIVA – INSIEME DEI NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su Logica matematica (9)
Mostra Tutti

Imparare a generalizzare

Frontiere della Vita (1999)

Imparare a generalizzare Manfred Opper (Neural Computing Research Group, Aston University Birmingham, Gran Bretagna) Questo saggio fornisce un'introduzione alle teorie che mirano alla comprensione della [...] un perceptron che calcola output a valori binari dal segno dell'espressione [1]. Come studente scegliamo una rete con una funzione di P. Carnevali e S. Patarnello nelle cosiddette reti booleane, che possiedono unità elementari di calcolo diverse da ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – FISICA MATEMATICA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

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. [...] di Kleene questo insieme di parole si può anche descrivere con un'espressione razionale, e cioè: (ab+b)*(ε+a), dove ε denota la problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio: [2] ∀x∀y ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] Kleene, questo insieme di parole si può anche descrivere con un'espressione razionale, e cioè: (ab+b)*(ε+a), dove ε . Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio: [2] ∀ x ∀ y(x ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA
1 2
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali