Strogo tipiziran jezik za opis deduktivnih sustava
Sažetak na hrvatskom: Predstavljen je L•, jezik za opis deduktivnih sustava. Korištenjem ovisnih tipova, točnije indeksiranih familija, L• može modelirati elemente domene diskursa, propozicije nad njima, dokaze te shematske aksiome i pravila zaključivanja, u skladu s načelom "propozicije kao ti...
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:49694/Similar |
|---|---|
| Glavni autor: | Perleta, Frano (-) |
| Ostali autori: | Srbljić, Siniša (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
F. Perleta,
2015.
|
| Predmet: |
APA stil citiranja
Perleta, F., & Srbljić, S. (2015). Strogo tipiziran jezik za opis deduktivnih sustava: Strogo tipiziran jezik za opis deduktivnih sustava : diplomski rad. Zagreb: F. Perleta.
Chicago stil citiranjaPerleta, Frano, and Siniša Srbljić. Strogo tipiziran jezik za opis deduktivnih sustava: Strogo tipiziran jezik za opis deduktivnih sustava : diplomski rad. Zagreb: F. Perleta, 2015.
MLA stil citiranjaPerleta, Frano, and Siniša Srbljić. Strogo tipiziran jezik za opis deduktivnih sustava: Strogo tipiziran jezik za opis deduktivnih sustava : diplomski rad. Zagreb: F. Perleta, 2015.