دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Giovanni Sommaruga (auth.)
سری: Synthese Library 290
ISBN (شابک) : 9789048154036, 9789401593939
ناشر: Springer Netherlands
سال نشر: 2000
تعداد صفحات: 376
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب تاریخ و فلسفه نظریه تیپ سازنده: منطق، اخلاق، پدیدارشناسی، تاریخ
در صورت تبدیل فایل کتاب 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