Title
Формализација и аутоматско доказивање теорема еуклидске геометрије
Creator
Stojanović, Sana. 1981-
Copyright date
2016
Object Links
Select license
Autorstvo 3.0 Srbija (CC BY 3.0)
License description
Dozvoljavate umnožavanje, distribuciju i javno saopštavanje dela, i prerade, ako se navede ime autora na način odredjen od strane autora ili davaoca licence, čak i u komercijalne svrhe. Ovo je najslobodnija od svih licenci. Osnovni opis Licence: http://creativecommons.org/licenses/by/3.0/rs/deed.sr_LATN Sadržaj ugovora u celini: http://creativecommons.org/licenses/by/3.0/rs/legalcode.sr-Latn
Language
Serbian
Cobiss-ID
Committee report
Theses Type
Doktorska disertacija
description
Datum odbrane: 07.09.2016.
Other responsibilities
mentor
Janičić, Predrag. 1968-
član komisije
Лучић, Зоран, 1952-
član komisije
Марић, Филип, 1978-
član komisije
Борисављевић, Мирјана, 1965-
član komisije
Narbu, Žilijen
University
Univerzitet u Beogradu
Faculty
Matematički fakultet
Alternative title
Formalization and automation of Euclidean geometry
Publisher
[С. Стојановић]
Format
150 листова
description
Рачунарство - Вештачка интелигенција / Computer Science - Artificial intelligence
Abstract (sr)
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...
Abstract (en)
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...
Authors Key words
кохерентна логика, формализација геометрије, аутоматско доказивање теорема, интерактивно доказивање теорема, аутоматско генерисање читљивих доказа
Authors Key words
coherent logic, formalization of geometry, automated theorem proving,
interactive theorem proving, automated generation of readable proofs
Classification
[004.832.3:510.66]:[514.112/.113](043.3)
Type
Tekst
Abstract (sr)
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...
“Data exchange” service offers individual users metadata transfer in several different formats. Citation formats are offered for transfers in texts as for the transfer into internet pages. Citation formats include permanent links that guarantee access to cited sources. For use are commonly structured metadata schemes : Dublin Core xml and ETUB-MS xml, local adaptation of international ETD-MS scheme intended for use in academic documents.