• 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
il chiasmo
lingua italiana
77 risultati
Tutti i risultati [77]
Filosofia [16]
Matematica [12]
Temi generali [11]
Lingua [11]
Informatica [8]
Dottrine teorie e concetti [7]
Biografie [7]
Diritto [5]
Metafisica [4]
Fisica [4]

metalinguaggio

Enciclopedia della Matematica (2013)

metalinguaggio metalinguaggio in logica, linguaggio all’interno del quale sia possibile parlare di un altro linguaggio (che in tale contesto viene detto linguaggio-oggetto); in generale, in contrapposizione [...] inglese “Italy” denota l’Italia», si parla in italiano dell ’inglese. In tal caso, in italiano (cioè nel metalinguaggio) si ottengono i nomi per le opportune parole inglesi ponendole tra virgolette, ed esprimendone quindi rispettivamente la natura ... Leggi Tutto
TAGS: LINGUAGGIO FORMALE – LINGUA NATURALE – ITALIA

metalinguaggio

Dizionario di filosofia (2009)

metalinguaggio Linguaggio attraverso il quale è possibile fare riferimento o fornire una trattazione o teoria (definendone sintassi e semantica) di un altro linguaggio detto linguaggio oggetto. Il linguaggio [...] oggetto e il m. possono essere distinti o coincidere e in generale si utilizzano dei simboli grafici come « » o “ ”, per circoscrivere l’espressione appartenente al linguaggio oggetto. Quando si utilizza ... Leggi Tutto

metalinguaggio

Dizionario delle Scienze Fisiche (1996)

metalinguaggio metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – TEMI GENERALI – EPISTEMOLOGIA – METAFISICA

XML

Enciclopedia on line

XML In informatica, sigla di extensible markup language, metalinguaggio estremamente flessibile e particolarmente efficace per la condivisione di dati tra sistemi diversi. Permette di scambiare informazioni [...] strutturate tra terminali connessi a Internet, basandosi generalmente sul protocollo HTTP e consente a una molteplicità di operatori di distribuire con facilità servizi per i quali non detengono il software. ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: EXTENSIBLE MARKUP LANGUAGE – INFORMATICA – INTERNET – SOFTWARE – HTTP
Mostra altri risultati Nascondi altri risultati su XML (2)
Mostra Tutti

BNF

Enciclopedia on line

Sigla di Backus-Naur Form, primo esempio di metalinguaggio utilizzato in informatica per descrivere in modo rigoroso la sintassi di un linguaggio formale, in particolare di un linguaggio di programmazione; [...] consente di specificare in più passi quali sequenze di simboli sono accettabili nel linguaggio che si vuole definire (nel caso che questo sia un linguaggio di programmazione, le sequenze accettabili corrispondono ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – LINGUAGGIO FORMALE – INFORMATICA

Backus, John W

Enciclopedia on line

Informatico statunitense (Filadelfia 1924 - Ashland, Oregon, 2007). Ha contribuito in maniera assai significativa, come ricercatore dell'IBM, alla definizione e alla successiva implementazione su elaboratore [...] . B. partecipò successivamente alla commissione che definì il linguaggio ALGOL e in tale ambito propose, insieme con Peter Naur, l'uso di un metalinguaggio per definire la sintassi di un linguaggio di programmazione. Nel caso specifico dell'ALGOL il ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – BACKUS-NAUR FORM – FILADELFIA – FORTRAN – OREGON

semantico

Dizionario delle Scienze Fisiche (1996)

semantico semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per voler attribuire un valore di verità a ogni frase. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Progettazione

Enciclopedia Italiana - VI Appendice (2000)

Progettazione Livio Sacchi e Roberto de Rubertis Parte introduttiva di Livio Sacchi Si intende per progettazione l'ideazione di qualcosa e lo studio delle effettive possibilità e modalità di realizzazione [...] di comunicazione, ovvero come linguaggio, la p. a essa relativa può utilmente essere considerata un protolinguaggio o un metalinguaggio rispetto al linguaggio principale, con funzione propriamente strumentale ed eteronoma. In tal caso, la nozione di ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – INFORMATICA APPLICATA
TAGS: COMPUTER AIDED MANUFACTURING – SCIENZA DELLE COSTRUZIONI – INTELLIGENZA ARTIFICIALE – ENERGIA ELETTROMAGNETICA – PROIEZIONI ORTOGONALI
Mostra altri risultati Nascondi altri risultati su Progettazione (4)
Mostra Tutti

verità

Enciclopedia on line

verità Conformità o coerenza a principi dati o a una realtà obiettiva. Filosofia Definizione e criterio di verità Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] in evidenza che, per essere «adeguata», una definizione di v. non può che basarsi su una distinzione tra linguaggio-oggetto e metalinguaggio, consentendo di derivare come teoremi equivalenze del tipo «‘p’ è vero se e solo se p», dove ‘p’ è il nome ... Leggi Tutto
CATEGORIA: DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PRESSIONE SANGUIGNA – NEOPOSITIVISTA – NEOPLATONISMO – INTELLETTIVA – GNOSEOLOGICO
Mostra altri risultati Nascondi altri risultati su verità (6)
Mostra Tutti

LOGICA MATEMATICA

Enciclopedia Italiana - III Appendice (1961)

LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226) Alberto PASQUINELLI Ludovico GEYMONAT MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] e ragionamenti, ha finito per divenire pressoché universale, e con essa la distinzione fra linguaggio (oggetto d'analisi) e metalinguaggio (strumento d'analisi). All'interno di questa impostazione, il punto di vista sintattico, secondo cui la l. m ... Leggi Tutto
TAGS: CALCOLO PROPOSIZIONALE – LOGICA INTUIZIONISTICA – SISTEMA ASSIOMATICO – LOGICA POLIVALENTE – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su LOGICA MATEMATICA (9)
Mostra Tutti
1 2 3 4 5 6 7 8
Vocabolario
metalinguàggio
metalinguaggio metalinguàggio s. m. [comp. di meta- e linguaggio]. – 1. Termine, introdotto dapprima in logica matematica (per analogia con quello di metamatematica) per indicare in generale un linguaggio, o sistema di segni, naturale o artificiale,...
definizióne
definizione definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...
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