سی ترم

سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

یکى از مباحث قرآنى مورد بحث اندیشمندان مسلمان ترجمه پذیرى و ترجمه ناپذیرى قرآن است. برخى قایل به ترجمه پذیرى آن و گروهى نیز آن را امرى غیر ممکن و حرام تلقى نموده اند. هر دو دیدگاه در میان متقدمان و متأخران طرفدارانى دارد. این مقوله از جنبه شرعى و نیز از جنبه زبان شناختى و امکان برگردان متن قرآن به زبان هاى دیگر قابل بررسى است. مقاله حاضر، به ترجمه پذیرى و ترجمه ناپذیرى قرآن از منظر زبانى پرداخت...

یکی از مباحث قرآنی مورد بحث اندیشمندان مسلمان ترجمه پذیری و ترجمه ناپذیری قرآن است. برخی قایل به ترجمه پذیری آن و گروهی نیز آن را امری غیر ممکن و حرام تلقی نموده اند. هر دو دیدگاه در میان متقدمان و متأخران طرفدارانی دارد. این مقوله از جنبه شرعی و نیز از جنبه زبان شناختی و امکان برگردان متن قرآن به زبان های دیگر قابل بررسی است. مقاله حاضر، به ترجمه پذیری و ترجمه ناپذیری قرآن از منظر زبانی پرداخت...

پارادُکس یابلو از چالش برانگیزترین مباحثی است که اخیراً مورد نقد و بررسی فیلسوفان، ریاضی دانان و حتی دانشمندان علوم کامپیوتر قرار گرفته است. در این پارادکس با معرفی یک سری بی پایان از جملاتی که خود-متناقض نیستند، ولی از وجود این بی نهایت جمله تناقض نتیجه می شود، ظاهراً از دور و تسلسل دوری می گردد. در حقیقت هر جمله از دنباله یابلو بیان می کند که تمامی جملات پس از او همگی نادرستند. می توان دید که و...