Topológia prostredníctvom logiky

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 5 hlasoch.

Pôvodný názov:

Topology Via Logic

Obsah knihy:

Táto pokročilá učebnica topológie má tri nezvyčajné vlastnosti. Po prvé, úvod je z lokálneho hľadiska, motivovaný logikou konečných pozorovaní: to poskytuje priamejší prístup ako tradičný prístup založený na abstrahovaní vlastností otvorených množín v reálnej priamke.

Po druhé, autor voľne využíva metódy teórie lokalizácie. Po tretie, v knihe sa podstatne diskutuje o niektorých aplikáciách v informatike.

Keďže informatici si čoraz viac uvedomujú matematické základy svojej disciplíny, je vhodné, aby sa takéto témy prezentovali vo forme priamej relevantnosti a aplikovateľnosti. Táto kniha do istej miery prispieva k preklenutiu tejto medzery medzi informatikmi.