propositional
محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی
دانلود کتاب Bounded arithmetic, propositional logic and complexity theory (به فارسی: محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی) نوشته شده توسط «Jan Krajicek» اطلاعات کتاب محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی موضوع اصلی: ریاضیات گسسته نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Jan Krajicek زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995 تعداد صفحه: 356 حجم کتاب: 3 مگابایت کد کتاب: 9780521452052 , 0521452058 دانلود کتاب «محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی»
محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی (دایره المعارف ریاضیات و کاربردهای آن)
دانلود کتاب Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications) (به فارسی: محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی (دایره المعارف ریاضیات و کاربردهای آن)) نوشته شده توسط «Jan Krajicek» اطلاعات کتاب محاسبات محدود، منطق گزاره ای و نظریه پیچیدگی (دایره المعارف ریاضیات و کاربردهای آن) موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Jan Krajicek زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995 تعداد صفحه: 359 حجم کتاب: 3 مگابایت کد کتاب: 9780521452052 , 0521452058 توضیحات کتاب محاسبات محدود، منطق گزاره ای و نظریه…
نظریه کامل بودن برای منطق گزاره ای
دانلود کتاب Completeness Theory for Propositional Logics (به فارسی: نظریه کامل بودن برای منطق گزاره ای) نوشته شده توسط «Witold A. Pogorzelski – Piotr Wojtylak» اطلاعات کتاب نظریه کامل بودن برای منطق گزاره ای موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Birkhäuser نویسنده: Witold A. Pogorzelski – Piotr Wojtylak زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 185 حجم کتاب: 2 مگابایت کد کتاب: 3764385170 , 9783764385170 , 9783764385187 نوبت چاپ: 1 توضیحات کتاب نظریه کامل بودن برای منطق گزاره ای این کتاب نظریه یکی از مهمترین مفاهیم در روش شناسی سیستم…
حساب گزاره ای و محمولی
دانلود کتاب Propositional and Predicate Calculus (به فارسی: حساب گزاره ای و محمولی) نوشته شده توسط «Derek Goldrei» اطلاعات کتاب حساب گزاره ای و محمولی موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Derek Goldrei زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 320 حجم کتاب: 3 مگابایت کد کتاب: 9781852339210 , 1852339217 نوبت چاپ: 1st Edition. توضیحات کتاب حساب گزاره ای و محمولی در قلب توجیه استدلال مورد استفاده در ریاضیات مدرن، قضیه کامل بودن برای محاسبات محمول نهفته است. این کتاب درسی منحصربه‌فرد دو روش کاملاً متفاوت…
منطق گزاره ای بوئتیوس
دانلود کتاب Propositional logic of Boethius (به فارسی: منطق گزاره ای بوئتیوس) نوشته شده توسط «Karl. DURR» اطلاعات کتاب منطق گزاره ای بوئتیوس موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Greenwood Pub Group نویسنده: Karl. DURR زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1951 تعداد صفحه: 84 حجم کتاب: 1 مگابایت کد کتاب: 9780444533661 , 0444533664 نوبت چاپ: NH دانلود کتاب «منطق گزاره ای بوئتیوس»
منطق گزاره ای بوئتیوس
دانلود کتاب The propositional logic of Boethius (به فارسی: منطق گزاره ای بوئتیوس) نوشته شده توسط «Durr K.» اطلاعات کتاب منطق گزاره ای بوئتیوس موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Durr K. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1951 تعداد صفحه: 84 حجم کتاب: 1 مگابایت نوبت چاپ: NH دانلود کتاب «منطق گزاره ای بوئتیوس»
شیوها، بازی‌ها و تکمیل‌های مدل: رویکردی مقوله‌ای به منطق‌های گزاره‌ای غیر کلاسیک
دانلود کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics (به فارسی: شیوها، بازی‌ها و تکمیل‌های مدل: رویکردی مقوله‌ای به منطق‌های گزاره‌ای غیر کلاسیک) نوشته شده توسط «Silvio Ghilardi – Marek Zawadowski» اطلاعات کتاب شیوها، بازی‌ها و تکمیل‌های مدل: رویکردی مقوله‌ای به منطق‌های گزاره‌ای غیر کلاسیک موضوع اصلی: علوم (عمومی) نوع: کتاب الکترونیکی ناشر: Springer Netherlands نویسنده: Silvio Ghilardi – Marek Zawadowski زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 245 حجم فایل: 8.49 مگابایت کد کتاب: 940159936X , 9789401599368 نوبت چاپ: 1 توضیحات کتاب شیوها، بازی‌ها و…