| 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: 1973
Oblast: Matematika
Jezik: Srpski
Autor: Strani
67966) UVOD U MATEMATIČKU LOGIKU I METODOLOGIJU MATEMATIKE , Alfred Tarski, Rad Beograd 1973 ,
Delo je metodološki podeljeno na dva glavna dela koja sistematično vode čitaoca od osnovnih elemenata logike do njihove praktične primene u izgradnji matematičkih teorija:
1. Prvi deo - Elementi logike. Deduktivni metod:
Upotreba promenljivih: Razjašnjava se pojam promenljive, konstante i otvorenih rečenica.
Račun iskaza (Iskazna logika): Obrađuju se logički veznici (negacija, konjunkcija, disjunkcija, implikacija, ekvivalencija) i istinitosne tablice.
Teorija identiteta i teorija klasa (skupova): Uvod u formalno definisanje jednakosti i osnovne skupovne operacije.
Teorija relacija: Koncepti uređenih parova, relacija, funkcija i njihovih osobina.
Deduktivna metoda: Detaljna analiza strukture deduktivne teorije, aksioma, teorema, definicija i pravila izvođenja.
2. Drugi deo - Primena logike i metodologije u izgradnji matematičkih teorija:
Konstrukcija matematičkih sistema: Tarski na konkretnim primerima (poput zakona aritmetike i teorije grupa) demonstrira kako se primenjuju logička pravila i deduktivni metod za podizanje rigoroznih matematičkih sistema.
Metodološka razmatranja: Diskusija o konzistentnosti (neprotivrečnosti), kompletnosti (potpunosti) i odlučivosti matematičkih sistema.
mek povez, format 13,5 x 20 cm , latinica, 222 strane