توضیحات
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
————————————————————–
ترجمه ماشینی :
تئوری نوع شهودی را میتوان تا حدودی به جرأت به عنوان تحقق رویای یک زبان جهانی برای علم توصیف کرد. به طور خاص، نظریه نوع شهودی پایه ای برای ریاضیات و یک زبان برنامه نویسی است. این کتاب چندین جنبه از نظریه نوع شهودی، مانند مفهوم مجموعه، مرجع در مقابل محاسبه، فرض، و جایگزینی را توضیح می دهد. علاوه بر این، این کتاب شامل بخشهای فلسفی مرتبط در اصل ترکیبپذیری، ویژگیهای زبانی، معرفتشناسی، منطق گزارهای، شهودگرایی و قانون میانههای مستثنی شده است. ارجاعات تاریخی فراوانی در سراسر کتاب آورده شده است.
tag : دانلود کتاب رساله در نظریه نوع شهودی , Download رساله در نظریه نوع شهودی , دانلود رساله در نظریه نوع شهودی , Download Treatise on Intuitionistic Type Theory Book , رساله در نظریه نوع شهودی دانلود , buy رساله در نظریه نوع شهودی , خرید کتاب رساله در نظریه نوع شهودی , دانلود کتاب Treatise on Intuitionistic Type Theory , کتاب Treatise on Intuitionistic Type Theory , دانلود Treatise on Intuitionistic Type Theory , خرید Treatise on Intuitionistic Type Theory , خرید کتاب Treatise on Intuitionistic Type Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.