منطق
کمیت سازها در زمان و مکان: پیچیدگی محاسباتی کمی سازهای تعمیم یافته در زبان طبیعی
دانلود کتاب Quantifiers in time and space: computational complexity of generalized quantifiers in natural language (به فارسی: کمیت سازها در زمان و مکان: پیچیدگی محاسباتی کمی سازهای تعمیم یافته در زبان طبیعی) نوشته شده توسط «Jakub Krzysztof Szymanik» اطلاعات کتاب کمیت سازها در زمان و مکان: پیچیدگی محاسباتی کمی سازهای تعمیم یافته در زبان طبیعی موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی نویسنده: Jakub Krzysztof Szymanik زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 252 حجم فایل: 1.76 مگابایت کد کتاب: 9057761874 , 9789057761874 دانلود کتاب «کمیت سازها در زمان و…
درآمدی بر نظریه مقوله
دانلود کتاب An Introduction to Category Theory (به فارسی: درآمدی بر نظریه مقوله) نوشته شده توسط «Harold Simmons» اطلاعات کتاب درآمدی بر نظریه مقوله موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Harold Simmons زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2011 تعداد صفحه: 236 / 238 حجم فایل: 964 کیلوبایت کد کتاب: 110701087X , 9781107010871 توضیحات کتاب درآمدی بر نظریه مقوله نظریه مقوله یک چارچوب مفهومی کلی ارائه می دهد که در موضوعات متنوعی مانند هندسه، توپولوژی، علوم کامپیوتر نظری و ریاضیات بنیادی مثمر ثمر بوده است. در…
Principia Mathematica
دانلود کتاب Principia Mathematica (به فارسی: Principia Mathematica) نوشته شده توسط «Alfred North Whitehead – Bertrand Russell» اطلاعات کتاب Principia Mathematica موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Alfred North Whitehead – Bertrand Russell زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 1927 تعداد صفحه: 768 حجم فایل: 25.44 مگابایت نوبت چاپ: 2nd توضیحات کتاب Principia Mathematica Principia Mathematica اولین بار در 1910-1913 منتشر شد. این پنجمین برداشت از ویرایش دوم 1925-1927 است. Principia مدتهاست که به عنوان یکی از نشانه های فکری قرن شناخته شده است. این اولین…
منطق در علوم کامپیوتر
دانلود کتاب Logic in Computer Science (به فارسی: منطق در علوم کامپیوتر) نوشته شده توسط «M. Huth – M. Ryan» اطلاعات کتاب منطق در علوم کامپیوتر نوع: کتاب الکترونیکی ناشر: Cambridge نویسنده: M. Huth – M. Ryan زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 443 حجم فایل: 2.13 مگابایت کد کتاب: 0511264011 , 9780511264016 نوبت چاپ: 2 دانلود کتاب «منطق در علوم کامپیوتر»
مقدمه ای دوستانه بر منطق ریاضی
دانلود کتاب A Friendly Introduction to Mathematical Logic (به فارسی: مقدمه ای دوستانه بر منطق ریاضی) نوشته شده توسط «Christopher C. Leary – Lars Kristiansen» اطلاعات کتاب مقدمه ای دوستانه بر منطق ریاضی موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی نویسنده: Christopher C. Leary – Lars Kristiansen زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2015 تعداد صفحه: 380 حجم فایل: 1.69 مگابایت کد کتاب: 1942341326 , 9781942341321 نوبت چاپ: 2nd دانلود کتاب «مقدمه ای دوستانه بر منطق ریاضی»
منطق و فلسفه امروز
دانلود کتاب Logic and Philosophy Today (به فارسی: منطق و فلسفه امروز) نوشته شده توسط «Amitabha Gupta – Johan van Benthem (ed.)» اطلاعات کتاب منطق و فلسفه امروز موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: College Publications نویسنده: Amitabha Gupta – Johan van Benthem (ed.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2011 تعداد صفحه: 402 / 401 حجم فایل: 35.87 مگابایت کد کتاب: 1848900414 , 9781848900417 نوبت چاپ: 1 دانلود کتاب «منطق و فلسفه امروز»
زبان، منطق و مفاهیم
دانلود کتاب Language, logic and concepts (به فارسی: زبان، منطق و مفاهیم) نوشته شده توسط «Jackendoff et al. (eds.)» اطلاعات کتاب زبان، منطق و مفاهیم موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: MIT نویسنده: Jackendoff et al. (eds.) زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 38 حجم فایل: 1.32 مگابایت دانلود کتاب «زبان، منطق و مفاهیم»
منطق نمادین
دانلود کتاب Symbolic Logic (به فارسی: منطق نمادین) نوشته شده توسط «Lewis Carroll (Charles Lutwidge Dodgson)» اطلاعات کتاب منطق نمادین موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: Clarkson N. Potter نویسنده: Lewis Carroll (Charles Lutwidge Dodgson) زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 1977 تعداد صفحه: 338 حجم فایل: 4.04 مگابایت کد کتاب: 0517523833 , 9780517523834 توضیحات کتاب منطق نمادین در طول دهه های 1880 و 1890، زمانی که لوئیس کارول (کشیش G. L. Dodgson) آخرین داستان های خود را برای کودکان تکمیل می کرد – سیلوی و برونو و سیلوی و…
LSAT مک گراو هیل
دانلود کتاب McGraw-Hill’s LSAT (به فارسی: LSAT مک گراو هیل) نوشته شده توسط «Curvebreakers» اطلاعات کتاب LSAT مک گراو هیل موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: McGraw-Hill نویسنده: Curvebreakers زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 532 حجم فایل: 3.53 مگابایت کد کتاب: 0071469931 , 9780071469937 دانلود کتاب «LSAT مک گراو هیل»
درهم تنیدگی کوانتومی در بازی‌های غیر محلی، پارامترهای نمودار و نظریه اطلاعات خطای صفر [پایان‌نامه دکتری]
دانلود کتاب Quantum Entanglement in Non-local Games, Graph Parameters and Zero-error Information Theory [PhD Thesis] (به فارسی: درهم تنیدگی کوانتومی در بازی‌های غیر محلی، پارامترهای نمودار و نظریه اطلاعات خطای صفر [پایان‌نامه دکتری]) نوشته شده توسط «Giannicola Scarpa» اطلاعات کتاب درهم تنیدگی کوانتومی در بازی‌های غیر محلی، پارامترهای نمودار و نظریه اطلاعات خطای صفر [پایان‌نامه دکتری] موضوع اصلی: ریاضیات – منطق نوع: کتاب الکترونیکی ناشر: University of Amsterdam نویسنده: Giannicola Scarpa زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2013 تعداد صفحه: 149 حجم فایل: 2.72 مگابایت کد کتاب: 9061965667 , 9789061965664 دانلود کتاب «درهم…