predicate
سیستم منطقی نمودارهای مفهومی با نفی: و رابطه آن با منطق محمول
دانلود کتاب The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (به فارسی: سیستم منطقی نمودارهای مفهومی با نفی: و رابطه آن با منطق محمول) نوشته شده توسط «Frithjof Dau (auth.)» اطلاعات کتاب سیستم منطقی نمودارهای مفهومی با نفی: و رابطه آن با منطق محمول موضوع اصلی: نظریه گراف نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Frithjof Dau (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 216 حجم کتاب: 4 مگابایت کد کتاب: 3540206078 , 9783540206071 نوبت چاپ: 1 توضیحات کتاب سیستم منطقی نمودارهای مفهومی…
آغازگر منطق صوری مدرن: نظریه محمول
دانلود کتاب A modern formal logic primer: predicate theory (به فارسی: آغازگر منطق صوری مدرن: نظریه محمول) نوشته شده توسط «Paul Teller» اطلاعات کتاب آغازگر منطق صوری مدرن: نظریه محمول موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Prentice Hall نویسنده: Paul Teller زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1989 تعداد صفحه: 279 حجم کتاب: 2 مگابایت کد کتاب: 0139031960 , 9780139031960 نوبت چاپ: 1st دانلود کتاب «آغازگر منطق صوری مدرن: نظریه محمول»
حساب گزاره ای و محمولی
دانلود کتاب Propositional and Predicate Calculus (به فارسی: حساب گزاره ای و محمولی) نوشته شده توسط «Derek Goldrei» اطلاعات کتاب حساب گزاره ای و محمولی موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Derek Goldrei زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 320 حجم کتاب: 3 مگابایت کد کتاب: 9781852339210 , 1852339217 نوبت چاپ: 1st Edition. توضیحات کتاب حساب گزاره ای و محمولی در قلب توجیه استدلال مورد استفاده در ریاضیات مدرن، قضیه کامل بودن برای محاسبات محمول نهفته است. این کتاب درسی منحصربه‌فرد دو روش کاملاً متفاوت…
فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی
دانلود کتاب Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (به فارسی: فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی) نوشته شده توسط «Makkai M.» اطلاعات کتاب فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Makkai M. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 44 حجم کتاب: 1 مگابایت دانلود کتاب «فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر…
فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی
دانلود کتاب Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (به فارسی: فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی) نوشته شده توسط «Makkai M.» اطلاعات کتاب فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر اساس گودل، کریپکه و لاچلی موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Makkai M. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 28 حجم کتاب: 1 مگابایت دانلود کتاب «فرمول بندی فیبره ای منطق محمول شهودی I: کامل بودن بر…
فرمول بندی فیبره ای منطق محمول شهودی 1
دانلود کتاب Fibrational formulation of intuitionistic predicate logic 1 (به فارسی: فرمول بندی فیبره ای منطق محمول شهودی 1) نوشته شده توسط «Makkai M.» اطلاعات کتاب فرمول بندی فیبره ای منطق محمول شهودی 1 موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Makkai M. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 44 حجم کتاب: 1 مگابایت دانلود کتاب «فرمول بندی فیبره ای منطق محمول شهودی 1»
فرمول بندی فیبره ای منطق محمول شهودی 1
دانلود کتاب Fibrational formulation of intuitionistic predicate logic 1 (به فارسی: فرمول بندی فیبره ای منطق محمول شهودی 1) نوشته شده توسط «Makkai M.» اطلاعات کتاب فرمول بندی فیبره ای منطق محمول شهودی 1 موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Makkai M. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 28 حجم کتاب: 1 مگابایت دانلود کتاب «فرمول بندی فیبره ای منطق محمول شهودی 1»