• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Algorithms and complexity in mathematics, epistemology, and science :

پدید آورنده
editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.

موضوع
Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.

رده
QA9
.
58

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
1493990500
شابک
1493990519
شابک
1493990527
شابک
9781493990504
شابک
9781493990511
شابک
9781493990528
شابک اشتباه
9781493990504

عنوان و نام پديدآور

عنوان اصلي
Algorithms and complexity in mathematics, epistemology, and science :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of 2015 and 2016 ACMES Conferences /
نام نخستين پديدآور
editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
New York, NY :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2019]

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource :
ساير جزييات
illustrations

فروست

عنوان فروست
Fields Institute communications ;
مشخصه جلد
volume 82

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references.

یادداشتهای مربوط به مندرجات

متن يادداشت
Intro; Preface; Contents; Contributors; Ethics and the Continuum Hypothesis; 1 The Continuum Hypothesis; 2 Pure Versus Applied Mathematics; 3 Ethics for Mathematicians; 4 Mathematical Methods; 5 The Moral; 6 Facing Problems; 7 How Does the Refutation of CH Work?; References; Further Reading; How to Generate All Possible Rational Wilf-Zeilberger Pairs?; 1 Introduction; 2 Residue Criteria; 3 Structure Theorems; 3.1 The Differential Case; 3.2 The (q)-Shift Case; 3.3 The Mixed Case; 4 Conclusion; References; Backward Error Analysis for Perturbation Methods; 1 Introduction
متن يادداشت
2 The Basic Method from the BEA Point of View2.1 Regular Perturbation BEA-Style; 2.2 Conditioning and Sensitivity; 3 Algebraic Equations; 3.1 Regular Perturbation; 3.1.1 Scalar Equations; 3.1.2 Simple Computer Algebra Solution; 3.1.3 Systems of Algebraic Equations; 3.1.4 Solving Algebraic Systems by the Davidenko Equation; 3.2 Puiseux Series; 3.3 Singular Perturbation; 3.4 Optimal Backward Error; 3.5 A Hyperasymptotic Example; 4 Divergent Asymptotic Series; 5 Initial-Value Problems; 5.1 Duffing's Equation; 5.1.1 Regular Expansion; 5.1.2 Lindstedt's Method; 5.2 Morrison's Counterexample
متن يادداشت
4.5 The Grounding of Physics in Observation and Experiment4.6 Is the Complexity of Grounding Different in Physics than Math?; 4.7 Claims to Universality; 4.8 Argumentation in Physics; 4.8.1 Deduction from the Absolute Foundations; 4.8.2 Argumentation in Elementary Physics; 4.9 Reasoning About Things That Are Partially Understood; 5 An Example Word Problem; 6 Historical Context and Related Work; 6.1 Before Hilbert; 6.2 Hilbert's Sixth Problem and the Axiomatization of Physics; 6.3 Philosophy; 6.3.1 Is Pavel a Bad Reinvention of Logical Positivism?; 6.4 Artificial Intelligence
متن يادداشت
5.3 The Lengthening Pendulum5.4 Optimal Backward Error Again; 5.5 Vanishing Lag Delay DE; 6 Concluding Remarks; References; Proof Verification Technology and Elementary Physics; 1 Memories of Jonathan Borwein; 2 Mathematical Proof Verification Software; 3 Formal Proof and Proof Technology in Mathematics; 3.1 What Hasn't Been Done for Math; 3.2 Word Problems; 4 Physics; 4.1 The Potential Value of This Undertaking; 4.2 The Bayesian Formulation; 4.3 Straw Man: The Tee-Shirt Model of Pavel; 4.4 The Equations Are More Complicated than Their Tee-Shirt Version
متن يادداشت
6.4.1 Knowledge-Based Physical Reasoning6.4.2 AI Programs That Induce Scientific Theories; 6.4.3 Bayesian Inference of Structure; 6.4.4 Domingos and the Master Algorithm; 7 Potential Philosophical Impact; 8 Conclusions: Whither Pavel?; References; An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems; 1 Introduction; 2 Uncertainty Quantification (UQ); 3 Types of Input Noises; 4 Discretization of Stochastic Processes; 5 Approximation of Solutions of PDEs with Random Inputs; 6 Quo Vadis Uncertainty Quantification?; References
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques.

یادداشتهای مربوط به سفارشات

منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9781493990511

ویراست دیگر از اثر در قالب دیگر رسانه

شماره استاندارد بين المللي کتاب و موسيقي
9781493990504
شماره استاندارد بين المللي کتاب و موسيقي
9781493990528

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Algorithms, Congresses.
موضوع مستند نشده
Complexity (Philosophy), Congresses.
موضوع مستند نشده
Mathematics, Congresses.
موضوع مستند نشده
Science-- Mathematics, Congresses.
موضوع مستند نشده
Technological complexity, Congresses.
موضوع مستند نشده
Algorithms.
موضوع مستند نشده
Complexity (Philosophy)
موضوع مستند نشده
MATHEMATICS-- Numerical Analysis.
موضوع مستند نشده
Mathematics.
موضوع مستند نشده
Science-- Mathematics.
موضوع مستند نشده
Technological complexity.

مقوله موضوعی

موضوع مستند نشده
MAT-- 041000
موضوع مستند نشده
PBKS
موضوع مستند نشده
PBKS

رده بندی ديویی

شماره
518
.
1
ويراست
23

رده بندی کنگره

شماره رده
QA9
.
58

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Corless, Robert M.
مستند نام اشخاص تاييد نشده
Fillion, Nicolas,1981-
مستند نام اشخاص تاييد نشده
Kotsireas, Ilias

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
ACMES Conference(2015 :, Western University)
مستند نام تنالگان تاييد نشده
ACMES Conference(2016 :, Western University)

مبدا اصلی

تاريخ عمليات
20200823035123.0
قواعد فهرست نويسي ( بخش توصيفي )
pn

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال