term

Linguaggi formalihierarchy

Category: Cose:Strumenti
Scope note In matematica, logica, informatica e linguistica, insiemi di stringhe di lunghezza finita costruite sopra un insieme finito di oggetti tendenzialmente semplici chiamati caratteri, simboli o lettere.
Per il significato generico dell'insieme dei linguaggi di programmazione, di marcatura ecc., usare Linguaggi informatici

Used For	Linguaggi formalizzati
Top Term	Strumenti
Broader Term	[Strumenti della matematica]
Narrower Term	Linguaggi algebrici
Related Term	Informatica
	Informatica teorica
	Linguaggi informatici
	Logica formale
	Logica matematica
	Matematica

References BNI 1999-2005Bibliografia nazionale italiana, [Voci di soggetto introdotte dal 1999 al 2005, pubblicate nella rubrica mensile BNI notizie].
; DizINFDizionario di informatica, 6. ed., [Segrate] : Mondadori informatica, 2011.
; WebDewey(IT)Dewey, Melvil, WebDewey italiana, [basata sulla vers. originale in inglese], Roma, Associazione italiana biblioteche, 2014-.
; Wikipedia(IT)Wikipedia. L'enciclopedia libera, 2001 [ed. in lingua italiana dell' enciclopedia online Wikipedia]

DDC (WebDewey) Dewey, Melvil, WebDewey italiana [basata sulla vers. originale in inglese], Roma, Associazione italiana biblioteche, 2014- 511.3

Equivalents

LCSH: Formal languages

Répertoire d'autorité-matière encyclopédique et alphabétique unifié

RAMEAU: Langages formels

GND: Formale Sprache

Wikidata Q192161

Proposed by BNI

Record status Termine strutturato

Id. 5999

SKOS/RDF ( xml | nt | n3 | json )

Bibliographic records

OPAC BNCF
- Resources
- Subjects
OPAC SBN
- Resources

Suggestions