Автор: 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.
Автор: J. Marshall Unger Название: Sangaku Proofs: A Japanese Mathematician at Work ISBN: 1939161754 ISBN-13(EAN): 9781939161758 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 3254.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The geometry problems colorfully inscribed on sangaku plaques that survive in shrines and temples throughout Japan have long fascinated those who appreciate the beauty of geometric figures and enjoy challenging puzzles. Aida Yasuaki (1847–1817) was one of the most prolific originators of the wasan tradition that produced them. Instead of presenting and solving problems using modern techniques, Unger presents Aida’s own solutions, transcribing his calculations into familiar mathematical notation, highlighting connections between Aida’s work and both the mathematics of today and aspects of Japanese cultural history.
Автор: Thorsten Altenkirch; Conor McBride Название: Types for Proofs and Programs ISBN: 3540744630 ISBN-13(EAN): 9783540744634 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.
Название: Problems and Proofs in Real Analysis ISBN: 9814578509 ISBN-13(EAN): 9789814578509 Издательство: World Scientific Publishing Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume consists of the proofs of 391 problems in Real Analysis: Theory of Measure and Integration (3rd Edition).Most of the problems in Real Analysis are not mere applications of theorems proved in the book but rather extensions of the proven theorems or related theorems. Proving these problems tests the depth of understanding of the theorems in the main text.This volume will be especially helpful to those who read Real Analysis in self-study and have no easy access to an instructor or an advisor.
Автор: Gordon Fraser; Angelo Gargantini Название: Tests and Proofs ISBN: 3642139760 ISBN-13(EAN): 9783642139765 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.
Автор: Levering Matthew Название: Proofs of God: Classical Arguments from Tertullian to Barth ISBN: 0801097568 ISBN-13(EAN): 9780801097560 Издательство: Неизвестно Рейтинг: Цена: 5518.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A leading theologian offers a historical survey of the proofs of God`s existence for readers interested in traditional Christian responses to the problem of atheism.
Автор: Stewart David & Oliveira Suely Название: Building Proofs: A Practical Guide ISBN: 9814641294 ISBN-13(EAN): 9789814641296 Издательство: World Scientific Publishing Рейтинг: Цена: 7603.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level.
Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard "moves" in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.
Автор: Stewart David & Oliveira Suely Название: Building Proofs: A Practical Guide ISBN: 9814641308 ISBN-13(EAN): 9789814641302 Издательство: World Scientific Publishing Рейтинг: Цена: 3168.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level.
Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard "moves" in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.
Автор: Sylvie, Boldo Название: Computer arithmetic and Formal Proofs ISBN: 1785481126 ISBN-13(EAN): 9781785481123 Издательство: Elsevier Science Рейтинг: Цена: 22570.00 р. Наличие на складе: Поставка под заказ.
Описание:
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Описание: While there have been various studies examining the contents of the evangelistic proclamation in Acts; and various studies examining, from one angle or another, individual persuasive phenomena described in Acts (e.g., the use of the Jewish Scriptures); no individual studies have sought to identify the key persuasive phenomena presented by Luke in this book, or to analyse their impact upon the book’s early audiences. This study identifies four key phenomena – the Jewish Scriptures, witnessed supernatural events, the Christian community and Greco-Roman cultural interaction. By employing a textual analysis of Acts that takes into account both narrative and socio-historical contexts, the impact of these phenomena upon the early audiences of Acts – that is, those people who heard or read the narrative in the first decades after its completion – is determined. The investigation offers some unique and nuanced insights into evangelistic proclamation in Acts; persuasion in Acts, persuasion in the ancient world; each of the persuasive phenomena discussed; evangelistic mission in the early Christian church; and the growth of the early Christian church.
Автор: Nickerson Название: Mathematical Reasoning ISBN: 1138980587 ISBN-13(EAN): 9781138980587 Издательство: Taylor&Francis Рейтинг: Цена: 7348.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The development of mathematical competence -- both by humans as a species over millennia and by individuals over their lifetimes -- is a fascinating aspect of human cognition. This book explores a vast range of psychological questions related to mathematical cognition, and provides fascinating insights for researchers and students of cognition and instructors of mathematics.