computability
مدل ها و قابلیت محاسبه: مقالات دعوت شده از Logic Colloquium 97
دانلود کتاب Models and computability: Invited papers from Logic Colloquium ’97 (به فارسی: مدل ها و قابلیت محاسبه: مقالات دعوت شده از Logic Colloquium 97) نوشته شده توسط «S. Barry Cooper – John K. Truss» اطلاعات کتاب مدل ها و قابلیت محاسبه: مقالات دعوت شده از Logic Colloquium 97 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: CUP نویسنده: S. Barry Cooper – John K. Truss زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد صفحه: 430 حجم کتاب: 3 مگابایت کد کتاب: 9780521635509 , 0521635500 توضیحات کتاب مدل ها و قابلیت محاسبه: مقالات دعوت…
محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت
دانلود کتاب Computability, enumerability, unsolvability: Directions in recursion theory (به فارسی: محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت) نوشته شده توسط «S. B. Cooper – T. A. Slaman – S. S. Wainer» اطلاعات کتاب محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: CUP نویسنده: S. B. Cooper – T. A. Slaman – S. S. Wainer زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 355 حجم کتاب: 3 مگابایت کد کتاب: 0521557364 , 9780521557368 دانلود کتاب «محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت»
منطق غیر کلاسیک، نظریه مدل و محاسبات: مجموعه مقالات Campinas، 1976
دانلود کتاب Non-classical logics, model theory and computability: Proceedings Campinas, 1976 (به فارسی: منطق غیر کلاسیک، نظریه مدل و محاسبات: مجموعه مقالات Campinas، 1976) نوشته شده توسط «Arruda A.I. – da Costa N.C.A. – Chuaqui R. (eds.)» اطلاعات کتاب منطق غیر کلاسیک، نظریه مدل و محاسبات: مجموعه مقالات Campinas، 1976 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Arruda A.I. – da Costa N.C.A. – Chuaqui R. (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1977 تعداد صفحه: 309 حجم کتاب: 2 مگابایت کد کتاب: 9780720407525 , 0720407524 دانلود کتاب «منطق غیر…
مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997
دانلود کتاب Models and Computability: Invited Papers from Logic Colloquium ’97 – European Meeting of the Association for Symbolic Logic, Leeds, July 1997 (به فارسی: مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997) نوشته شده توسط «S. Barry Cooper – John K. Truss» اطلاعات کتاب مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: S. Barry Cooper – John K. Truss زبان: English فرمت کتاب: pdf (قابل تبدیل…
تئوری توابع بازگشتی و محاسبه پذیری موثر
دانلود کتاب Theory of Recursive Functions and Effective Computability (به فارسی: تئوری توابع بازگشتی و محاسبه پذیری موثر) نوشته شده توسط «Hartley Rogers» اطلاعات کتاب تئوری توابع بازگشتی و محاسبه پذیری موثر موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: The MIT Press نویسنده: Hartley Rogers زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1987 تعداد صفحه: 504 حجم کتاب: 5 مگابایت کد کتاب: 0262680521 , 9780262680523 دانلود کتاب «تئوری توابع بازگشتی و محاسبه پذیری موثر»
محاسبه پذیری و حل نشدنی
دانلود کتاب Computability and Unsolvability (به فارسی: محاسبه پذیری و حل نشدنی) نوشته شده توسط «Martin Davis» اطلاعات کتاب محاسبه پذیری و حل نشدنی موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Dover Publications نویسنده: Martin Davis زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1985 تعداد صفحه: 235 حجم کتاب: 8 مگابایت کد کتاب: 0486614719 نوبت چاپ: New edition توضیحات کتاب محاسبه پذیری و حل نشدنی متن کلاسیک نظریه عمومی محاسبات، توابع قابل محاسبه، عملیات روی توابع قابل محاسبه، ماشین های تورینگ خودکاربردی، مسائل تصمیم غیرقابل حل، کاربردهای نظریه عمومی، منطق ریاضی، سلسله مراتب کلین،…
محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت
دانلود کتاب Computability, Enumerability, Unsolvability: Directions in Recursion Theory (به فارسی: محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت) نوشته شده توسط «S. B. Cooper – T. A. Slaman – S. S. Wainer» اطلاعات کتاب محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: S. B. Cooper – T. A. Slaman – S. S. Wainer زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 355 حجم کتاب: 3 مگابایت کد کتاب: 0521557364 , 9780521557368 توضیحات کتاب محاسبه‌پذیری، شمارش‌پذیری، حل‌ناپذیری: جهت‌گیری‌ها در نظریه بازگشت ایده های…
محاسبه پذیری و تصادفی بودن
دانلود کتاب Computability and Randomness (به فارسی: محاسبه پذیری و تصادفی بودن) نوشته شده توسط «André Nies» اطلاعات کتاب محاسبه پذیری و تصادفی بودن موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: André Nies زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 450 حجم کتاب: 3 مگابایت کد کتاب: 0199230765 , 9780199230761 , 9780191552274 توضیحات کتاب محاسبه پذیری و تصادفی بودن تأثیر متقابل بین محاسبه‌پذیری و تصادفی بودن یک حوزه فعال تحقیقاتی در سال‌های اخیر بوده است که با بودجه فراوان در ایالات متحده، کارگاه‌های متعدد و انتشارات…
قابلیت محاسبه و پیچیدگی از دیدگاه برنامه نویسی
دانلود کتاب Computability And Complexity From A Programming Perspective (به فارسی: قابلیت محاسبه و پیچیدگی از دیدگاه برنامه نویسی) نوشته شده توسط «Neil D Jones» اطلاعات کتاب قابلیت محاسبه و پیچیدگی از دیدگاه برنامه نویسی موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Mit Press نویسنده: Neil D Jones زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 457 حجم کتاب: 51 مگابایت دانلود کتاب «قابلیت محاسبه و پیچیدگی از دیدگاه برنامه نویسی»
اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی (متون آکسفورد در منطق)
دانلود کتاب A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) (به فارسی: اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی (متون آکسفورد در منطق)) نوشته شده توسط «Shawn Hedman» اطلاعات کتاب اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی (متون آکسفورد در منطق) موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Shawn Hedman زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 452 حجم…