Catalog > Științe > Math > de bază > Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

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

Ajutor

Copertina de 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

Despre autor

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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● Pagini 424 ● ISBN 9781614519409 ● Mărime fișier 7.5 MB ● Editor Vasco Brattka & Hannes Diener ● Editura De Gruyter ● Oraș MA ● Publicat 2014 ● Ediție 1 ● Descărcabil 24 luni ● Valută EUR ● ID 4441860 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Vasco Brattka Hannes Diener Dieter Spreen

187 Ebooks din această categorie

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

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

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

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

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

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

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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: …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Pagina următoare >>>