Topologia przez logikę

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 5 głosach.

Oryginalny tytuł:

Topology Via Logic

Zawartość książki:

Ten zaawansowany podręcznik topologii ma trzy niezwykłe cechy. Po pierwsze, wprowadzenie jest z punktu widzenia lokalizacji, motywowane logiką skończonych obserwacji: zapewnia to bardziej bezpośrednie podejście niż tradycyjne podejście oparte na abstrakcji właściwości zbiorów otwartych na linii rzeczywistej.

Po drugie, autor swobodnie wykorzystuje metody teorii locale. Po trzecie, w książce znajduje się istotna dyskusja na temat niektórych zastosowań informatyki.

Ponieważ informatycy stają się coraz bardziej świadomi matematycznych podstaw swojej dyscypliny, właściwe jest, aby takie tematy były przedstawiane w formie bezpośredniej przydatności i stosowalności. Ta książka w pewnym stopniu wypełnia tę lukę dla informatyków.