جستجوي پيشرفته | کتابخانه مجازی الفبا

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

انصراف

فارسی | العربیه | English

در تلگرام به ما بپیوندید

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

مرور > مرور پدیدآورندگان

Granström, Johan Georg

جستجو در برای عبارت

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

تعداد رکورد ها : 1

عنوان :

رساله در نظریه نوع شهودی[کتاب انگلیسی]

نویسنده:

Johan Georg Granström

نوع منبع :

کتاب

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

Springer,

چکیده :

ترجمه ماشینی: نظریه نوع شهودی را می توان تا حدودی جسورانه به عنوان تحقق رویای زبان جهانی برای علم توصیف کرد. به طور خاص، نظریه نوع شهودی پایه ای برای ریاضیات و یک زبان برنامه نویسی است. این کتاب چندین جنبه از نظریه نوع شهودی، مانند مفهوم مجموعه، مرجع در مقابل محاسبه، فرض، و جایگزینی را توضیح می دهد. علاوه بر این، این کتاب شامل بخش‌های فلسفی مرتبط در اصل ترکیب‌پذیری، ویژگی‌های زبانی، معرفت‌شناسی، منطق گزاره‌ای، شهودگرایی و قانون میانه‌های مستثنی شده است. ارجاعات تاریخی فراوانی در سراسر کتاب آورده شده است.

مشخصات اثر

تعداد رکورد ها : 1

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

جستجوي پيشرفته | کتابخانه مجازی الفبا

ورود

ثبت نام

در تلگرام به ما بپیوندید