ترجمه فارسی توضیحات (ترجمه ماشینی)
اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی
توانایی استدلال و تفکر به شیوه ای منطقی اساس یادگیری را برای اکثر دانشجویان ریاضیات، علوم کامپیوتر، فلسفه و منطق تشکیل می دهد. این متن بر اساس یادداشت‌های آموزشی نویسنده در دانشگاه مریلند و مخاطبان گسترده، موضوعات اساسی در منطق کلاسیک را با سبکی بسیار واضح، کامل و دقیق پوشش می‌دهد که برای همه موارد فوق قابل دسترسی است. این متن با پوشش منطق گزاره‌ای، منطق مرتبه اول و منطق مرتبه دوم، و همچنین نظریه اثبات، نظریه محاسباتی و نظریه مدل، شامل تمرین‌های متعددی است که به دقت درجه‌بندی شده‌اند و برای دوره اول یا تکمیلی ایده‌آل است.
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
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.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.