Catalog > Wetenschappen > Wiskunde > Basics > Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

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

Ondersteuning

Hoes van 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

Over de auteur

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

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat EPUB ● Pagina’s 424 ● ISBN 9781614519409 ● Bestandsgrootte 7.5 MB ● Editor Vasco Brattka & Hannes Diener ● Uitgeverij De Gruyter ● Stad MA ● Gepubliceerd 2014 ● Editie 1 ● Downloadbare 24 maanden ● Valuta EUR ● ID 4441860 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Vasco Brattka Hannes Diener Dieter Spreen

187 E-boeken in deze categorie

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

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

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

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

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

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

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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: …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Volgende pagina >>>