| Cena: |
| Stanje: | Polovan bez oštećenja |
| Garancija: | Ne |
| Isporuka: | Pošta CC paket (Pošta) Post Express Lično preuzimanje |
| Plaćanje: | Tekući račun (pre slanja) Lično |
ISBN: Ostalo
Godina izdanja: 1986
Autor: Domaći
Oblast: Matematika
Jezik: Srpski
67934) HILBERTOVI PROBLEMI I LOGIKA , Žarko Mijajlović , Zoran Marković , Kosta Došen , Zavod za udžbenike Beograd 1986 , Sadržaj:
Predgovor
UVOD
Spisak Hilbertovih problema
I PRVI HILBERTOV PROBLEM
(Cantorov problem kardinalnog broja kontinuuma)
Dodatak: Gödelov i Cohenov dokaz
Bibliografske beleške
II DRUGI HILBERTOV PROBLEM
(Neprotivrečnost aritmetike)
Dodatak A: Gödelove teoreme o nepotpunosti
Dodatak B: Gentzenov dokaz konzistentnosti formalne aritmetike
Bibliografske beleške
III DESETI HILBERTOV PROBLEM
(Problem rešivosti diofantovskih jednačina)
Dodatak A: Dokaz Matijasevičeve teoreme
Dodatak B: Teorija efektivne izračunljivosti
Bibliografske beleške
IV SEDAMNAESTI HILBERTOV PROBLEM
(Problem predstavljivosti pozitivno definitnih racionalnih formi kao suma kvadrata)
Dodatak: Eliminacija kvantora
mek povez , format 14 x 20 cm , latinica, 168 strana