قضیه S-mn
parameter theorem
قضیه پارامترسازی
Rogers equivalence theorem
قضیه هم‌ارزی راجرز
theorems of computer science
قضایای علوم کامپیوتر
زبان برنامه‌نویسی
programming language
Godel numbering
شماره‌گذاری گودل