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

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

نوع فایل 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 theory of sets, it is not entirely satisfactory, because the principle of abstraction leads to contradictions when applied to certain simple predicates.



فهرست مطالب و اسلایدها

نظریه پیچیدگی

نظریه محاسبه پذیری

نظریه ماشین ها

مبانی ریاضی

الفبا

رشته ها

زبان ها