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 &gt; x» può essere tradotta nella formula ∀x∃y(y &gt; 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

primo ordine, teoria del

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

Enciclopedia Italiana - VI Appendice (2000)

Informatica

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

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

La logica nel Novecento

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

lògica matemàtica

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

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei

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

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

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

sillogistica

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

predicati, linguaggio dei

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

linguaggio

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 – è

LINGUAGGIO E SCIENZA COGNITIVA

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, ...

ordine

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 ...