logical
مقدمه ای بر نظریه منطقی
دانلود کتاب Introduction to logical theory (به فارسی: مقدمه ای بر نظریه منطقی) نوشته شده توسط «P.F. Strawson» اطلاعات کتاب مقدمه ای بر نظریه منطقی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Methuen نویسنده: P.F. Strawson زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1964 تعداد صفحه: 276 حجم کتاب: 3 مگابایت کد کتاب: 9780416682205 , 0416682200 توضیحات کتاب مقدمه ای بر نظریه منطقی اولین بار در سال 1952 منتشر شد، مقدمه به نظریه منطقی بسیار تاثیرگذار استاد استراسون، بررسی مفصلی از رابطه بین رفتار کلمات در زبان رایج و رفتار نمادها ارائه می‌کند. در…
مقبولیت قواعد استنتاج منطقی
دانلود کتاب Admissibility of Logical Inference Rules (به فارسی: مقبولیت قواعد استنتاج منطقی) نوشته شده توسط «Vladimir V. Rybakov» اطلاعات کتاب مقبولیت قواعد استنتاج منطقی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: Vladimir V. Rybakov زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 613 حجم کتاب: 8 مگابایت کد کتاب: 9780080525990 , 9780444895059 , 0444895051 توضیحات کتاب مقبولیت قواعد استنتاج منطقی هدف این کتاب ارائه نتایج نظری اساسی در مورد قواعد استنتاج در سیستم های رسمی قیاسی است. توجه اولیه معطوف به موارد زیر است: • قواعد استنتاج قابل…
سیستم های منطقی لزنیفسکی
دانلود کتاب The Logical Systems of Lesniewski (به فارسی: سیستم های منطقی لزنیفسکی) نوشته شده توسط «Eugene C. Luschei» اطلاعات کتاب سیستم های منطقی لزنیفسکی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Eugene C. Luschei زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1962 تعداد صفحه: 363 حجم کتاب: 3 مگابایت کد کتاب: 9780444533951 , 0444533958 دانلود کتاب «سیستم های منطقی لزنیفسکی»
معناشناسی نوع منطقی
دانلود کتاب Type-Logical Semantics (به فارسی: معناشناسی نوع منطقی) نوشته شده توسط «Bob Carpenter» اطلاعات کتاب معناشناسی نوع منطقی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: The MIT Press نویسنده: Bob Carpenter زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 589 حجم کتاب: 6 مگابایت کد کتاب: 0262032481 , 9780262032483 , 0262531496 , 9780262531498 , 9780585077659 دانلود کتاب «معناشناسی نوع منطقی»
نحو منطقی زبان
دانلود کتاب Logical syntax of language (به فارسی: نحو منطقی زبان) نوشته شده توسط «Rudolf Carnap» اطلاعات کتاب نحو منطقی زبان موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Routledge نویسنده: Rudolf Carnap زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 368 حجم کتاب: 3 مگابایت کد کتاب: 9780415225533 , 0415225531 توضیحات کتاب نحو منطقی زبان در اینجا برای اولین بار در 20 سال در دسترس است، در اینجا “اصل مدارا” معروف رودولف کارنپ است که به موجب آن همه آزادند تا قواعد زبان و منطق را با هم ترکیب کنند. در نحو…
چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی
دانلود کتاب Logical frameworks for truth and abstraction: An axiomatic study (به فارسی: چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی) نوشته شده توسط «A. Cantini» اطلاعات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: A. Cantini زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 474 حجم کتاب: 3 مگابایت کد کتاب: 0444823069 , 9780444823069 , 9780080535586 نوبت چاپ: 1 توضیحات کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی این ترجمه انگلیسی اثر اصلی…
مبانی منطقی پیچیدگی اثبات
دانلود کتاب Logical foundations of proof complexity (به فارسی: مبانی منطقی پیچیدگی اثبات) نوشته شده توسط «Stephen Cook – Phuong Nguyen» اطلاعات کتاب مبانی منطقی پیچیدگی اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Association for Symbolic Logic; Cambridge University Press نویسنده: Stephen Cook – Phuong Nguyen زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 497 حجم کتاب: 3 مگابایت کد کتاب: 052151729X , 9780521517294 نوبت چاپ: 1 توضیحات کتاب مبانی منطقی پیچیدگی اثبات این کتاب به بررسی پیچیدگی محاسباتی و اثبات گزاره‌ای از نقطه نظر پیچیدگی محاسباتی می‌پردازد. هفت فصل اول…
بررسی‌های منطقی هوسرل در قرن جدید: دیدگاه‌های غربی و چینی
دانلود کتاب Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives (به فارسی: بررسی‌های منطقی هوسرل در قرن جدید: دیدگاه‌های غربی و چینی) نوشته شده توسط «Kwok-Ying Lau (editor) – John J. Drummond (editor)» اطلاعات کتاب بررسی‌های منطقی هوسرل در قرن جدید: دیدگاه‌های غربی و چینی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Kwok-Ying Lau (editor) – John J. Drummond (editor) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 184 حجم کتاب: 3 مگابایت کد کتاب: 1402057571 , 9781402057588 , 9781402057571 نوبت چاپ: 1 توضیحات کتاب بررسی‌های منطقی…
ابزارهای منطقی برای مدیریت تغییر در سیستم های مبتنی بر عامل
دانلود کتاب Logical Tools for Handling Change in Agent-Based Systems (به فارسی: ابزارهای منطقی برای مدیریت تغییر در سیستم های مبتنی بر عامل) نوشته شده توسط «Dov M. Gabbay – Karl Schlechta (auth.)» اطلاعات کتاب ابزارهای منطقی برای مدیریت تغییر در سیستم های مبتنی بر عامل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Dov M. Gabbay – Karl Schlechta (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 305 حجم کتاب: 2 مگابایت کد کتاب: 9783642044069 , 2009939263 نوبت چاپ: 1 توضیحات کتاب ابزارهای منطقی برای مدیریت تغییر…