Catalog > Scienza > Matematica > Nozioni di base > Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

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

Supporto

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

Circa l’autore

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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● Pagine 424 ● ISBN 9781614519409 ● Dimensione 7.5 MB ● Editore Vasco Brattka & Hannes Diener ● Casa editrice De Gruyter ● Città MA ● Pubblicato 2014 ● Edizione 1 ● Scaricabile 24 mesi ● Moneta EUR ● ID 4441860 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Vasco Brattka Hannes Diener Dieter Spreen

187 Ebook in questa categoria

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

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

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

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

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

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

Copertina di 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 di 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 di 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 di 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 di 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 di 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 di 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 di 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 successiva >>>