Dag Prawitz on Proofs and Meaning, Heinrich Wansing
Автор: Lakatos Название: Proofs and Refutations ISBN: 1107534054 ISBN-13(EAN): 9781107534056 Издательство: Cambridge Academ Рейтинг: Цена: 3326.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Imre Lakatos`s influential and enduring work on the nature of mathematic discovery and development continues to be relevant to philosophers of mathematics. Including a specially commissioned preface written by Paolo Mancosu, and presented in a fresh twenty-first-century series livery, it is now available for a new generation of readers.
Автор: Adriane Rini Название: Aristotle`s Modal Proofs ISBN: 9400734670 ISBN-13(EAN): 9789400734678 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aristotle`s modal syllogistic is his study of patterns of reasoning about necessity and possibility. This volume provides a simple interpretation of Aristotle`s modal syllogistic using standard predicate logic, making it accessible to a wide range of readers.
Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin Название: Types for Proofs and Programs ISBN: 3540314288 ISBN-13(EAN): 9783540314288 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Автор: I. Lakatos Название: Proofs and refutations ISBN: 0521290384 ISBN-13(EAN): 9780521290388 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.
Автор: Roberts Название: Introduction to Mathematical Proofs, Second Edition ISBN: 1482246872 ISBN-13(EAN): 9781482246872 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.
Unlike similar textbooks, this one begins with logic since it is the underlying language of mathematics and the basis of reasoned arguments. The text then discusses deductive mathematical systems and the systems of natural numbers, integers, rational numbers, and real numbers.
It also covers elementary topics in set theory, explores various properties of relations and functions, and proves several theorems using induction. The final chapters introduce the concept of cardinalities of sets and the concepts and proofs of real analysis and group theory. In the appendix, the author includes some basic guidelines to follow when writing proofs.
This new edition includes more than 125 new exercises in sections titled More Challenging Exercises. Also, numerous examples illustrate in detail how to write proofs and show how to solve problems. These examples can serve as models for students to emulate when solving exercises.
Several biographical sketches and historical comments have been included to enrich and enliven the text. Written in a conversational style, yet maintaining the proper level of mathematical rigor, this accessible book teaches students to reason logically, read proofs critically, and write valid mathematical proofs. It prepares them to succeed in more advanced mathematics courses, such as abstract algebra and analysis.
Автор: K. Kunen Название: Set Theory An Introduction To Independence Proofs, ISBN: 0444868399 ISBN-13(EAN): 9780444868398 Издательство: Elsevier Science Рейтинг: Цена: 8420.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.
Автор: Heinrich Wansing Название: Dag Prawitz on Proofs and Meaning ISBN: 3319110403 ISBN-13(EAN): 9783319110400 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Prawitz`s eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
Автор: D. Prawitz; Dag Westerst?hl Название: Logic and Philosophy of Science in Uppsala ISBN: 0792327020 ISBN-13(EAN): 9780792327028 Издательство: Springer Рейтинг: Цена: 43184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains 38 papers which provide a cross-section of research in philosophy of science and philosophical logic. This volume includes papers which deal with different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology.
Автор: D. Prawitz; Dag Westerst?hl Название: Logic and Philosophy of Science in Uppsala ISBN: 9048143659 ISBN-13(EAN): 9789048143658 Издательство: Springer Рейтинг: Цена: 43184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
