واژه‌نامه منطق و ریانش

درآمد به منطق و رایانش

≃	≃
⊢	⊢
⊩	⊩
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