biblioest, Università degli Studi di Trieste e delle provincie del Friuli Venezia Giulia, Sebina, biblioteca, opac, catalogo biblioteca, Friuli, Regione Friuli, biblioteche del Friuli Venezia Giulia, Catalogo biblioteca, Prestito libri, prestito ebook, reteindaco

Linguaggi formali

Strumenti

Nuovo Soggettario Firenze

Rinvio da

Linguaggi formalizzati

è soggetto di 1 risorse

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

Narrower term

Linguaggi algebrici

  • Scheda dati thesauro (per debug... da rimuovere)

      Scheda dati thesauro

    id: TSA00074906
    cd: FN
    name: Linguaggi formali
    category: C5
    topterm: Strumenti
    nt: 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

    === LUCENE ===
    nDoc: 0
    nDocAU: 0
    nDocED: 0
    nDocPO: 0
    nDocSO: 1
    nDocLU: 0
    nDocTU: 0

    === LIST TH ===
    name: Matematica
    ntSemantic: RT


    name: Informatica
    ntSemantic: RT


    name: [Strumenti della matematica]
    ntSemantic: BT


    name: Linguaggi formalizzati
    ntSemantic: UF


    name: Linguaggi informatici
    ntSemantic: RT


    name: Linguaggi algebrici
    ntSemantic: NT


    name: Logica matematica
    ntSemantic: RT


    name: Logica formale
    ntSemantic: RT


    name: Informatica teorica
    ntSemantic: RT