Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability (Bog, Hardback, Engelsk)An account of the current state of the theory of combinatory spaces and their applications. Divided into three sections, it covers computational structures and computability, combinatory spaces and computability in iterative combinatory spaces.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Non-Classical Logics and Their Applications to Fuzzy Subsets: Handbook of the Mathematical Foundations of Fuzzy Set Theory (Bog, Hardback, Engelsk)This work is a study of the relations between non-classical logics and fuzzy sets. It is aimed at all those who are interested in a deeper understanding of the mathematical foundations of fuzzy set theory, including intuitionistic logic, Lukasiewicz logic and monoidal logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Boolean Valued Analysis (Bog, Hardback, Engelsk)This text conveys the advantages of Boolean valued analysis which provides the tools for transforming, for example, function spaces to subsets of the reals and operators to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
Proof and System-Reliability (Bog, Hardback, Engelsk)As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. This volume contains... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computable Structure Theory: A Unified Approach (Bog, Hardback, Engelsk)This is the first book which gives a unified theory for countable and uncountable computable structures. The work treats computable linear orderings, graphs, groups and Boolean algebras unified with computable metric and Banach spaces, profinite groups, and the like.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Vom Universum des Denkens: Eine Geistesgeschichte der Logik (Bog, Hardback, Tysk)Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Kurt Godel: Metamathematisches Genie (Bog, Hardback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Intellectual History of Science in the Renaissance: Part II: Cultural, Fundamental & Technological Frameworks (Bog, Hardback, Engelsk)Taking into account the excellence of the essays, the book covers several branches and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Diskrete Mathematik fur die Informatik (Bog, Paperback / softback, Tysk)Selbstverständlich werden mit Abzählmethoden und Graphen auch klassische Themen der Diskreten Mathematik diskutiert.Zahlreiche Beispiele und Übungsaufgaben bieten eine optimale Vertiefung zum Verständnis der Materie an.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory (Bog, Hardback, Engelsk)Do the existing paradigms in the logic of questions allow one to combine questions and proofs? It starts out with an overview of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics (Bog, Hardback, Engelsk)This book provides a concise and self-contained introduction to the foundations of mathematics. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms.
Levering: Skaffevare (forvent 14 - 30 hverdage)
