گروه پایتون - PyFa

نه اونقدر بیشتر مبحث های آماری رو با پایتون یاد میده

باگ معروفیه

لوکال ران کن

Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan, Second Edition, Cambridge University Press, 2004 این کتاب به‌نظرم یکی از نمونه های خیلی خوب از پیوند بین منطق و علم کامپیوتر هست (یعنی کتابی میان‌رشته‌ای‌ست)، یعنی منطق رو صرفاً به عنوان یک موضوع ریاضی مستقل بررسی نمی‌کنه، بلکه از ابتدا دنبال اینکه با استفاده از منطق، سیستم های کامپیوتری و نرم‌افزار رو مدل کنیم و درباره‌ی درستی رفتار اون‌ها به‌صورت صوری استدلال کنیم... ایده‌ی مرکزی کتاب دقیقاً همین هست که برای یک سیستم M و یک specification یا formula مثل φ، بتونیم به صورت دقیق بررسی کنیم که آیا M ⊨ φ برقرار هست یا نه و حتی در بسیاری از موارد این رابطه رو به‌صورت الگوریتمی محاسبه کنیم. کتاب از Propositional Logic شروع می‌کنه... جایی که علاوه بر formal language و semantics، مباحثی مثل natural deduction, soundness, completeness, normal forms, satisfiability, validity و SAT solving و... رو پوشش میده... حتی صرفاً به تعریف SAT بسنده نمی‌کنه و وارد طراحی و تحلیل solver ها، از یک linear solver تا روش های با پیچیدگی بالاتر، میشه. بعد وارد Predicate Logic میشه و از syntax, terms, formulas, free و bound variables و substitution می‌گذره و به proof theory, models, semantic entailment, undecidability و expressiveness و... می‌رسه. در ویرایش دوم هم مباحثی از model theory مثل Compactness Theorem و Löwenheim–Skolem Theorem هم اضافه شده و حتی ارتباط منطق با ابزارهایی مثل Alloy برای مدل‌سازی و exploration سیستم‌های under-specified بررسی میشه. از اینجا به بعد، به‌نظرم کتاب واقعاً وارد وهله یا قلمرو جذاب خودش میشه، یعنی Verification by Model Checking... در این بخش Linear-Time Temporal Logic (LTL) و Computational Tree Logic (CTL), specification patterns, model checking, fairness و الگوریتم های model checking بررسی میشن و در کنار توضیح نظری، ابزار NuSMV هم به‌صورت عملی وارد بحث میشه... بعد هم fixed-point characterization of CTL و مباحث مربوط به monotone functions و correctness الگوریتم ها مطرح میشه. فصل بعدی کتاب هم میره سراغ Program Verification، یعنی specification و verification کد، Hoare Lo