Topologia attraverso la logica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 5 voti.

Titolo originale:

Topology Via Logic

Contenuto del libro:

Questo testo avanzato di topologia presenta tre caratteristiche insolite. In primo luogo, l'introduzione è dal punto di vista locale, motivata dalla logica delle osservazioni finite: ciò fornisce un approccio più diretto rispetto a quello tradizionale basato sull'astrazione delle proprietà degli insiemi aperti nella linea reale.

In secondo luogo, l'autore sfrutta liberamente i metodi della teoria dei locali. In terzo luogo, vengono discusse in modo sostanziale alcune applicazioni informatiche.

Poiché gli informatici sono sempre più consapevoli dei fondamenti matematici della loro disciplina, è opportuno che tali argomenti siano presentati in una forma di diretta rilevanza e applicabilità. Questo libro contribuisce a colmare questa lacuna per gli informatici.