The Logical Foundations of Statistical Inference, Henry E. Kyburg Jr.

Автор: Kofi Kissi Dompere
Название: Epistemic Foundations of Fuzziness
ISBN: 3642099882 ISBN-13(EAN): 9783642099885
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the second in a series on the role of fuzzy paradigm and fuzzy rationality within the theory of knowledge. This one is devoted to unified epistemic models and theories of decision-choice under total uncertainties.

Автор: Hacking
Название: Logic of Statistical Inference
ISBN: 1316508145 ISBN-13(EAN): 9781316508145
Издательство: Cambridge Academ
Рейтинг:
Цена: 22170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book showcases Ian Hacking`s early ideas on the central issues surrounding statistical reasoning. Presented in a fresh twenty-first-century series livery, and with a specially commissioned new preface, this influential work is now available for a new generation of readers in statistics, philosophy of science and philosophy of maths.

Автор: Adolfo Garc?a de la Sienra
Название: The Logical Foundations of the Marxian Theory of Value
ISBN: 9401051933 ISBN-13(EAN): 9789401051934
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 9048153360 ISBN-13(EAN): 9789048153367
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Z. Bankowski; I. White; Ulrike Hahn
Название: Informatics and the Foundations of Legal Reasoning
ISBN: 9048145422 ISBN-13(EAN): 9789048145423
Издательство: Springer
Рейтинг:
Цена: 208700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fourteen papers, together with a long analytical introduction by the editors, were selected from the contributions of legal theorists, computer scientists, philosophers and logicians who were members of an International Working Group supported by the European Commission.

Автор: Karl Menger; Henk L. Mulder
Название: Selected Papers in Logic and Foundations, Didactics, Economics
ISBN: 9027703205 ISBN-13(EAN): 9789027703200
Издательство: Springer
Рейтинг:
Цена: 198450.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics.

Автор: Ewa Orlowska; Joanna Goli?ska Pilarek
Название: Dual Tableaux: Foundations, Methodology, Case Studies
ISBN: 9400734360 ISBN-13(EAN): 9789400734364
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.

Автор: Karl Menger; Henk L. Mulder
Название: Selected Papers in Logic and Foundations, Didactics, Economics
ISBN: 9027703213 ISBN-13(EAN): 9789027703217
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

Автор: Gerhard J?ger; Wilfried Sieg
Название: Feferman on Foundations
ISBN: 3319633325 ISBN-13(EAN): 9783319633329
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic.- Model Theory .- Set Theory .- Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity .- Unfolding 2 .- Semi-constructive systems III. Axiomatic Foundations .- Explicit Mathematics and Operational Set Theory .- Theories of Truth .- Foundations of Category Theory IV. From Logic to Philosophy .- What is Logic? .- Foundational Ways .- Gцdel, Minds and Machines .- New Axioms and the Continuum Problem .- Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies.- Index.

Автор: Joyce
Название: The Foundations of Causal Decision Theory
ISBN: 0521063566 ISBN-13(EAN): 9780521063562
Издательство: Cambridge Academ
Рейтинг:
Цена: 38010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defends the view that any adequate account of rational decision making must take a decision maker`s beliefs about causal relations into account. In providing the most complete and robust defence of causal decision theory the book will be of interest to a broad range of readers.

Автор: Baaz
Название: Kurt G?del and the Foundations of Mathematics
ISBN: 1107677998 ISBN-13(EAN): 9781107677999
Издательство: Cambridge Academ
Рейтинг:
Цена: 65470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume commemorates the life, work and foundational views of Kurt Goedel by exploring the impact of his work on current research and its future implications not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science.