{"id":16286,"date":"2026-06-10T15:23:59","date_gmt":"2026-06-10T13:23:59","guid":{"rendered":"https:\/\/newsite.finki.ukim.mk\/kadar\/jana-kuzmanova\/"},"modified":"2026-06-30T10:30:56","modified_gmt":"2026-06-30T08:30:56","slug":"jana-kuzmanova","status":"publish","type":"nastaven_kadar","link":"https:\/\/newsite.finki.ukim.mk\/en\/kadar\/jana-kuzmanova\/","title":{"rendered":"Jana Kuzmanova"},"content":{"rendered":"<p><span>\u0408\u0430\u043d\u0430 \u041a\u0443\u0437\u043c\u0430\u043d\u043e\u0432\u0430 \u0435 \u0440\u043e\u0434\u0435\u043d\u0430 \u0432\u043e 1994 \u0433\u043e\u0434\u0438\u043d\u0430 \u0432\u043e \u0421\u043a\u043e\u043f\u0458\u0435. \u041e\u0441\u043d\u043e\u0432\u043d\u043e \u0438 \u0441\u0440\u0435\u0434\u043d\u043e \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0437\u0430\u0432\u0440\u0448\u0438\u043b\u0430 \u0432\u043e \u0421\u043a\u043e\u043f\u0458\u0435, \u0430 \u0432\u043e 2013 \u0433\u043e\u0434\u0438\u043d\u0430 \u0441\u0435 \u0437\u0430\u043f\u0438\u0448\u0443\u0432\u0430 \u043d\u0430 \u0434\u043e\u0434\u0438\u043f\u043b\u043e\u043c\u0441\u043a\u0438 \u0441\u0442\u0443\u0434\u0438\u0438 \u043d\u0430 \u0422\u0435\u0445\u043d\u0438\u0447\u043a\u0438\u043e\u0442 \u0423\u043d\u0438\u0432\u0435\u0440\u0437\u0438\u0442\u0435\u0442 \u041c\u0438\u043d\u0445\u0435\u043d. \u0414\u0438\u043f\u043b\u043e\u043c\u0438\u0440\u0430\u043b\u0430 \u043d\u0430 19 \u0458\u0443\u043b\u0438 2017 \u0433\u043e\u0434\u0438\u043d\u0430 \u0441\u043e \u0434\u0438\u043f\u043b\u043e\u043c\u0441\u043a\u0438\u043e\u0442 \u0442\u0440\u0443\u0434 \u201eEfficient Formal Arithmetic in &nbsp;Isabelle\/HOL\u201d (\u201e\u0415\u0444\u0438\u043a\u0430\u0441\u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u043d\u0430 \u0430\u0440\u0438\u0442\u043c\u0435\u0442\u0438\u043a\u0430 \u0432\u043e Isabelle\/HOL\u201d) \u043f\u043e\u0434 \u043c\u0435\u043d\u0442\u043e\u0440\u0441\u0442\u0432\u043e \u043d\u0430 \u043f\u0440\u043e\u0444. \u0434-\u0440. \u0422\u043e\u0431\u0438\u0430\u0441 \u041d\u0438\u043f\u043a\u043e.<\/span><\/p>\n<p>\u0412\u043e \u0443\u0447\u0435\u0431\u043d\u0430\u0442\u0430 \u0433\u043e\u0434\u0438\u043d\u0430 2017\/2018 \u0441\u0435 \u0437\u0430\u043f\u0438\u0448\u0430\u043b\u0430 \u043d\u0430 \u043c\u0430\u0433\u0438\u0441\u0442\u0435\u0440\u0441\u043a\u0438 \u0441\u0442\u0443\u0434\u0438\u0438 \u043d\u0430 \u0424\u0418\u041d\u041a\u0418, \u043d\u0430\u0441\u043e\u043a\u0430 \u041a\u043e\u043c\u043f\u0458\u0443\u0442\u0435\u0440\u0441\u043a\u0438 \u043d\u0430\u0443\u043a\u0438.<\/p>\n<p><span>\u041d\u0430\u0443\u0447\u043d\u0438 \u043f\u043e\u043b\u0438\u045a\u0430 \u043e\u0434 \u043e\u0441\u043e\u0431\u0435\u043d \u0438\u043d\u0442\u0435\u0440\u0435\u0441 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0442 \u0441\u0435 \u043c\u0430\u0448\u0438\u043d\u0441\u043a\u043e\u0442\u043e \u0443\u0447\u0435\u045a\u0435, \u043f\u043e\u0434\u0430\u0442\u043e\u0447\u043d\u043e \u0440\u0443\u0434\u0430\u0440\u0441\u0442\u0432\u043e \u0438 \u043d\u0435\u0433\u043e\u0432\u0430\u0442\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u0430 \u0432\u043e \u043d\u0430\u0443\u043a\u0438\u0442\u0435,&nbsp;\u043f\u0440\u0435\u0441\u043c\u0435\u0442\u0443\u0432\u0430\u045a\u0435 \u0441\u043e \u0432\u0438\u0441\u043e\u043a\u0438 \u043f\u0435\u0440\u0444\u043e\u0440\u043c\u0430\u043d\u0441\u0438&nbsp;\u0438 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430\u0442\u0430 \u043d\u0430 \u043f\u0440\u0438\u0440\u043e\u0434\u043d\u0438 \u0458\u0430\u0437\u0438\u0446\u0438.<\/span><\/p>\n<p><strong>\u0420\u0435\u0446\u0435\u043d\u0437\u0438\u0458\u0430 &#8211; <a href=\"https:\/\/www.ukim.edu.mk\/dokumenti_m\/bilten\/2023\/1297-15.12.2023.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">\u041b\u0418\u041d\u041a<\/a><\/strong>.<br \/><strong>\u041e\u0434\u043b\u0443\u043a\u0430 \u0437\u0430 \u0438\u0437\u0431\u043e\u0440 &#8211; <a href=\"https:\/\/finki.ukim.mk\/sites\/default\/files\/u703\/jana_kuzmanova.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">\u041b\u0418\u041d\u041a<\/a><\/strong><\/p>","protected":false},"featured_media":16287,"template":"","kadar_kategorija":[74],"class_list":["post-16286","nastaven_kadar","type-nastaven_kadar","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/nastaven_kadar\/16286","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/nastaven_kadar"}],"about":[{"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/types\/nastaven_kadar"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/media\/16287"}],"wp:attachment":[{"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/media?parent=16286"}],"wp:term":[{"taxonomy":"kadar_kategorija","embeddable":true,"href":"https:\/\/newsite.finki.ukim.mk\/en\/wp-json\/wp\/v2\/kadar_kategorija?post=16286"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}