• 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
biografico
vocabolario
sinonimi
atlante
il chiasmo
Le parole valgono
lingua italiana
3861 risultati
Tutti i risultati [3861]
Biografie [721]
Arti visive [535]
Storia [323]
Temi generali [300]
Diritto [308]
Religioni [248]
Letteratura [253]
Filosofia [206]
Scienze demo-etno-antropologiche [193]
Matematica [184]

primo ordine, teoria del

Enciclopedia della Matematica (2013)

primo ordine, teoria del primo ordine, teoria del espressione usata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i [...] numero y tale che y > x» può essere tradotta nella formula ∀x∃y(y > x) espressa in un linguaggio del primo ordine perché i due quantificatori si riferiscono a due variabili (rispettivamente a x e y). Al contrario, una espressione come «per ogni ... Leggi Tutto
TAGS: QUANTIFICATORE ESISTENZIALE – LINGUAGGIO DEL PRIMO ORDINE – TEORIA DEL PRIMO ORDINE – REGOLE DI INFERENZA – TEORIA DEI → GRUPPI

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, [...] , 1981), il μ-calcolo (Kozen 1982). In questi sistemi il linguaggio del prim'ordine viene arricchito introducendo istruzioni e costrutti di un linguaggio di programmazione (per es., composizione sequenziale, iterazione, alternativa in base al ... 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

La logica nel Novecento

Storia della civiltà europea a cura di Umberto Eco (2014)

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] punto di vista semantico. Questo approccio ha un carattere molto più intuitivo: ogni teoria espressa nel linguaggio del primo ordine può essere interpretata in domini diversi, cioè si può selezionare un insieme qualsiasi come universo di riferimento ... Leggi Tutto

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] in considerazione. Ai livelli più elementari stanno due tipi di linguaggi, quelli enunciativi e quelli equazionali, oltre i quali stanno i linguaggi del primo ordine e di ordine superiore. Abstract di approfondimento da Modelli, Teoria dei di Silvio ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] e complessi muniti dell'ordinaria addizione. I m. di G sono i gruppi. Caratterizzazione e completezza. - Un linguaggio del prim'ordine L′ si dice un'estensione del linguaggio L se tutti i simboli non logici di L appartengono anche a L′. Una teoria T ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su MODELLI, Teoria dei (3)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] tutto Skolem corregge il difetto zermeliano della vaghezza della nozione di 'definitezza' proponendo le formule di un linguaggio del primo ordine per gli assiomi che la coinvolgono. Ne deduce il noto paradosso di Skolem, che esiste cioè un dominio ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

sillogistica

Dizionario di filosofia (2009)

sillogistica Qualsiasi versione della dottrina del sillogismo (➔), da quella originaria aristotelica, a quella della trattatistica ottocentesca, relativa alla cosiddetta logica tradizionale, che precede [...] della logica formale moderna, la s. può essere formulata come teoria assiomatizzata, in un opportuno linguaggio formalizzato (per es., nel linguaggio del primo ordine), nel quale le forme A, E, I, O non sono considerate come tipi di proposizioni ... Leggi Tutto

predicati, linguaggio dei

Enciclopedia della Matematica (2013)

predicati, linguaggio dei predicati, linguaggio dei linguaggio formale in cui è possibile rappresentare simbolicamente frasi espresse nel linguaggio naturale aventi una struttura più elaborata degli [...] il quantificatore universale è applicato all’insieme delle proprietà. Per questa caratteristica, il linguaggio dei predicati è un linguaggio del primo ordine (→ primo ordine, teoria del). Lettere funzionali Oltre a connettivi e quantificatori, il ... Leggi Tutto
TAGS: QUANTIFICATORE ESISTENZIALE – LINGUAGGIO DEL PRIMO ORDINE – INSIEME DEI NUMERI NATURALI – QUANTIFICATORE UNIVERSALE – DOPPIA IMPLICAZIONE

linguaggio

Enciclopedia on line

Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] nella vita individuale e sociale. Le funzioni del linguaggio verbale Il tema delle funzioni del l. verbale è affrontato già nell’ Per quanto riguarda il primo, il bambino comincia a emettere dei suoni (fonemi) seguendo un ordine in rapporto con il ... Leggi Tutto
CATEGORIA: LINGUISTICA GENERALE – ANATOMIA – PATOLOGIA – ANATOMIA COMPARATA – ETOLOGIA – PATOLOGIA ANIMALE – PROGRAMMAZIONE E PROGRAMMI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – PROGRAMMAZIONE PROCEDURALE – PROGRAMMAZIONE STRUTTURATA – INTELLIGENZA ARTIFICIALE – FUNZIONI DEL LINGUAGGIO
Mostra altri risultati Nascondi altri risultati su linguaggio (12)
Mostra Tutti

LINGUAGGIO E SCIENZA COGNITIVA

XXI Secolo (2009)

Linguaggio e scienza cognitiva Diego Marconi Premessa «La questione più importante nello studio del linguaggio umano è quella del suo posto nella natura: di che tipo di sistema biologico si tratta, [...] ordine delle parole, sistema dei casi, accordi di genere e numero ecc.); infine, il gene FOXP2, coinvolto in molti aspetti del linguaggio grammatica universale), e solo il controllo delle regole del primo tipo – cioè delle regole grammaticali – è ... Leggi Tutto
1 2 3 4 5 6 7 8 ... 387
Vocabolario
ordine
ordine órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
ordinare v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...
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