Формализација и аутоматско доказивање теорема еуклидске геометрије Stojanović, Sana. 1981- Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом... The advance of geometry over the centuries can be observed through the development of dierent axiomatic systems that describe it. The use of axiomatic systems begins with Euclid, continues with Hilbert and Tarski, but it doesn't end there. Even today, new axiomatic systems for Euclidean geometry are developed... Рачунарство - Вештачка интелигенција / Computer Science - Artificial intelligence Datum odbrane: 07.09.2016. [004.832.3:510.66]:[514.112/.113](043.3) 150 листова 1885679 bytes https://phaidrabg.bg.ac.rs/o:15164 cobiss:48817679 thesis:4836 srp OSNO - Opšta sistematizacija naučnih oblasti, Opšta geometrija. Aksiomatika OSNO - Opšta sistematizacija naučnih oblasti, Opšta geometrija. Aksiomatika OSNO - Opšta sistematizacija naučnih oblasti, Veštačka inteligencija. Robotika OSNO - Opšta sistematizacija naučnih oblasti, Veštačka inteligencija. Robotika кохерентна логика, формализација геометрије, аутоматско доказивање теорема, интерактивно доказивање теорема, аутоматско генерисање читљивих доказа coherent logic, formalization of geometry, automated theorem proving,interactive theorem proving, automated generation of readable proofs 2016 http://creativecommons.org/licenses/by/2.0/at/legalcode Janičić, Predrag. 1968- Лучић, Зоран, 1952- Марић, Филип, 1978- Борисављевић, Мирјана, 1965- Narbu, Žilijen info:eu-repo/semantics/bachelorThesis