ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب History and Philosophy of Constructive Type Theory

دانلود کتاب تاریخ و فلسفه نظریه تیپ سازنده

History and Philosophy of Constructive Type Theory

مشخصات کتاب

History and Philosophy of Constructive Type Theory

ویرایش: 1 
نویسندگان:   
سری: Synthese Library 290 
ISBN (شابک) : 9789048154036, 9789401593939 
ناشر: Springer Netherlands 
سال نشر: 2000 
تعداد صفحات: 376 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



کلمات کلیدی مربوط به کتاب تاریخ و فلسفه نظریه تیپ سازنده: منطق، اخلاق، پدیدارشناسی، تاریخ



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب History and Philosophy of Constructive Type Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تاریخ و فلسفه نظریه تیپ سازنده



بررسی جامع از نظریه نوع سازنده مارتین-لوف، که بخش های قابل توجهی از آن تنها توسط مارتین-لوف به صورت سخنرانی یا به عنوان بخشی از گفتگوهای کنفرانس ارائه شده است. Sommaruga پیش از تاریخ نظریه نوع و توسعه بسیار پیچیده آن را از طریق هشت مرحله مختلف از سال 1970 تا 1995 بررسی می کند. او همچنین ارائه سیستماتیک آخرین نسخه از نظریه را ارائه می دهد، همانطور که توسط Martin-Löf در دانشگاه لیدن در پاییز 1993 ارائه شد. یک حساب کاملتر و به روز از سیستم ارائه می دهد. پیش از این، ارائه‌های مختصری از مسائل مربوط به رویکرد نظری نوع به منطق و مبانی ریاضیات در نظر گرفته نمی‌شد، در حالی که در اینجا یک بخش کامل از کتاب آورده شده است.
خوانندگان: گزارش های جامعی از تاریخچه و فلسفه نظریه نوع سازنده و مقدار قابل توجهی از مطالب مرتبط. خوانندگان به یک پیشینه قوی در منطق استاندارد و آشنایی اولیه اولیه با نظریه نوع نیاز دارند.


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

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.



فهرست مطالب

Front Matter....Pages i-x
The Present Version of Constructive Type Theory (1995)....Pages 1-166
Metatheoretical Considerations....Pages 167-217
History of Constructive Type Theory (1970–95)....Pages 219-310
Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970)....Pages 311-346
Conclusion....Pages 347-348
Back Matter....Pages 349-367




نظرات کاربران