logid

  • برای تمسخر یک مرغ مقلد و دیگر پازل های منطقی: شامل یک ماجراجویی شگفت انگیز در منطق ترکیبی

    دانلود کتاب To mock a mockingbird and other logic puzzles: Including an amazing adventure in combinatory logic (به فارسی: برای تمسخر یک مرغ مقلد و دیگر پازل های منطقی: شامل یک ماجراجویی شگفت انگیز در منطق ترکیبی) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب برای تمسخر یک مرغ مقلد و دیگر پازل های منطقی: شامل یک ماجراجویی شگفت انگیز در منطق ترکیبی موضوع اصلی: ترکیبیات نوع: کتاب الکترونیکی ناشر: Knopf نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1985 تعداد صفحه: 260 حجم کتاب: 2 مگابایت کد کتاب: 9780394534916 ,…

  • منطق عملی: همراه با ضمیمه منطق دیونتیک

    دانلود کتاب Practical Logic: with the Appendix on Deontic Logic (به فارسی: منطق عملی: همراه با ضمیمه منطق دیونتیک) نوشته شده توسط «Zygmunt Ziebiński (author) – Zdisław Ziemba (appendix)» اطلاعات کتاب منطق عملی: همراه با ضمیمه منطق دیونتیک موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Zygmunt Ziebiński (author) – Zdisław Ziemba (appendix) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1976 تعداد صفحه: 456 حجم کتاب: 7 مگابایت کد کتاب: 9027705577 نوبت چاپ: 1 توضیحات کتاب منطق عملی: همراه با ضمیمه منطق دیونتیک کتاب حاضر یک کتاب درسی ابتدایی منطق برای دانشگاه است…

  • مشارکت در منطق ریاضی (Colloquium منطق ’66)

    دانلود کتاب Contributions to Mathematical Logic (Logic Colloquium ’66) (به فارسی: مشارکت در منطق ریاضی (Colloquium منطق ’66)) نوشته شده توسط «Schmidt H.A. – Schutte K. – Thiele H.-J. (eds.)» اطلاعات کتاب مشارکت در منطق ریاضی (Colloquium منطق ’66) موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Schmidt H.A. – Schutte K. – Thiele H.-J. (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1968 تعداد صفحه: 301 حجم کتاب: 2 مگابایت کد کتاب: 9780444534149 , 0444534148 دانلود کتاب «مشارکت در منطق ریاضی (Colloquium منطق ’66)»

  • مجموعه مقالات نهمین کنفرانس منطق آسیایی: منطق ریاضی در آسیا

    دانلود کتاب Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia (به فارسی: مجموعه مقالات نهمین کنفرانس منطق آسیایی: منطق ریاضی در آسیا) نوشته شده توسط «R. Downey – S S Goncharov – H Ono» اطلاعات کتاب مجموعه مقالات نهمین کنفرانس منطق آسیایی: منطق ریاضی در آسیا موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: World Scientific نویسنده: R. Downey – S S Goncharov – H Ono زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 329 حجم کتاب: 3 مگابایت کد کتاب: 9812700455 , 9789812700452 , 9789812772749 دانلود کتاب «مجموعه مقالات…

  • کتاب راهنمای تاریخ منطق. جلد 5: منطق از راسل تا کلیسا

    دانلود کتاب Handbook of the History of Logic. Volume 5: Logic from Russell to Church (به فارسی: کتاب راهنمای تاریخ منطق. جلد 5: منطق از راسل تا کلیسا) نوشته شده توسط «Dov M. Gabbay – John Woods (eds.)» اطلاعات کتاب کتاب راهنمای تاریخ منطق. جلد 5: منطق از راسل تا کلیسا موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier نویسنده: Dov M. Gabbay – John Woods (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 1061 حجم کتاب: 5 مگابایت کد کتاب: 0444516204 , 9780444516206 دانلود کتاب «کتاب راهنمای تاریخ منطق. جلد…

  • مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 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 (قابل تبدیل…

  • کتاب راهنمای تاریخ منطق. جلد 08: چرخش بسیار ارزشمند و غیر یکنواخت در منطق

    دانلود کتاب Handbook of the History of Logic. Volume 08: The Many Valued and Nonmonotonic Turn in Logic (به فارسی: کتاب راهنمای تاریخ منطق. جلد 08: چرخش بسیار ارزشمند و غیر یکنواخت در منطق) نوشته شده توسط «Dov M. Gabbay – John Woods (eds.)» اطلاعات کتاب کتاب راهنمای تاریخ منطق. جلد 08: چرخش بسیار ارزشمند و غیر یکنواخت در منطق موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier نویسنده: Dov M. Gabbay – John Woods (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 691 حجم کتاب: 12 مگابایت کد کتاب: 9780444516237…

  • مقدمه: زبان های برنامه نویسی منطق و منطق

    دانلود کتاب Introduction: Logic and Logic Programming Languages (به فارسی: مقدمه: زبان های برنامه نویسی منطق و منطق) نوشته شده توسط «Michael J. O’Donnell» اطلاعات کتاب مقدمه: زبان های برنامه نویسی منطق و منطق موضوع اصلی: برنامه نویسی: زبان های برنامه نویسی نوع: کتاب الکترونیکی نویسنده: Michael J. O’Donnell زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 77 حجم کتاب: 1 مگابایت دانلود کتاب «مقدمه: زبان های برنامه نویسی منطق و منطق»

  • منطق ریاضی و کاربردها: مجموعه مقالات نشست منطقی که در کیوتو، 1987 برگزار شد

    دانلود کتاب Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 (به فارسی: منطق ریاضی و کاربردها: مجموعه مقالات نشست منطقی که در کیوتو، 1987 برگزار شد) نوشته شده توسط «C. T. Chong (auth.) – Juichi Shinoda – Tosiyuki Tugué – Theodore A. Slaman (eds.)» اطلاعات کتاب منطق ریاضی و کاربردها: مجموعه مقالات نشست منطقی که در کیوتو، 1987 برگزار شد موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: C. T. Chong (auth.) – Juichi Shinoda – Tosiyuki Tugué – Theodore A. Slaman (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر…

  • منطق با درختان: مقدمه ای بر منطق نمادین

    دانلود کتاب Logic with Trees: An Introduction to Symbolic Logic (به فارسی: منطق با درختان: مقدمه ای بر منطق نمادین) نوشته شده توسط «Colin Howson» اطلاعات کتاب منطق با درختان: مقدمه ای بر منطق نمادین موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Routledge نویسنده: Colin Howson زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 210 حجم کتاب: 2 مگابایت کد کتاب: 9780415133418 , 0415133416 نوبت چاپ: 1 توضیحات کتاب منطق با درختان: مقدمه ای بر منطق نمادین من این کتاب را به عنوان کتاب درس منطق مقدماتی در سطح کالج مطالعه کردم.…

بارگزاری بیشتر
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان