کتاب Logical Foundations Of Computer Science (مبانی منطقی علوم کامپیوتر) جلد 1 و 2 راهنمای جامع منطق علوم کامپیوتر به همراه نکات و مباحث کلیدی و مهم است.
در ادامه مقدمه‌ای از کتاب Logical Foundations Of Computer Science را از زبان نویسنده شرح خواهیم داد.
مقدمه‌ای بر کتاب Logical Foundations Of Computer Science:
در استدلال علمی، با مجموعه‌ای از جملات، یعنی مقدمات، شروع می‌کنیم تا با استفاده از یک فرایند استنتاج، جمله دیگری را توجیه کنیم. بنابراین، مطالعه منطق برای دانشجویان علوم کامپیوتر، ریاضیات و همه کسانی که از اثبات‌های ریاضی استفاده می‌کنند، ضروری است.
بسیاری از مفاهیم بنیادی محاسبات توسط منطق‌دانان ایجاد شده‌اند. مشهورترین چنین مفهومی، ایده یک کامپیوتر همه منظوره، ماشین تورینگ است. برنامه‌های کامپیوتری به زبان‌های نمادین، مانند پایتون، جاوا و لیسب، نوشته می‌شوند که حاوی ویژگی‌های نشانه‌گذاری و نمادهای منطقی هستند. از طریق چنین ارتباطاتی، مطالعه منطق در طراحی برنامه‌ها کمک می‌کند. منطق همچنین در طراحی زبان‌های برنامه‌نویسی جدید نقش دارد و برای کار در هوش مصنوعی ضروری است.
فصل مقدماتی مجموعه‌ای از ابزارهای نظری و جبری را که در سراسر کتاب Logical Foundations Of Computer Science استفاده می‌شود، ارائه می‌دهد.
مفاهیم نحوی و معنایی منطق گزاره‌ای در فصل دوم مورد بحث قرار می‌گیرد: فرمول‌ها، انتساب‌های حقیقت، جداول حقیقت، فرم‌های نرمال، کلون‌های توابع حقیقت و کامل بودن عملکردی. برخی از بخش‌های منطق توسط مهندسان در طراحی مدار استفاده می‌شود، موضوعی که در همان فصل به طور گسترده مورد بحث قرار گرفته است.
هدف فصل سوم کتاب Logical Foundations Of Computer Science، معرفی انواع مختلف روش‌های رسمی گزاره‌ای است: سیستم‌های رسمی هیلبرت/فرگه، جداول، دنباله‌ها و استنتاج طبیعی، و بررسی روش‌های تبدیل بین این فرمالیسم‌ها. علاوه بر این، چندین نوع مختلف از حل گزاره‌ای و روش برش صفحه را ارائه می‌دهیم.
بخش دوم این اثر به منطق محمولات، همچنین به عنوان منطق مرتبه اول شناخته می‌شود، می‌پردازد. توسعه این بخش تا حد زیادی موازی با ارائه منطق گزاره‌ای است. فصل اول این بخش، نحو و معنای منطق محمولات را با شروع از فرمول‌ها و ساختارهای مرتبه اول ارائه می‌دهد. جنبه‌های مختلف نحوی خاص منطق محمولات ارائه می‌شود و سپس تمرکز به معنای‌شناسی تغییر می‌کند.
ما فرم‌های نرمال برای فرمول‌ها را مورد بحث قرار می‌دهیم و برخی مجموعه‌های خاص فرمول‌ها مانند مجموعه‌های هینتیکا و نظریه‌های مرتبه اول را ارائه می‌دهیم. همچنین، کاهش منطق مرتبه اول به منطق گزاره‌ای بررسی می‌شود. این فصل با مطالعه تصمیم‌پذیری در منطق مرتبه اول به پایان می‌رسد.
در فصل بعد، چندین فرمالیسم مهم متناظر برای منطق مرتبه اول بررسی می‌شود: سیستم‌های رسمی هیلبرت/فرگه، جداول، دنباله‌ها و استنتاج طبیعی. حل، که پایه برنامه‌نویسی منطقی را تشکیل می‌دهد، به اشکال مختلف مورد بحث قرار می‌گیرد و توجه ویژه‌ای به روش پارامودولاسیون برای زبان‌هایی با برابری می‌شود.
فصل آخر شامل تحلیل منطقی و ریاضی برنامه‌ها است که امکان اثبات صحت برنامه و تحلیل عملکرد برنامه‌ها را فراهم می‌کند. ما استفاده از منطق برای اثبات انواع مختلف ادعاها در مورد صحت برنامه‌ها و عملکرد آنها را مورد بحث قرار می‌دهیم.
این اثر حاوی بیش از ۷۷۰ تمرین و مکمل است که می‌تواند برای عمیق‌تر کردن درک مطالب استفاده شود. ما اثبات‌های مفصلی ارائه می‌دهیم و از مشکلات فنی دوری نمی‌کنیم.
امید است که خوانندگان از این مقدمه منطق لذت ببرند و از آن در تحقیقات خود استفاده خوبی کنند.
سرفصل‌های کتاب Logical Foundations Of Computer Science:
- Volume 1 : Propositional Logic
- Contents
- Preface
- About the Authors
- Volume 1. Propositional Logic
- 1. Preliminaries
- 2. Propositional Logic-Syntax and Semantics
- 3. Propositional Logic-Formal Systems
- Bibliography
- List of Notations
- List of Results
- Index
- Volume 2 : Predicate Logic
- Contents
- Preface
- About the Authors
- Volume 2. Predicate Logic
- 4. First-Order Logic-Syntax and Semantics
- 5. First-Order Logic-Formal Systems
- 6. Program Verification
- Bibliography
- List of Notations
- List of Results
- Index
جهت دانلود کتاب Logical Foundations Of Computer Science می‌توانید پس از پرداخت، دریافت کنید.
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.