61 Results for : compactness

  • Thumbnail
    General Topology II
    General Topology II ab 79.99 € als Taschenbuch: Compactness Homologies of General Spaces. Softcover reprint of the original 1st ed. 1996. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,
    • Shop: hugendubel
    • Price: 79.99 EUR excl. shipping
  • Thumbnail
    A Cp-Theory Problem Book
    A Cp-Theory Problem Book ab 60.99 € als Taschenbuch: Compactness in Function Spaces. Softcover reprint of the original 1st ed. 2015. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,
    • Shop: hugendubel
    • Price: 60.99 EUR excl. shipping
  • Thumbnail
    Logic and Structure
    Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
    • Shop: buecher
    • Price: 54.99 EUR excl. shipping
  • Thumbnail
    Topology for Beginners
    Topology for Beginners ab 83.99 € als Taschenbuch: A Rigorous Introduction to Set Theory Topological Spaces Continuity Separation Countability Metrizability Compactness Connectedness Function Spaces and Algebraic Topology. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,
    • Shop: hugendubel
    • Price: 83.99 EUR excl. shipping
  • Thumbnail
    Demolition Angel: A Novel, Hörbuch, Digital, 350min
    “Crais is at the top of his game, and Demolition Angel delivers the goods. With a bang....It’s Silence of the Lambs meets Speed....Crais knows how to press all the right buttons in keeping the story line taut and the action, well, explosive.” (San Francisco Chronicle) Carol Starkey is struggling to pick up the pieces of her former life as L.A.’s finest bomb squad technician. Fueled with liberal doses of alcohol and Tagamet, she’s doing time as a Detective-2 with LAPD’s Criminal Conspiracy Section. Three years have passed since the event that still haunts her: a detonation that killed her partner and lover, scarred her body and soul, and ended her career as a bomb tech. When a seemingly innocuous bomb call explodes into a charred murder scene, Carol catches the case and embarks on an investigation of a series of explosions that reveal chilling intentions. The bombs are designed expressly to kill bomb technicians. Now, as the one tech who survived the deadliest of blasts, Carol is in for the most perilous fight of her life.... Praise for Demolition Angel“Terrific...explosive...[a] high powered thrill ride.” (The Wall Street Journal)  “Gripping...Crais piles on plot twists...gathering the separate threads at the end and igniting them like a string of fireworks.” (People) “A powerful, self-contained novel of suspense that has the compactness, velocity, and effectiveness of a well-aimed bullet...This is a thriller that works on every level, a pivotal work from a crime novelist operating at the top of his game.” (Los Angeles Times)  “Fascinating and frighteningly believable...Starkey is one of the toughest characters to grace the crowded field of thriller books in a long time.” (USA Today) “A flammable techno-thriller with the kind of force that knocks out windows.” (The New York Times Book Review)  Language: English. Narrator: Patricia Kalember. Audio sample: https://samples.audible.de/bk/bant/000287/bk_bant_000287_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    Apartness and Uniformity
    This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science.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 some guidance for the theory of apartness, the notion of nearness/proximity does not embody enough algorithmic information for a deep constructive development. The use of constructive (intuitionistic) logic in this book requires much more technical ingenuity than one finds in classical proximity theory -- algorithmic information does not come cheaply -- but it often reveals distinctions that are rendered invisible by classical logic.In the first chapter the authors outline informal constructive logic and set theory, and, briefly, the basic notions and notations for metric and topological spaces. In the second they introduce axioms for a point-set apartness and then explore some of the consequences of those axioms. In particular, they examine a natural topology associated with an apartness space, and relations between various types of continuity of mappings. In the third chapter the authors extend the notion of point-set (pre-)apartness axiomatically to one of (pre-)apartness between subsets of an inhabited set. They then provide axioms for a quasiuniform space, perhaps the most important type of set-set apartness space. Quasiuniform spaces play a major role in the remainder of the chapter, which covers such topics as the connection between uniform and strong continuity (arguably the most technically difficult part of the book), apartness and convergence in function spaces, types of completeness, and neat compactness. Each chapter has a Notes section, in which are found comments on the definitions, results, and proofs, as well as occasional pointers to future work. The book ends with a Postlude that refers to other constructive approaches to topology, with emphasis on the relation between apartness spaces and formal topology.Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.
    • Shop: buecher
    • Price: 63.99 EUR excl. shipping
  • Thumbnail
    Mastering UI Mockups and Frameworks (eBook, ePUB)
    Mastering UI Mockups and Frameworks: A Beginner's Guide sets the standard for studying wireframes, mockups, and different tools along with their unique features. This book comprehensively analyzes the design, portability, and efficiency of these tools. As a beginner's guide, Mastering UI Mockups and Frameworks addresses various methods to use these types of tools. This book will help you shape your understanding of UI and UX tools regardless of your skill level. Wireframes and mockups are standard tools used during the design process. A mockup is a visual presentation of a website or an app. Designers always use mockups to highlight their website's layout and functionality to their prospective clients. Choosing a particular tool at the right stage will help you ensure that the correct level of effort is invested so that you can deliver functionality that solves an actual customer requirement. Mastering UI Mockups and Frameworks helps you accomplish this! This book explores the design, compactness, and performance of different UX/UI tools by completing various comparative discussions. Mastering UI Mockups and Frameworks has an abundant supply of tested, functional, and documented Wireframe and mockup tools by providing comprehensive, practical, easy-to-grab solutions and paying close attention to both efficiency and portability. This book also discusses the latest updates added to the UX/UI tools. Furthermore, Mastering UI Mockups and Frameworks offers information for students and professionals interested in knowing more about such tools and their outstanding efficacies. While wireframes and prototypes are low-fidelity formats, mockups are more intuitive. They help clients visualize how the final product will look, feel, and work. Mockups also help remove ambiguity regarding the client's expectations. Clients can detect gaps on the website by looking at its mockup and suggesting early product revisions. By using mockups for each iteration, designers can create a final product that meets client requirements. Wireframing is an unavoidable part of the design process. You will have a lot of ideas to brainstorm while working on a mobile app or website project. The Wireframing brainstorm sessions' main purpose is to make them with minimal effort and to facilitate creativity. Whether or not you are a designer, wireframing is a necessary skill to have in your toolkit. It is conducive for marketers, product managers, or any person with ideas for a mobile app or website. It is an irreplaceable tool for visualizing user experiences, iterating ideas, and sharing ideas. It undoubtedly performs like a design blueprint. Wireframes stipulate a path for conceptual structuring out an application, whether structurally or visually. Mastering UI Mockups and Frameworks provides you with the uniqueness of two irreplaceable parts of the designing world: mockups and wireframes. This book covers different mockup and wireframe tools, including Adobe XD, Mockplus, Moqups, Mockplus iDOC, Sketch Figma, UXpin, and Axure RP, as well as their functionality and portability. Using some of these mockup tools, you can create interactive mockups that can be exported and run on any device working as a real application. This is a robust way to test your knowledge about your apps. It will also help with detailed instructions for developers, making their job easier and faster. If you are looking to get started with the world of UI and UX, Mastering UI Mockups and Frameworks is the book to read! Learn more about our other Mastering titles at: https://www.routledge.com/Mastering-Computer-Science/book-series/MCS
    • Shop: buecher
    • Price: 20.95 EUR excl. shipping
  • Thumbnail
    Mastering UI Mockups and Frameworks (eBook, PDF)
    Mastering UI Mockups and Frameworks: A Beginner's Guide sets the standard for studying wireframes, mockups, and different tools along with their unique features. This book comprehensively analyzes the design, portability, and efficiency of these tools. As a beginner's guide, Mastering UI Mockups and Frameworks addresses various methods to use these types of tools. This book will help you shape your understanding of UI and UX tools regardless of your skill level. Wireframes and mockups are standard tools used during the design process. A mockup is a visual presentation of a website or an app. Designers always use mockups to highlight their website's layout and functionality to their prospective clients. Choosing a particular tool at the right stage will help you ensure that the correct level of effort is invested so that you can deliver functionality that solves an actual customer requirement. Mastering UI Mockups and Frameworks helps you accomplish this! This book explores the design, compactness, and performance of different UX/UI tools by completing various comparative discussions. Mastering UI Mockups and Frameworks has an abundant supply of tested, functional, and documented Wireframe and mockup tools by providing comprehensive, practical, easy-to-grab solutions and paying close attention to both efficiency and portability. This book also discusses the latest updates added to the UX/UI tools. Furthermore, Mastering UI Mockups and Frameworks offers information for students and professionals interested in knowing more about such tools and their outstanding efficacies. While wireframes and prototypes are low-fidelity formats, mockups are more intuitive. They help clients visualize how the final product will look, feel, and work. Mockups also help remove ambiguity regarding the client's expectations. Clients can detect gaps on the website by looking at its mockup and suggesting early product revisions. By using mockups for each iteration, designers can create a final product that meets client requirements. Wireframing is an unavoidable part of the design process. You will have a lot of ideas to brainstorm while working on a mobile app or website project. The Wireframing brainstorm sessions' main purpose is to make them with minimal effort and to facilitate creativity. Whether or not you are a designer, wireframing is a necessary skill to have in your toolkit. It is conducive for marketers, product managers, or any person with ideas for a mobile app or website. It is an irreplaceable tool for visualizing user experiences, iterating ideas, and sharing ideas. It undoubtedly performs like a design blueprint. Wireframes stipulate a path for conceptual structuring out an application, whether structurally or visually. Mastering UI Mockups and Frameworks provides you with the uniqueness of two irreplaceable parts of the designing world: mockups and wireframes. This book covers different mockup and wireframe tools, including Adobe XD, Mockplus, Moqups, Mockplus iDOC, Sketch Figma, UXpin, and Axure RP, as well as their functionality and portability. Using some of these mockup tools, you can create interactive mockups that can be exported and run on any device working as a real application. This is a robust way to test your knowledge about your apps. It will also help with detailed instructions for developers, making their job easier and faster. If you are looking to get started with the world of UI and UX, Mastering UI Mockups and Frameworks is the book to read! Learn more about our other Mastering titles at: https://www.routledge.com/Mastering-Computer-Science/book-series/MCS
    • Shop: buecher
    • Price: 20.95 EUR excl. shipping
  • Thumbnail
    An Introduction to Compactness Results in Symplectic Field Theory
    An Introduction to Compactness Results in Symplectic Field Theory - Auflage 2014: ab 106.99 €
    • Shop: ebook.de
    • Price: 106.99 EUR excl. shipping
  • Thumbnail
    Nonlinear Problems with Lack of Compactness
    Nonlinear Problems with Lack of Compactness: ab 112.99 €
    • Shop: ebook.de
    • Price: 112.99 EUR excl. shipping

Similar searches: