intuitionistic
نظریه مدل منطق شهودی و اجبار
دانلود کتاب Intuitionistic logic model theory and forcing (به فارسی: نظریه مدل منطق شهودی و اجبار) نوشته شده توسط «Melvin Fitting» اطلاعات کتاب نظریه مدل منطق شهودی و اجبار موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Pub. نویسنده: Melvin Fitting زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1969 تعداد صفحه: 183 حجم کتاب: 4 مگابایت دانلود کتاب «نظریه مدل منطق شهودی و اجبار»
منطق شهودی، نظریه مدل و اجبار
دانلود کتاب Intuitionistic logic, model theory and forcing (به فارسی: منطق شهودی، نظریه مدل و اجبار) نوشته شده توسط «Melvin Fitting» اطلاعات کتاب منطق شهودی، نظریه مدل و اجبار موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Pub. Co نویسنده: Melvin Fitting زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1969 تعداد صفحه: 177 حجم کتاب: 2 مگابایت کد کتاب: 9780720422566 , 0720422566 نوبت چاپ: 1st دانلود کتاب «منطق شهودی، نظریه مدل و اجبار»
مقدمه ای کوتاه بر منطق شهودی
دانلود کتاب A Short Introduction to Intuitionistic Logic (به فارسی: مقدمه ای کوتاه بر منطق شهودی) نوشته شده توسط «Grigori Mints» اطلاعات کتاب مقدمه ای کوتاه بر منطق شهودی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Grigori Mints زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 138 حجم کتاب: 11 مگابایت کد کتاب: 0306469758 , 0306463946 , 9780306463945 نوبت چاپ: 1 توضیحات کتاب مقدمه ای کوتاه بر منطق شهودی منطق شهودی در اینجا به عنوان بخشی از منطق کلاسیک آشنا ارائه شده است که امکان استخراج مکانیکی برنامه ها از…
مقدمه ای کوتاه بر منطق شهودی
دانلود کتاب Short Introduction to Intuitionistic Logic (به فارسی: مقدمه ای کوتاه بر منطق شهودی) نوشته شده توسط «Grigori Mints» اطلاعات کتاب مقدمه ای کوتاه بر منطق شهودی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Grigori Mints زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 129 حجم کتاب: 14 مگابایت کد کتاب: 0306463946 , 9780306469756 , 9780306463945 نوبت چاپ: 1 توضیحات کتاب مقدمه ای کوتاه بر منطق شهودی منطق شهودی در اینجا به عنوان بخشی از منطق کلاسیک آشنا ارائه می شود که امکان استخراج مکانیکی برنامه ها از برهان…
نظریه نوع شهودی
دانلود کتاب Intuitionistic type theory (به فارسی: نظریه نوع شهودی) نوشته شده توسط «Per Martin-Lof» اطلاعات کتاب نظریه نوع شهودی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Prometheus Books نویسنده: Per Martin-Lof زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1985 تعداد صفحه: 100 حجم کتاب: 1 مگابایت کد کتاب: 9788870881059 , 8870881059 توضیحات کتاب نظریه نوع شهودی این سخنرانی ها در پادوآ و در آزمایشگاه انجام شد تحقیق در مورد دینامیک سیستم و الکترونیک زیست پزشکی شورای ملی تحقیقات در خرداد 1359. These lectures were given in Padova at the Laboratorio per Ricerche di…
نظریه اثبات و سیستم های شهودی
دانلود کتاب Proof Theory and Intuitionistic Systems (به فارسی: نظریه اثبات و سیستم های شهودی) نوشته شده توسط «Bruno Scarpellini (auth.)» اطلاعات کتاب نظریه اثبات و سیستم های شهودی موضوع اصلی: سخنرانی ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Bruno Scarpellini (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1971 تعداد صفحه: 292 حجم کتاب: 3 مگابایت کد کتاب: 354005541X , 9783540055419 نوبت چاپ: 1 دانلود کتاب «نظریه اثبات و سیستم های شهودی»
نظریه نوع شهودی
دانلود کتاب Intuitionistic Type Theory (به فارسی: نظریه نوع شهودی) نوشته شده توسط «Per Martin-Lof» اطلاعات کتاب نظریه نوع شهودی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Prometheus Books نویسنده: Per Martin-Lof زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1985 تعداد صفحه: 100 حجم کتاب: 1 مگابایت کد کتاب: 8870881059 , 9788870881059 توضیحات کتاب نظریه نوع شهودی این سخنرانی ها در پادوآ و در آزمایشگاه انجام شد تحقیق در مورد دینامیک سیستم و الکترونیک زیست پزشکی شورای ملی تحقیقات در خرداد 1359. These lectures were given in Padova at the Laboratorio per Ricerche di…
مبانی ریاضیات شهودی: به ویژه در رابطه با توابع بازگشتی
دانلود کتاب The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions (به فارسی: مبانی ریاضیات شهودی: به ویژه در رابطه با توابع بازگشتی) نوشته شده توسط «Stephen Cole Kleene – R.E. Vesley» اطلاعات کتاب مبانی ریاضیات شهودی: به ویژه در رابطه با توابع بازگشتی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Pub. Co نویسنده: Stephen Cole Kleene – R.E. Vesley زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1965 تعداد صفحه: 210 حجم کتاب: 2 مگابایت کد کتاب: 0444534040 , 9780444534040 نوبت چاپ: 1St Edition دانلود کتاب «مبانی ریاضیات شهودی: به ویژه…