Zobrazeno 1 - 10
of 18
pro vyhledávání: '"udc:510.6"'
Autor:
Golob, Gašper
Za namene formalizacije ravninskih grafov v dokazovalniku Lean uvedemo matematični pojem kombinatoričnih preslikav in zanj predstavimo karakterizacijo ravninskih grafov, za katero dokažemo tudi smiselnost. Pojem kombinatoričnih preslikav v dokazo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::1fbbddc7c5df78432e2d8821fc707371
https://hdl.handle.net/20.500.12556/RUL-140309
https://hdl.handle.net/20.500.12556/RUL-140309
Autor:
Korenjak, Neža
Teorija tipov je teorija matematičnih konstrukcij. Tipi niso le zbirke objektov, tako kot množice, ampak dopustni načini konstrukcije objektov. Zato elementov tipa ne določa zgolj njihova vsebovanost, ampak predvsem način konstrukcije. Intuicion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::36c9295088282da8a1f85ee2cbbdb801
https://repozitorij.uni-lj.si/Dokument.php?id=159962&dn=
https://repozitorij.uni-lj.si/Dokument.php?id=159962&dn=
Autor:
Haselwarter, Philipp Georg
In this dissertation, I propose finitary type theories as a definition of a wide class of type theories in the style of Martin-Löf, and I design a programming language for deriving judgements in finitary type theories. State of the art computer impl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::03287e24163e30357c065e9e69947ae3
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134439
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134439
Autor:
Petković Komel, Anja
In this thesis we present a meta-analysis of a wide class of general type theories, focusing on three aspects: transformations of type theories, elaboration of type theories, and a general equality checking algorithm. Type theories provide the mathem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::d5f55782aaa814598bae07e20cbcd7d1
https://repozitorij.uni-lj.si/Dokument.php?id=152351&dn=
https://repozitorij.uni-lj.si/Dokument.php?id=152351&dn=
Autor:
Taslak, Jure
V nalogi je razvita funktorialna semantika za algebrajsko in regularno kategorno logiko. V prvem delu je najprej na kratko predstavljena teorija kategorij, nato se uvede pojem algebrajske teorije, ki je poseben primer logične teorije prvega reda, v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::96ad67fab7b3b7d8a85c534eefa43bea
https://hdl.handle.net/20.500.12556/RUL-124900
https://hdl.handle.net/20.500.12556/RUL-124900
Autor:
Lukšič, Žiga
Algebraic effects are an established method of implementing effectful behaviour in functional programming languages. Computational effects are represented by operations and implemented through effect handlers. An effect theory consists of a type sign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::da84c76cca7dcf9cd5d0309135f7f7bd
https://repozitorij.uni-lj.si/Dokument.php?id=137124&dn=
https://repozitorij.uni-lj.si/Dokument.php?id=137124&dn=
Autor:
Herman, Lana
V diplomski nalogi je predstavljen in dokazan Gödlov izrek o nepopolnosti za Peanovo aritmetiko. To je teorija prvega reda, ki aksiomatizira naravna števila in njihovo aritmetiko. Izrek o nepopolnosti trdi, da Peanova aritmetika ne more biti hkrati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::263c9f117116ef88ee96ef442922c834
https://hdl.handle.net/20.500.12556/RUL-121520
https://hdl.handle.net/20.500.12556/RUL-121520
Autor:
Tinta, Nina
V nalogi predstavimo strukturo Postove mreže in nekatere algoritme na njej, implementirane v programu Mathematica. Z njihovo pomočjo lahko izračunamo zaprtje dane množice resničnostnih veznikov na tej mreži, izrazimo dani veznik s pomočjo izbr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::c54e4e5cdddf2152a1cfa23e00069b29
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=112737
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=112737
Autor:
Mejak, Severin
In this thesis we approach axioms of choice of different strength by considering topoi. First, we present Grothendieck topoi and afterwards their abstractly axiomatised counterparts called elementary topoi. For these we show, that they carry logic, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::66a63958b9430598ce01e9c755ea6558
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=108796
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=108796
Autor:
Slivnik, Tadej
V delu predstavimo neskončna dvojiška drevesa in neskončne poti v drevesih. Definiramo Cantorjev prostor kot produkt števno neskončno kopij diskretnega prostora 2 = {0, 1}. Na kratko predstavimo Turingove stroje in izračunljivo analizo, v kater
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::606b46c6c764e8dfae210b8f509df72e
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821