Apartness and Uniformity A Constructive Development /
The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides som...
Κύριοι συγγραφείς: | Bridges, Douglas S. (Συγγραφέας), Vîţă, Luminiţa Simona (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2011.
|
Σειρά: | Theory and Applications of Computability, In cooperation with the association Computability in Europe,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Techniques of Constructive Analysis
ανά: Bridges, Douglas S., κ.ά.
Έκδοση: (2006) -
The P=NP Question and Gödel’s Lost Letter
ανά: Lipton, Richard J.
Έκδοση: (2010) -
The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010) -
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Έκδοση: (2013) -
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
Έκδοση: (2011)