پاورپوینت نظریه زبان ها و ماشین ها

              نوع فایل power point   قابل ویرایش 84 اسلاید   قسمتی از اسلایدها نظریه محاسبه پذیری ماشین ها چه مسائلی را می توانند حل کنند؟ رده بندی مسائل در دو گروه قابل محاسبه و غیرقابل محاسبه مدل های نظری برای ماشین ها به علت قدرتمندی مدل هایی مانند RAM یا ماشین تورینگ اثبات این که چه مسائلی را می توانند حل کنند دشوار است. Soundness and Completeness A formal system is said to be sound if all theorems in that system are tautology. A formal system is said to be complete if all tautologies in that system are theorems Direct Proof If the two propositions (premises) p and p → q are theorems, we may deduce that the proposition q is also a theorem.  This fundamental rule of inference is called modus ponens by logicians. Intuitive versus axiomatic set theory The theory of set built on the intuitive concept of membership, extension, and abstraction is known as intuitive (naïve) set theory. As an axiomatic theo …