برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Constructivism in mathematics: An introduction

دانلود کتاب سازه گرایی در ریاضیات: مقدمه ای

مشخصات کتاب

Constructivism in mathematics: An introduction

دسته بندی: منطق
ویرایش: 1 
نویسندگان: A. S. Troelstra and D. van Dalen  
سری: Studies in Logic and the Foundations of Mathematics 123 
ISBN (شابک) : 0444703586 
ناشر: Elsevier Science 
سال نشر: 1988 
تعداد صفحات: 606 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 46,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 16

در صورت تبدیل فایل کتاب Constructivism in mathematics: An introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سازه گرایی در ریاضیات: مقدمه ای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سازه گرایی در ریاضیات: مقدمه ای

مطالعاتی در منطق و مبانی ریاضیات، جلد 123: ساخت گرایی در ریاضیات: مقدمه، ج. II بر مطالعات مختلف در ریاضیات و منطق، از جمله فضاهای متریک، حلقه های چند جمله ای و جبرهای Heyting تمرکز دارد. این نشریه ابتدا نگاهی به توپولوژی فضاهای متریک، جبر، و محاسبات نوع محدود و نظریه‌های عملگرها می‌اندازد. بحث‌ها بر روی محاسبات محدود شهودی، نظریه‌های عملگرها و کلاس‌ها، حلقه‌ها و مدول‌ها، جبر خطی، حلقه‌های چندجمله‌ای، میدان‌ها و حلقه‌های محلی، فضاهای متریک قابل تفکیک کامل، و مجموعه‌های واقع شده متمرکز هستند. متن سپس نظریه اثبات منطق شهودی، نظریه انواع و نظریه مجموعه های سازنده، و توالی انتخاب را بررسی می کند. این کتاب در مورد کامل بودن معنایی، شیوها، سایت‌ها و منطق مرتبه بالاتر و کاربردهای مدل‌های شیف توضیح می‌دهد. موضوعات عبارتند از قانون مشتق شده از پیوستگی محلی، اصل موضوع انتخاب قابل شمارش، اجبار بر سایت ها، مدل های شیف برای منطق مرتبه بالاتر، و جبرهای هایتینگ کامل. این نشریه مرجع ارزشمندی برای ریاضیدانان و محققان علاقه مند به ریاضیات و منطق است.

توضیحاتی درمورد کتاب به خارجی

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.

فهرست مطالب

Content: 
Edited by
Page ii

Copyright Page
Page iii

Dedication
Page iv

Preface
Pages vii-ix
A.S. Troelstra, D. van Dalen

Preliminaries
Pages xi-xv

Constructivism in Mathematics: Contents
Page xvii

Chapter 1 Introduction
Pages 1-33

Chapter 2 Logic
Pages 35-111

Chapter 3 Arithmetic
Pages 113-183

Chapter 4 Non-Classical Axioms
Pages 185-249

Chapter 5 Real Numbers
Pages 251-289

Chapter 6 Some Elementary Analysis
Pages 291-325

Bibliography
Pages 327-342

Index
Pages 343-351

List of Symbols
Pages 353-356