Catalog > Naturwissenschaft > Mathematik > Grundlagen > Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

Vasco Brattka & Hannes Diener
Logic, Computation, Hierarchies [EPUB ebook]

Support

Cover von Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

€159.95

Über den Autor

Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● Seiten 424 ● ISBN 9781614519409 ● Dateigröße 7.5 MB ● Herausgeber Vasco Brattka & Hannes Diener ● Verlag De Gruyter ● Ort MA ● Erscheinungsjahr 2014 ● Ausgabe 1 ● herunterladbar 24 Monate ● Währung EUR ● ID 4441860 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Vasco Brattka Hannes Diener Dieter Spreen

187 Ebooks in dieser Kategorie

Cover von شيرى تيركل: وحدنا معاً ..

شيرى تيركل: وحدنا معاً ..

شيري تيركل عالِمة أنثربولوجيا، ومحلِّلة وإخصائية نفسية إكلينيكية، وأستاذة بمعهد ماساتشوستس للتكنولوجيا الشهير بالولايات المتحدة الأمريكية، ومؤسِّسة ومديرة مبادرة معهد ماساتشوستس للتكنولوجيا حول التكن …

Cover von جيمس تريفيل: لماذا العلم؟

جيمس تريفيل: لماذا العلم؟

لماذا العلم؟ ليس العلم مجردَ اكتساب معلوماتٍ علمية أو حيازة ذهنية لمعلوماتٍ وحيازة مادية لتكنولوجيا، ولكن العلم الذي يمثِّل الآن روح العصر، هو منهج في فهم ودراسة الواقع اعتمادًا على العقل الناقد بهدف …

Cover von Daniel Cunningham: Mathematical Logic

Daniel Cunningham: Mathematical Logic

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fu …

Cover von Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Set and Number Theory

Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Set and Number Theory

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functio …

Cover von Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Functions and Measure Theory

Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Functions and Measure Theory

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functio …

Cover von Vladimir Lepetic: Principles of Mathematics

Vladimir Lepetic: Principles of Mathematics

Presents a uniquely balanced approach that bridges introductory and advanced topics in modern mathematics An accessible treatment of the fundamentals of modern mathematics, Principles of Mathematics: …

Cover von Michael L. O'Leary: A First Course in Mathematical Logic and Set Theory

Michael L. O’Leary: A First Course in Mathematical Logic and Set Theory

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within …

Cover von J. Y. F. Lau: An Introduction to Critical Thinking and Creativity

J. Y. F. Lau: An Introduction to Critical Thinking and Creativity

A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills Critical thinking skills are essential in virtually any field of study or practice where individua …

Cover von Melvin Powers: Practical Guide to Self-Hypnosis

Melvin Powers: Practical Guide to Self-Hypnosis

This book is written in terms that are comprehensible to the layman. The step-by-step instructions should afford the reader a means of acquiring self-hypnosis. The necessary material is here. The rea …

Cover von Loke Hagberg: Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

Loke Hagberg: Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

The paper is about formalizing methodological skepticism as a Bayesian updater, it is shown that the weakest coherent formal system, by ordinal analysis, is equivalent in strength to the formal syste …

nächste Seite >>>