Naslov (srp)

Формализација и аутоматско доказивање теорема еуклидске геометрије

Autor

Stojanović, Sana. 1981-

Doprinosi

Janičić, Predrag. 1968-
Лучић, Зоран, 1952-
Марић, Филип, 1978-
Борисављевић, Мирјана, 1965-
Narbu, Žilijen

Opis (srp)

Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...

Opis (srp)

Рачунарство - Вештачка интелигенција / Computer Science - Artificial intelligence Datum odbrane: 07.09.2016.

Opis (eng)

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...

Jezik

srpski

Datum

2016

Licenca

Ovo delo je licencirano pod uslovima licence
Creative Commons CC BY 2.0 AT - Creative Commons Autorstvo 2.0 Austria License.

http://creativecommons.org/licenses/by/2.0/at/legalcode

Predmet

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, Opšta geometrija. Aksiomatika

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