• 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
12 risultati
Tutti i risultati [12]
Statistica e calcolo delle probabilita [2]
Matematica [2]
Economia [2]
Diritto [2]
Logica matematica [1]
Metodi teorie e provvedimenti [1]
Diritto del lavoro [1]
Lingua [1]
Grammatica [1]
Psicologia e psicanalisi [1]

forma normale disgiuntiva

Enciclopedia della Matematica (2017)

forma normale disgiuntiva forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di). ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – PROGRAMMAZIONE LOGICA – PROLOG

forma normale congiuntiva

Enciclopedia della Matematica (2017)

forma normale congiuntiva forma normale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna [...] congiuntiva e, utilizzando le leggi di → De Morgan, è possibile riscrivere la proposizione in forma normale disgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali è una congiunzione generalizzata di lettere ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – FORMA NORMALE DISGIUNTIVA – PROGRAMMAZIONE LOGICA – LEGGI DI → DE MORGAN – PROLOG

Logica matematica

Enciclopedia della Scienza e della Tecnica (2007)

Logica matematica Silvio Bozzi Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] complessità polinomiale, si basano sul fatto che ogni formula è equivalente a una in forma normale ‒ forma normale disgiuntiva FND o congiuntiva FNC. Queste forme erano note fin dagli albori della logica matematica ma furono utilizzate per la prima ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – FORMA NORMALE DISGIUNTIVA – TEORIA DELLE CATEGORIE – TEOREMA DI COMPLETEZZA – TEOREMA DI COMPATTEZZA
Mostra altri risultati Nascondi altri risultati su Logica matematica (9)
Mostra Tutti

PROLOG

Enciclopedia della Matematica (2013)

PROLOG PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] Una qualsiasi proposizione può essere riscritta in modo equivalente in → forma normale congiuntiva e, utilizzando le leggi di → De Morgan, in → forma normale disgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – FORMA NORMALE DISGIUNTIVA – INTELLIGENZA ARTIFICIALE – PROGRAMMAZIONE LOGICA – LEGGI DI → DE MORGAN
Mostra altri risultati Nascondi altri risultati su PROLOG (1)
Mostra Tutti

clausola

Enciclopedia della Matematica (2013)

clausola clausola in logica, formula ben formata consistente nella disgiunzione di zero o più lettere enunciative, dette letterali; è quindi, una disgiunzione generalizzata di letterali. Nel caso in [...] anche a clausole con variabili e, quindi, alla logica dei predicati. Inoltre, una formula ben formata è in → forma normale disgiuntiva se è formata dalla disgiunzione di formule più elementari, ciascuna delle quali è una congiunzione. Si dimostra che ... Leggi Tutto
TAGS: FORMA NORMALE DISGIUNTIVA – CLAUSOLA DI → HORN – EQUIVALENZA LOGICA – LOGICA

normale

Enciclopedia della Matematica (2013)

normale normale in geometria, sinonimo di perpendicolare, dall’etimo di «norma», che significa «squadra». Espressioni quali «retta normale a un’altra retta» o «retta normale a un piano» riprendono questo [...] le equazioni ax + b = 0 o ax 2 + bx + c = 0. Anche nel calcolo degli enunciati si parla di forma normale (congiuntiva o disgiuntiva) per indicare una particolare scrittura che risponde a criteri di regolarità e semplicità. □ In teoria dei gruppi, il ... Leggi Tutto
TAGS: SISTEMA DI RIFERIMENTO CARTESIANO – PRODOTTO VETTORIALE – TEORIA DEI GRUPPI – PIANO OSCULATORE – NORMA EUCLIDEA

Corpo

Enciclopedia Italiana - VII Appendice (2006)

Alla concezione del c. come sfondo di tutti gli eventi psichici si è giunti nel 20° sec., dopo che la psicologia ha compiuto la sua emancipazione dall'ambito filosofico, in cui era inclusa, e ha tentato [...] compiacenza somatica, offerta da un processo normale o patologico in un organo o questo l'isteria si distingue dalle altre forme di psiconevrosi; infatti "per un buon il c. può recuperarsi dalle divisioni disgiuntive in cui sapere e potere l'hanno ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: TEORIA DEGLI UMORI – SISTEMA MUSCOLARE – ECONOMIA POLITICA – PSICOTERAPEUTICO – IPERSENSIBILITÀ
Mostra altri risultati Nascondi altri risultati su Corpo (3)
Mostra Tutti

Probabilita

Enciclopedia delle scienze sociali (1997)

PROBABILITÀ Italo Scardovi Giorgio Dall'Aglio Misura della probabilità di Italo Scardovi La probabilità come numero reale Nel parlar comune, 'probabilità' è parola che esprime incertezza, ora per [...] si riconoscono in proposizioni categoriche individuali della forma "Ogni A è B", o in pk=1". Dunque, una pluralità esaustiva e disgiuntiva di 'conseguenti' dell''antecedente' A: egli mutuò il concetto di curva normale o degli errori, per descrivere, ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA
TAGS: LEGGE DEI GRANDI NUMERI – RIVOLUZIONE SCIENTIFICA – PIERRE SIMON DE LAPLACE – TEORIA DELLE DECISIONI – MECCANICA STATISTICA
Mostra altri risultati Nascondi altri risultati su Probabilita (12)
Mostra Tutti

Simulazione, modelli di

Enciclopedia delle scienze sociali (1997)

Simulazione, modelli di Italo Scardovi Modelli e simulazioni nella scienza Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] ora trovando corrispondenze tra strutture organiche di forme viventi diverse (analogie che si possono far Così, ancora, il 'modello normale', che prende nome da Gauss, quindi aperti a una pluralità disgiuntiva di risultati, affidati alla casualità ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – METODI TEORIE E PROVVEDIMENTI
TAGS: EQUAZIONI ALLE DERIVATE PARZIALI – CALCOLO DELLE PROBABILITÀ – APPROSSIMAZIONE NUMERICA – CIRCOLAZIONE DEL SANGUE – PROGRAMMAZIONE LINEARE
Mostra altri risultati Nascondi altri risultati su Simulazione, modelli di (6)
Mostra Tutti

interrogative dirette

Enciclopedia dell'Italiano (2010)

Le interrogative dirette sono frasi indipendenti (come negli esempi 1 e 2) o principali (es. 3) che contengono una domanda: (1) hai dormito bene? (2) quando vieni? (3) pensi che Carlo abbia ragione? Nella [...] in tutto o in parte, in forma interrogativa, ciò che è stato appena normale la struttura interrogativa senza soggetto espresso). Diversa dall’interrogativa diretta totale e dall’interrogativa diretta parziale è l’interrogativa diretta disgiuntiva ... Leggi Tutto
CATEGORIA: GRAMMATICA
TAGS: CONGIUNZIONE SUBORDINANTE – RIVOLUZIONE INDUSTRIALE – RIVOLUZIONE FRANCESE – FRANCESCO PETRARCA – ALESSANDRO MANZONI
1 2
Vocabolario
salto¹
salto1 salto1 s. m. [lat. saltus -us, der. di salire «saltare, danzare», supino saltum]. – 1. a. L’atto di saltare; insieme di movimenti mediante i quali il corpo dell’uomo, spinto dall’azione estensiva dei muscoli, abbandona rapidamente il...
Leggi Tutto
  • 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