Admissible Sets and Structures

دانلود کتاب Admissible Sets and Structures

51000 تومان موجود

کتاب مجموعه ها و ساختارهای قابل قبول نسخه زبان اصلی

دانلود کتاب مجموعه ها و ساختارهای قابل قبول بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 7


توضیحاتی در مورد کتاب Admissible Sets and Structures

نام کتاب : Admissible Sets and Structures
عنوان ترجمه شده به فارسی : مجموعه ها و ساختارهای قابل قبول
سری : Perspectives in Logic, Band 7
نویسندگان :
ناشر : Cambridge University Press
سال نشر : 2017
تعداد صفحات : 406
ISBN (شابک) : 1107168333 , 9781107168336
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 18 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :


از زمان پیدایش، مجموعه‌های دیدگاه‌های منطق و یادداشت‌های سخنرانی در منطق، آثار مهمی از منطق‌دانان برجسته منتشر کرده‌اند. بسیاری از کتاب‌های اصلی این مجموعه سال‌هاست که در دسترس نبوده‌اند، اما اکنون دوباره چاپ می‌شوند. نظریه مجموعه های قابل قبول منبع اصلی تعامل بین نظریه مدل، نظریه بازگشت و نظریه مجموعه است و نقش مهمی در نظریه تعریف پذیری ایفا می کند. در این جلد، که هفتمین انتشار از مجموعه دیدگاه‌های منطق است، جان بارویز حقایق اساسی در مورد مجموعه‌های قابل قبول و ترتیبات قابل قبول را به گونه‌ای ارائه می‌کند که آنها را برای دانشجویان منطق و متخصصان به طور یکسان در دسترس قرار می‌دهد. این شکاف مصنوعی بین نظریه مدل و نظریه بازگشت را پر می کند و همه چیزهایی را که منطق دان باید در مورد مجموعه های قابل قبول بداند را پوشش می دهد.

فهرست مطالب :


Contents Preface 1 CFD in Perspective 1.1 The Nature of CFD 1.2 Overview of the Book 1.3 Algorithm, Numerical Method, Implementation and Simulation 1.4 Models and Methods 1.5 Round-off Error 1.6 A Hierarchy of Computation 1.7 Ramification, Turbulence and the Complexity of Fluid Flows 1.8 The Development of Computer Hardware 1.9 Some Remarks on Software 2 Mappings 2.1 Numerical Methods as Mappings 2.2 Fixed Points: Stability, Instability and Superstability 2.3 Stability of Exact Solution, Implicit and Explicit Approximations 2.4 More on Mappings 2.5 Random Number Generation 2.6 Newton’s Method in the Complex Plane 2.7 Mappings and Fluid Flows 3 Ordinary Differential Equations: Initial Value Problem 3.1 Some Conventional Wisdom 3.2 Explicit Euler and Implicit Euler Schemes 3.3 Runge–Kutta Methods 3.4 Adams–Bashforth–Moulton Methods 3.5 Other Methods and Considerations 3.6 Bashforth’s Problem: Sessile Drop on a Flat Plate 3.7 Flow Due to a Collapsing Bubble 3.8 Motion of a Solid in Ideal Fluid 3.9 The Point-Vortex Equations 3.10 Vortex Sheet Roll-up 4 Spatial Discretization 4.1 Forward, Backward and Central Difference 4.2 Matrix Derivative Operators 4.3 Compact Differences 4.4 Non-uniform Discretization 4.5 Numerical Interpolation 4.6 Numerical Integration 5 Boundary Value and Eigenvalue ODEs 5.1 Linear Boundary Value Problems 5.2 Nonlinear Boundary Value Problems 5.3 Boundary Value Problems in Viscous Flow 5.4 Eigenvalue Problems 5.5 Hydrodynamic Instability 6 Methods Based on Functional Expansions 6.1 Introduction 6.2 Fourier Approximation 6.3 Polynomial Approximation 6.4 Galerkin, Tau, Collocation and Pseudo-spectral Methods 6.5 Some Examples 7 Partial Differential Equations 7.1 Definitions and Preliminaries 7.2 The Advection Equation 7.3 The Diffusion Equation 7.4 The Advection–Diffusion Equation 7.5 Godunov’s Theorem 7.6 More on Stability: Non-periodic Boundary Conditions 7.7 Burgers’ Equation 7.8 Implicit Time-differencing 7.9 Direct Solution with Matrix Representation 8 Multi-dimensional Partial Differential Equations 8.1 Multi-dimensions 8.2 Navier–Stokes Equations 8.3 Navier–Stokes Equations in Spectral Form 8.4 Finite Volume Formulation 8.5 CFD for Complex Geometries 8.6 Sharp Interface Cartesian Grid Method 8.7 Immersed Boundary Method References Index

توضیحاتی در مورد کتاب به زبان اصلی :


Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Admissible set theory is a major source of interaction between model theory, recursion theory and set theory, and plays an important role in definability theory. In this volume, the seventh publication in the Perspectives in Logic series, Jon Barwise presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike. It fills the artificial gap between model theory and recursion theory and covers everything the logician should know about admissible sets.



پست ها تصادفی