توضیحات
A comprehensive survey of Martin-Lf’s constructive type theory, considerable parts of which have only been presented by Martin-Lf 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-Lf 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.
————————————————————–
ترجمه ماشینی :
بررسی جامع تئوری نوع سازنده مارتین-الف، که بخش های قابل توجهی از آن تنها توسط مارتین-الف به صورت سخنرانی یا به عنوان بخشی از گفتگوهای کنفرانس ارائه شده است. Sommaruga پیش از تاریخ نظریه نوع و توسعه بسیار پیچیده آن را از طریق هشت مرحله مختلف از سال 1970 تا 1995 بررسی می کند. او همچنین ارائه سیستماتیک آخرین نسخه این نظریه را ارائه می دهد که توسط Martin-Lf در دانشگاه لیدن در پاییز 1993 ارائه شده است. یک حساب کاملتر و به روز از سیستم ارائه می دهد. پیش از این، ارائههای مختصری به مسائل مربوط به رویکرد نظری نوع به منطق و مبانی ریاضیات توجهی نمیکردند، در حالی که در اینجا یک بخش کامل از کتاب آورده شده است. خوانندگان: گزارش های جامعی از تاریخ و فلسفه نظریه نوع سازنده و مقدار قابل توجهی از مطالب مرتبط. خوانندگان به یک پیش زمینه قوی در منطق استاندارد و یک آشنایی اولیه اولیه با نظریه نوع نیاز دارند.
tag : دانلود کتاب تاریخ و فلسفه نظریه تیپ سازنده , Download تاریخ و فلسفه نظریه تیپ سازنده , دانلود تاریخ و فلسفه نظریه تیپ سازنده , Download History and Philosophy of Constructive Type Theory Book , تاریخ و فلسفه نظریه تیپ سازنده دانلود , buy تاریخ و فلسفه نظریه تیپ سازنده , خرید کتاب تاریخ و فلسفه نظریه تیپ سازنده , دانلود کتاب History and Philosophy of Constructive Type Theory , کتاب History and Philosophy of Constructive Type Theory , دانلود History and Philosophy of Constructive Type Theory , خرید History and Philosophy of Constructive Type Theory , خرید کتاب History and Philosophy of Constructive Type Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.