واژهنامه منطق و ریانش
درآمد به منطق و رایانش
≃ | ≃ |
⊢ | ⊢ |
⊩ | ⊩ |
B.Min | B.Min |
cmp.rl | cmp.rl |
nامین عدد اول | Primeness function |
p.r | p.r |
pr.rl | Pr.rl |
RM | RM |
Uk-univ(e,x) | Universal function |
URM | URM |
Wff | Well-Formed Formula |
μ | Μ |
μ | Μ |
μrc | Μrc |
اتم | Atom |
اثبات شدنی | Provable |
اثبات نشدنی | Unprovable |
استلزام توتولوژیک | Tautological Implication |
استلزام منطقی | Logical implication |
استنتاج | Deduction |
استنتاج سمانتیکی | Semantics Inference |
استنتاج معتبر سمانتیکی | Semantically valid inference |
استنتاج معتبر نحوی | Syntactically Valid Inference |
اشتقاق نحوی | Syntactic derivation |
اصل انفجار | Principle of explosion |
الگوریتم | Algorithm |
الگوریتم اقلیدس | Euclid's algorithm |
الگوریتمِ تصمیم پذیری فرمول | Well-formed formula decision algorithm |
الگوریتم غیر-قطعی | Nondeterministic algorithm |
الگوریتم کارساز | Efficient algorithm |
انباره | Register |
انتخاب | Selection |
اندیس | Index |
انفجار استنتاجی | Deductive explosion |
بازگشتی جزئی | Partial recursive |
بدنه | Body |
برچسب | Label |
برخی ویژگیهای تابع آکرمان | Ackermann function properties |
برنامه جهانی | Universal program |
برنامه نویسی ماشینهای اندوختگانی | Programming of register machines |
برهان | Proof |
بطور الگوریتمیک قابل محاسبه | Algorithmically computable |
بطور کارآمد قابل محاسبه | Algorithmically computable |
بگونه بازگشتی نخستینی | By Primitive recursion |
بهطور معنایی سازگار | logically_consistent99s1 |
پارامترهای بازگشتی | Recursive parameters |
پایان پذیری الگوریتم | Termination of the algorithm |
پیچیدگی زمانی | Time complexity |
پیکربندی ماشین اندوختگانی | Register machine configuration |
تابع μ-بازگشتی | Μ-recursive functions |
تابع افکنش | Projection function |
تابع آکرمان | Ackermann function) |
تابع آکرمان یک تابع نخستینی-بازگشت نیست. | Ackermann function not pr |
تابع اول بودن | Primeness function |
تابع بازگشتی | Recursive functions |
تابع بازگشتی جزئی | Partial recursive function |
تابع بازگشتی کامل | Total Recursive functions |
تابع بازگشتی-نخستینی | Primitive recursive function |
تابع بازگشتی-نخستینی | Primitive recursive function |
تابع پیشین | Predecessor function |
تابع تالی | Successor function |
تابع تعداد مقسوم علیهها | Divisor counting function |
تابع تفریق کوتاه شده | Truncated subtraction function |
تابع توان | Power function |
تابع ثابت | Constant function |
تابع جانشینی | Substitution function |
تابع جهانی | Universal function |
تابع رایانشپذیر | Computable function |
تابع رایانشپذیر جزئی | Partial computable function |
تابع رایانشناپذیر | Uncomputable Function |
تابع صفر | Zero function |
تابع علامت | Sign function |
تابع فاکتوریل | Factorial function |
تابع قدر مطلق | Absolute value function |
تابع قطری | Diagonal function |
تابع کاهش | Decrease function |
تز چرج-تورینگ | Church–Turing thesis |
تز چرچ | Church’s Thesis |
تصمیم پذیری فرمول خوش-ساخت | Decidability of well-formed formula |
تصمیمپذیر | Decidable |
تصمیمپذیری | Decidability |
تعبیر | Interpretation |
تعریف و استدلال مبتنی بر مورد | Case-based definition and reasoning |
تمام | Complete |
تمامیت | Completeness |
تناقض | Contradiction |
توابع بیشینه و کمینه | Maximum and minimum function |
توابع پیشینی بازگشتی-نخستینی | Primitive recursive a priori functions |
توابع پیشینی بازگشتی-نخستینی | Primitive recursive a priori functions |
توابع رایانش پذیر جزئی | Partial computable Functions |
توالی | Sequence |
توالی | Sequence |
توان nامین فاکتور اول در تجزیه | Power of Nth prime factor |
توان گویایی | Expressive power |
توتولوژی | Tautology |
توقف بد | Bad halting |
توقف خوب | Good halting |
ثابت منطقی | Logical constant |
ثابتهای منطقی | Logical Constants |
جبر تصمیمپذیری | Algebra of computability |
جستجوی کراندار | Bounded Search |
جمع کراندار | Bounded sum |
چرخه | Function iteration |
چرخه آزاد | Free loop |
چرخه تکرار در الگوریتم | Iteration in algorithm |
چرخه کراندار | Bounded loop |
حاصل جمع ضرب کراندار | Bounded total of multiplication |
حدس کولاتز | Collatz conjecture |
حدس گلدباخ | Goldbach Conjecture |
حساب لامبدا | Lambda calculus |
حلقه for | Bounded loop |
حلقه while | Free loop |
خاصیت اینهمانی | Idntity Property |
درخت پیکربندی | Formation tree |
درخت پیکربندی | Formation tree |
درخت فراکافت | Parse tree |
دست آوردنی | Drivable |
دستگاه CND | Copi Natural Deduction system |
دستگاه استنتاجی | Deductive System |
دستگاه توابع بازگشتی | Theory of recursion functions |
دستگاه توابع بازگشتی-نخستینی | System of Primitive Recursive Functions |
دستگاه حساب لامبدا | Lambda calculus |
دستگاه صوری | Formal System |
دستگاه صوری سازگار | Consistent formal system |
دستگاه صوری ناسازگار | Inconsistent formal system |
دستگاه نحوی | Syntactic System |
دنبالههای کد گذاری | Coding sequences |
رابط | Connective |
رابط جمله گانی | Sentential Connective |
رابطه بازگشتی | Recursive relation |
رابطه بازگشتی-نخستینی | Primitive recursive relations |
رابطه تصمیم پذیر بازگشتی-نخستینی | Primitive recursive decidable relations |
رابطه تصمیمپذیر | Decidable relations |
رابطه رایانشپذیر | Computable relations |
رابطه معیار در چرخه تکرار | Criterion relation in while loop |
رابطهای منطقی | Logical connectives |
رایانش | Computing |
رایانش | Computing |
رایانشپذیر | Computable |
رایانشپذیر | Computable |
رایانشپذیری | Computability |
رایانشپذیری جزئی | Partial computability |
رایانشپذیری و توابع بازگشتی-نخستینی | Computability and primitive recursive functions |
رجیستر | Register |
رسا | Sound |
روش قطری | Diagonalization method |
روش قطری در اثبات وجود تابع کامل رایانشناپذیر | Diagonalization method in computation |
روند | Process |
روند آزمون گمانه کولاتز | Collatz's conjecture test procedure |
روند کارآمد | Efficient procedure |
روند مکانیکی | Mechanical procedure |
زبان شاهد | Observer's language |
زبان صوری | Formal Language |
زبان موضوع | Object language |
زبانهای تابعی | Functional programming |
سختافزار | Hardware |
سور عمومی کراندار | Bounded quantification |
سور کراندار | Bounded quantifier closure |
سور کراندار | Bounded quantification |
سور وجودی کراندار | Bounded quantification |
شمارایی مجموعه فرمولها | Denumerability of formulas |
شمارش مقسوم علیه | Counting divisor |
شمارگذاری گودل | Gödel Numbering |
شمارگذاری گودل | Godel numbering in RG |
شماره گذاری گودل | Godel Numbering |
شناسایی درخت فراکافت | Identifying the parse tree |
صحت الگوریتم | Correctness of algorithm |
صدق پذیر | Satisfiable |
صدق منطقی | Logical Truth |
صورت توتولوژیک | Tautological form |
صورت متناقض | Contradiction |
صورت معتبر | Valid form |
ضرب کراندار | Bounded products |
عملگر جستجو | Search operator |
عملگر کمینهساز | Minimalization operator |
عملگر کمینهساز بیکران - μ | Unbounded minimization operator |
فرازبان | Meta-language |
فراقضیه | Metatheorem |
فراقضیه تمامیت | Completeness Meta-theorem |
فراقضیه رسانش | Soundness Meta-theorem |
فرا-متغیر | Metavariable |
فرامنطق | MetaLogic |
فرمول اتمی | Atomic Formula |
فرمول خوش-ساخت | Well-Formed Formula |
فرمول خوش-ساخت | Well-Formed Formula |
فرمول شماتیک | Schematic formula |
فرمول غیر اتمی | Non-atomic formula |
قاعده استنتاج | Inference rule |
قاعده استنتاج نحوی | Syntactic inference rule |
قاعده بازگشتی-نخستینی | Primitive recursive rule |
قاعده برهان شرطی | Rule of Conditional Proof |
قاعده ترکیب | Composition rule |
قاعده جایگزینی نحوی | Rule of syntacticall replacement |
قضیه | Theorem |
قضیه اول ناتمامیت | First Incompleteness theorem |
قضیه برشمارش | Enumeration theorem |
قضیه دوم ناتمامیت | Second Incompleteness theorem |
قضیه صورت نرمال | Normal Form Theorem |
قضیه ناتمامیت | Incompleteness theorem |
قطعی | Deterministic |
قطعیت | Deterministic algorithm |
قواعد اشتقاق نحوی | Syntactic derivation rules |
قواعد ساخت | Formation rules |
قواعد نگارش | Syntax rules |
قواعد نگارش صورت | Syntax of formal language |
کارآمدی چندجملهای | Polynomial Efficiency |
کلاس الگوریتمها | Class of algorithms |
کلاس توابع p.r | Class of p.r functions |
کمینه ساز کراندار | Bounded Minimalization |
کمینه سازی بیکران | Unbounded Minimalization |
ماشین اندوختگانی جهانی | Universal register machine |
ماشین جهانی | Universal Machine |
ماشینهای اندوختگانی | Register machine |
ماشینهای اندوختگانی | Register Machine |
ماشینهای تورینگ | Turing machines |
ماشینهای تورینگ | Turing-Machines |
متغیر نحوی | Syntactical Variable |
متغیرهای فرازبانی | Syntactical variables |
مجموعه بازگشتی | Recursive sets |
مجموعه بازگشتی-نخستینی | Primitive recursive sets |
مجموعه تصمیم پذیر بازگشتی-نخستینی | Primitive recursive decidable sets |
مجموعه تصمیمپذیر | Decidable sets |
مجموعه تصمیمناپذیر | Undecidable set |
مجموعه رایانشپذیر | Computable sets |
مجموعه نمایه | Index sets |
مجموعه نمایه بدیهی | Trivial index set |
مجموعه نمایه نابدیهی | Non-trivial index set |
محاسبه پذیر | Algorithmically computable |
محاسبهپذیر | Computable |
محاسبهپذیری | Computability |
محمول T کلین | Kleene's T predicate |
مدل | Model |
مدل | Model of wff set |
مدل رایانشی | Model of computation |
مسئله تصمیم گیری | Decision problem |
مسئله تصمیمپذیری | Entscheidungsproblem |
مسئله توقف | Halting problem |
مسئله دهم هیلبرت | Hilbert's tenth Problem |
معادلات بازگشتی | معادلات بازگشتی |
معتبر | Valid |
معناشناختی مبتنی بر مدل | Model-theoretic semantics |
معناشناختی مبتنی بر نظریه برهان | Proof-theoretic semantics |
مقدار معنایی | Semantic Value |
مقدمان استنتاج | Premises of deduction |
منطق گفتمانی | Discussive Logic |
منطقاً سازگار | Satisfiable |
منطقاً مستلزم | Logically implies |
منطقهای فراسازگار | Paraconsistent logics |
مورد پرسش | Problem Instance |
نامعتبر | Invalid |
نتیجه استنتاجی | Deductive Consequence |
نتیجه برهانی | Proof-theoretic Consequence |
نتیجه منطقی | Logical consequence |
نتیجه نحوی | Syntactic Consequence |
نحو زبان | Syntax of language |
نحو زبان صوری | Syntax of formal language |
نرمافزار | Software |
نظریه برهان | Proof theory |
نظریه توابع بازگشتی | Theory of recursive functions |
نظریه مبتنی بر مدل | Model-Theoretic |
نظریههای بنیادی معنا | Foundational theories of meaning |
نظریههای گسترشی | Extensional theories |
نظریههای معنا | Theories of Meaning |
نظریههای معناشناسی | Semantic theories |
نظریههای ناگسترشی | Non-extensional theories |
نگاره | Concept |
نمادهای ویژه | Special symbols |
نمایش شماتیک ماشینهای اندوختگاهی | Graphical registers machines representation |
نمایهسازی توابع رایانشپذیر جزئی | Indexation of partial computable functions |
نیمی-تصمیمپذیر | Partially decidable |
همارز منطقی | Logical equivalence |
همارزی منطقی | Logical Equivalence |
همارزی نحوی | Syntactical Equivalence |
واژگان ابتدایی | Primitive vocabulary |
واژگان منطقی | Logical Vocabulary |
واژگان نامنطقی | Non-Logical Vocabulary |
ویژگیهای الگوریتم | Properties_of_algorithm |
یادگیری دنبالهای | Sequence learning |