Pregled po CROSBI profilu: Tin Perkov (CROSBI Profil: 32306, MBZ: 341135)
Pronađeno 40 radova
-
1.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni) -
2.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni) -
3.Dedić, ŽanaMatematički pojmovi u razrednoj nastavi, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
4.Đurđević-Tomaš, IvanaUvođenje pojma površine u nastavi matematike, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
5.Bušković, ElenaLogičko mišljenje u početnoj nastavi matematike, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
6.Horvat, Sebastijan; Perkov, Tin; Vuković, Mladenn-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni) -
7.Perkov, Tin; Mikec, LukaTableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
-
8.Perkov, TinA note on logicality of generalized quantifiers // Logica Universalis, 15 (2021), 149-152 doi:10.1007/s11787-021-00271-8 (međunarodna recenzija, članak, znanstveni)
-
9.Perkov, TinLogika i stvaralaštvo // Filozofija i stvaralaštvo / Krznar, Tomislav (ur.).
Zagreb: Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021. str. 103-108 (predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo) -
10.Perkov, Tin; Mikec, LukaExistential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325 doi:10.1002/malq.201900061 (međunarodna recenzija, članak, znanstveni)
-
11.Krunić, JakovLindströmov teorem za modalnu logiku, 2020., diplomski rad, Prirodoslovno-matematički fakultet- Matematički odsjek, Zagreb
-
12.Perkov, TinThe McCulloch–Pitts paper from the perspective of mathematical logic // Guide to Deep Learning Basics. Logical, Historical and Philosophical Perspectives / Skansi, Sandro (ur.).
Cham: Springer, 2020. str. 7-12 doi:10.1007/978-3-030-37591-1_2 -
13.Pažek, Bojan; Perkov, TinTopološka semantika modalne logike // Math.e : hrvatski matematički elektronski časopis, 36 (2019), 41-51 (domaća recenzija, članak, stručni)
-
14.Perkov, TinGaussov uskrsni algoritam // Matematika i škola, 20 (2019), 184-186 (domaća recenzija, članak, stručni)
-
15.Mikec, Luka; Perkov, TinExistentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers
Bern, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
16.Babić, TinMetoda tableauxa za modalnu logiku, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
17.Horvat, SebastijanModalna potpunost logika interpretabilnosti, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
18.Mikuljan, MartinaPrimjena statističkih metoda u istraživanju korelacije stavova roditelja i izbora vrtića, 2018., diplomski rad, Učiteljski fakultet, Zagreb
-
19.Perkov, TinFormalizations of social choice theory in modal logic // Book of Abstracts, Logic and Applications (LAP 2018), Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, 24-28. 9. 2018
Dubrovnik, Hrvatska, 2018. str. 59-60 (predavanje, sažetak, ostalo) -
20.Perkov, TinAbstract logical constants // Logica universalis, 12 (2018), 3-4; 341-350 doi:10.1007/s11787-018-0206-7 (međunarodna recenzija, članak, znanstveni)
-
21.Juričić Devčić, Marija; Perkov, Tin; Trupčević, Goran; Vuković, PredragZbirka zadataka iz matematike za studente učiteljskih studija
Zagreb: Učiteljski fakultet Sveučilišta u Zagrebu, 2018 -
22.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability and Complexity of Some Interpretability Logics // Book of Abstracts of the 6 th International Conference on Logic and Applications - LAP 2017
Dubrovnik, Hrvatska, 2017. str. 29-31 (predavanje, sažetak, znanstveni) -
23.Perkov, TinFormal proofs using natural deduction for modal logic of social choice // Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
Beograd, Srbija, 2017. str. 10-11 (predavanje, sažetak, ostalo) -
24.Mikec, Luka; Perkov, TinTopološka semantika logika dokazivosti // Math.e, 32 (2017), 1; 38-52 (domaća recenzija, članak, stručni)
-
25.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability of interpretability logics ILM_0 and ILW* // Logic journal of the igpl, 25 (2017), 5; 758-772 doi:10.1093/jigpal/jzx027 (međunarodna recenzija, članak, znanstveni)
