Formal Proofs in Elementary Set Theory by Suryanarayan, Krishna;

Rules of Logic for Formal Proofs in Zermelo Set Theory

Sorozatcím: SpringerBriefs in Applied Sciences and Technology;

20% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár EUR 53.49
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

20 893 Ft (19 898 Ft + 5% áfa)
Kedvezmény(ek) 20% (cc. 4 179 Ft off)
Kedvezményes ár 16 714 Ft (15 918 Ft + 5% áfa)
A kedvezmény érvényes eddig: 2026. június 30.

18 386 Ft

Beszerezhetőség

Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.

A termék adatai:

Kiadó Springer Nature Switzerland
Megjelenés dátuma 2026. július 13.

ISBN 9783032222381
Kötéstípus Puhakötés
Terjedelem135 oldal
Méret 235x155 mm
Nyelv angol
Illusztrációk VII, 135 p.

Kategóriák

A matematika alapjai, matematikai logika A mérnöki tudományok általános kérdései Operációs rendszerek és grafikus felhasználói felületek Halmazelmélet A matematika alapjai, matematikai logika (karitatív célú kampány) A mérnöki tudományok általános kérdései (karitatív célú kampány) Operációs rendszerek és grafikus felhasználói felületek (karitatív célú kampány) Halmazelmélet (karitatív célú kampány)

Hosszú leírás:

The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the existence of a Peano system which provides a foundation for the number theory. The book helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs. It can be used to develop a software that can be used to write and verify formal proofs.

Több

Tartalomjegyzék:

Logic.- Symbols of Logic.- Set Theory.- Russell’s Paradox and Nonexistence of Universal Set.- Equality of Sets and Membership.