logics
منطق زیرساختی: آغازگر
دانلود کتاب Substructural logics: A primer (به فارسی: منطق زیرساختی: آغازگر) نوشته شده توسط «Francesco Paoli» اطلاعات کتاب منطق زیرساختی: آغازگر موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Francesco Paoli زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 316 حجم کتاب: 3 مگابایت نوبت چاپ: Pre-final دانلود کتاب «منطق زیرساختی: آغازگر»
فلسفه منطق
دانلود کتاب Philosophy of logics (به فارسی: فلسفه منطق) نوشته شده توسط «Susan Haack» اطلاعات کتاب فلسفه منطق موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: CUP نویسنده: Susan Haack زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1978 تعداد صفحه: 290 حجم کتاب: 3 مگابایت کد کتاب: 9780521293297 , 0521293294 دانلود کتاب «فلسفه منطق»
شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی
دانلود کتاب Residuated lattices: An algebraic glimpse at substructural logics (به فارسی: شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی) نوشته شده توسط «Nikolaos Galatos – Peter Jipsen – Tomasz Kowalski – Hiroakira Ono» اطلاعات کتاب شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Nikolaos Galatos – Peter Jipsen – Tomasz Kowalski – Hiroakira Ono زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 517 حجم کتاب: 6 مگابایت کد کتاب: 0444521410 , 9780444521415 , 9780080489643 دانلود…
منطق مودال چند بعدی: نظریه و کاربردها
دانلود کتاب Many-Dimensional Modal Logics: Theory and Applications (به فارسی: منطق مودال چند بعدی: نظریه و کاربردها) نوشته شده توسط «D.M. Gabbay – A. Kurucz – F. Wolter – M. Zakharyaschev» اطلاعات کتاب منطق مودال چند بعدی: نظریه و کاربردها موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: D.M. Gabbay – A. Kurucz – F. Wolter – M. Zakharyaschev زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 736 حجم کتاب: 5 مگابایت کد کتاب: 9780444508263 , 0444508260 , 9780080535784 , 008053578X توضیحات کتاب منطق مودال چند بعدی: نظریه و کاربردها…
منطق غیر کلاسیک، نظریه مدل و محاسبات: مجموعه مقالات 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 دانلود کتاب «منطق غیر…
منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه
دانلود کتاب Conditional and Preferential Logics: Proof Methods and Theorem Proving (به فارسی: منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه) نوشته شده توسط «G.L. Pozzato» اطلاعات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: IOS Press نویسنده: G.L. Pozzato زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 209 حجم کتاب: 2 مگابایت کد کتاب: 1607500949 , 9781607500940 توضیحات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه این جلد شامل نسخه اصلاح شده و به روز شده…
منطق برای ساختارهای زبانی
دانلود کتاب Logics for linguistic structures (به فارسی: منطق برای ساختارهای زبانی) نوشته شده توسط «Kepser – Stephan – Fritz Hamm – Stephan Kepser» اطلاعات کتاب منطق برای ساختارهای زبانی موضوع اصلی: زبان شناسی نوع: کتاب الکترونیکی ناشر: Mouton de Gruyter نویسنده: Kepser – Stephan – Fritz Hamm – Stephan Kepser زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 188 حجم کتاب: 1 مگابایت کد کتاب: 311020469X , 9783110204698 , 9783110211788 توضیحات کتاب منطق برای ساختارهای زبانی مشارکت‌های جمع‌آوری‌شده در این جلد به موضوعات اصلی در زبان‌شناسی نظری و محاسباتی، مانند کمی‌سازی،…
منطق های شفابخش: فرهنگ و پزشکی در سیستم های اعتقاد بهداشتی مدرن
دانلود کتاب Healing Logics: Culture and Medicine in Modern Health Belief Systems (به فارسی: منطق های شفابخش: فرهنگ و پزشکی در سیستم های اعتقاد بهداشتی مدرن) نوشته شده توسط «Erika Brady» اطلاعات کتاب منطق های شفابخش: فرهنگ و پزشکی در سیستم های اعتقاد بهداشتی مدرن موضوع اصلی: دارو نوع: کتاب الکترونیکی ناشر: Utah State University Press نویسنده: Erika Brady زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 297 حجم کتاب: 5 مگابایت کد کتاب: 9780874214109 , 0874214106 نوبت چاپ: 1 توضیحات کتاب منطق های شفابخش: فرهنگ و پزشکی در سیستم های اعتقاد…
مدل- منطق های نظری
دانلود کتاب Model-Theoretic Logics (به فارسی: مدل- منطق های نظری) نوشته شده توسط «J. Barwise – S. Feferman – J. Baldwin» اطلاعات کتاب مدل- منطق های نظری موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: J. Barwise – S. Feferman – J. Baldwin زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1985 تعداد صفحه: 916 حجم کتاب: 78 مگابایت کد کتاب: 9780387909363 , 9783540909361 , 0387909362 , 3540909362 نوبت چاپ: 1 دانلود کتاب «مدل- منطق های نظری»
نظریه کامل بودن برای منطق گزاره ای
دانلود کتاب 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 توضیحات کتاب نظریه کامل بودن برای منطق گزاره ای این کتاب نظریه یکی از مهمترین مفاهیم در روش شناسی سیستم…