Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

دانلود کتاب Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

عنوان فارسی :

دانلود کتاب بیست و پنج ساله نظریه نوع سازه: مقالات کنگره در ونیز، اکتبر 1995 برگزار شد

عنوان انگلیسی :

زبان : English

موضوع : Mathematics->Logic

نویسندگان : Giovanni Sambin Jan M. Smith

ناشر : Oxford University Press

ISBN (شابک) : 0198501277, 9780198501275

تعداد صفحات : 292\292

سال نشر : 1998     ویرایش :

حجم : 14 MB       فرمت : pdf

قیمت : 4000 تومان

خلاصه کتاب به فارسی (ترجمه خودکار و سیستمی) و خارجی:
کار مارتین لف در توسعه تئوری نوع سازنده اثر بزرگی در زمینه منطق و پایه ریاضی دارد. همچنین دارای اهمیت فلسفی گسترده و کاربردهای مهم در زمینه هایی مانند محاسبات علم و زبان شناسی است. این حجم همکاری های محققان را که همگی بر اساس نظریات مارتین لوف طی 25 سال گذشته تکمیل شده است، به اشتراک می گذارد. علاوه بر جشن سالگرد تولد موضوع، بسیاری از زمینه های گوناگون را تحت پوشش قرار می دهد که اکنون تحت تأثیر تئوری نوع هستند. این یک سابقه ارزشمند از فعالیت های جاری است و شامل همکاری های N. G. de Bruijn و ویلیام تیت، هر دو شخصیت های مهم در توسعه زود هنگام موضوع است. همچنین برای اولین بار منتشر شده است یکی از اولین مقاله در هر مارتین-L ؟؟؟ f.

خلاصه کتاب به زبان اصلی :

Per Martin-L???f's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-L???f over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of current activity and includes contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-L???f's earliest papers.

فهرست :



Table of contents :
Contents......Page 9
1. Yet another constructivization of classical logic......Page 10
2. Extension of Martin-Löf's type theory with record types and subtyping......Page 30
3. Type-theoretical checking and philosophy of mathematics......Page 50
4. The Hahn-Banach theorem in type theory......Page 66
5. A realizability interpretation of Martin-Löf's type theory......Page 82
6. The groupoid interpretation of type theory......Page 92
7. Analytic program derivation in type theory......Page 122
8. An intuitionistic theory of types......Page 136
9. On storage operators......Page 182
10. On universes in type theory......Page 200
11. How to believe a machine-checked proof......Page 214
12. Building up a toolbox for Martin-Löf's type theory: subset theory......Page 230
13. An introduction to well-ordering proofs in Martin-Löf's type theory......Page 254
14. Variable-free formalization of the Curry-Howard theory......Page 274
15. The forget-restore principle: a paradigmatic example......Page 284




کتاب های پزشکی

دانلود کتاب 100 Cases in Clinical Medicine

دانلود کتاب Atlas of Human Anatomy

دانلود کتاب Drugs for Pregnant and Lactating Women, Second Edition: Expert Consult - Online and Print

دانلود کتاب Leistungsphysiologie. Grundlagen für Trainer, Physiotherapeuten und Masseure: Grundlagen Fur Trainer, Physiotherapeuten Und Masseure

دانلود کتاب Pocket Atlas of Sectional Anatomy, Computed Tomography and Magnetic Resonance Imaging: Thorax, Heart, Abdomen, and Pelvis

کتاب های کامپیوتر

دانلود کتاب Speech Science Primer: Physiology, Acoustics, and Perception of Speech , Sixth Edition

دانلود کتاب Learn IPhone 5 and IPad 2 Cocos2D Game Development

دانلود کتاب Embedded C Programming and the Atmel AVR, 2nd Edition

دانلود کتاب Java Threads

دانلود کتاب C# Programming: From Problem Analysis to Program Design, 3rd Edition

کتاب های ریاضی

دانلود کتاب Some Problems on Nonlinear Hyperbolic Equations and Applications (Series in Contemporary Applied Mathematics)

دانلود کتاب Advanced Engineering Mathematics, 10th Edition

دانلود کتاب Mathematics for the Trades: A Guided Approach

دانلود کتاب Digital Signal Processing using MATLAB and Wavelets

دانلود کتاب Multirate systems and filter banks

کتاب های تکنولوژی

دانلود کتاب Design and Analysis of Composite Structures: With Applications to Aerospace Structures

دانلود کتاب Protein-Protein Interactions: Methods and Applications

دانلود کتاب Woodworkers' Essential Facts, Formulas & Short-Cuts: Figure It Out, with Or Without Math

دانلود کتاب Silicon Devices and Process Integration: Deep Submicron and Nano-Scale Technologies

دانلود کتاب Protein Folding Protocols

کتاب های مذهبی

دانلود کتاب A Holy People: Jewish and Christian Perspectives on Religious Communal Identity

دانلود کتاب Christ and Culture (Challenges in Contemporary Theology)

دانلود کتاب Living Together and Christian Ethics (New Studies in Christian Ethics)

دانلود کتاب True Christianity

دانلود کتاب A Popular Dictionary of Buddhism (Popular dictionaries of religion)

کتاب های فیزیولوژی

دانلود کتاب The Body Myth: Adult Women and the Pressure to be Perfect

دانلود کتاب Introducing Sport Psychology: A Practical Guide

دانلود کتاب Introduction to Psychology , Eighth Edition

دانلود کتاب Auditory Neuroscience: Making Sense of Sound

دانلود کتاب The Little Blue Reasoning Book: 50 Powerful Principles for Clear and Effective Thinking

کتاب های تاریخی

دانلود کتاب Thompson Submachune Gun

دانلود کتاب The A-1 Skyraider in Vietnam: The Spad’s Last War

دانلود کتاب US Army Infantry Divisions 1944-45

دانلود کتاب Splendeur des Uniformes de Napoléon: Infanterie et Régiments étrangers

دانلود کتاب The Matter of the Page: Essays in Search of Ancient and Medieval Authors (Wisconsin Studies in Classics)

کتاب های زیست شناسی

دانلود کتاب Multivariable Analysis: A Practical Guide for Clinicians and Public Health Researchers

دانلود کتاب Antropologia culturale

دانلود کتاب Flora of Kamtchatka and adjacent islands

دانلود کتاب Life: The Science of Biology, 9th Edition

دانلود کتاب From Genesis to Genetics: The Case of Evolution and Creationism

کتاب های اقتصاد

دانلود کتاب Design and Equipment for Restaurants and Foodservice

دانلود کتاب Marketing Planning: Strategy, Environment and Context

دانلود کتاب Essentials of Strategic Management

دانلود کتاب Making an Impact Online

دانلود کتاب Architectural Management

کتاب های آموزشی

دانلود کتاب Innovations in Hospice Architecture

دانلود کتاب Teach Yourself to Make Angels and Fairies: Simple Techniques and Patterns for Dolls and Their Clothes

دانلود کتاب Occupying Architecture

دانلود کتاب Learning SQL

دانلود کتاب Research Design and Methods: A Process Approach, 8th Edition

کتاب های حقوق

دانلود کتاب Law and Society in Vietnam: The Transition from Socialism in Comparative Perspective

دانلود کتاب Truth, Error, and Criminal Law: An Essay in Legal Epistemology

دانلود کتاب White Collar Crime: An Opportunity Perspective

دانلود کتاب The Four-Masted Barque Lawhill

دانلود کتاب Environmental liability and ecological damage in European law

کتاب های علوم انسانی

دانلود کتاب Inside Out Advanced: Workbook with Key

دانلود کتاب CULTURAL POPULISM CL

دانلود کتاب The Future of Power

دانلود کتاب Geopolitics: A Guide to the Issues (Contemporary Military, Strategic, and Security Issues)

دانلود کتاب The Art of Caricaturing