نرم افزار: سیستم ها: محاسبات علمی

اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

دانلود کتاب A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (به فارسی: اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی) نوشته شده توسط «Shawn Hedman»

اطلاعات کتاب اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Oxford University Press

نویسنده: Shawn Hedman

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 453

حجم فایل: 1.79 مگابایت

کد کتاب: 0198529813 , 9780198529811

توضیحات کتاب اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی

توانایی استدلال و تفکر به شیوه ای منطقی اساس یادگیری را برای اکثر دانشجویان ریاضیات، علوم کامپیوتر، فلسفه و منطق تشکیل می دهد. این متن بر اساس یادداشت‌های آموزشی نویسنده در دانشگاه مریلند و با هدف مخاطبان گسترده، موضوعات اساسی در منطق کلاسیک را با سبکی بسیار واضح، کامل و دقیق پوشش می‌دهد که برای همه موارد فوق قابل دسترسی است. این متن با پوشش منطق گزاره‌ای، منطق مرتبه اول و منطق مرتبه دوم، و همچنین نظریه اثبات، نظریه محاسبات و نظریه مدل، شامل تمرین‌های متعددی است که به دقت درجه‌بندی شده‌اند و برای دوره اول یا تکمیلی ایده‌آل است.

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author’s teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

دانلود کتاب «اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان