biblioteche, Università, Trieste, libri, cd, dvd, ebook, prestito, consultazione, lettura, biblioteche universita? di trieste, sba, Sistema bibliotecario di ateneo, opac, catalogo, online, servizi, biblioteca

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