Sirvi Autor "Varjas, Helena" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs ,
    Lineaarloogika multikategoorsest vaatepunktist
    (Tartu Ülikool, 2026) Varjas, Helena; Reimaa, Ülo, juhendaja; Ahman, Danel, juhendaja; Tartu Ülikool. Matemaatika ja statistika instituut; Tartu Ülikool. Loodus- ja täppisteaduste valdkond
    Käesolevas bakalaureusetöös tutvustatakse multikategooria, vaba multikategooria ning esitatava multikategooria mõisteid. Veendutakse, et mittekommutatiivne lineaarloogika ilma loogiliste tehtemärkideta moodustab vaba multikategooria signatuuril. Lisaks näidatakse, et mittekommutatiivne lineaarloogika koos oma multiplikatiivse konjunktsiooni tehtemärgiga moodustab esitatava multikategooria.