خدمات مرکز


بحث توپولوژیکی در رابطه با ناسازگاری و ناسازگاری در پارادوکس یابلو

چکیده: مقالاتی که تاکنون در رابطه با صوری‌سازی پارادوکس یابلو ارائه‌شده‌اند تعدادی دنباله‌ی یابلو را ناسازگار و برخی دیگر آن راω -ناسازگار می‌دانند. در این مقاله با توجه به تحلیل توپولوژیکی که توسط  برناردی کلادیو در رابطه با دنباله‌ای از جملات که هر جمله‌ی آن دنباله به جملات دیگر دنباله اشاره دارد، ناسازگاری و ω –ناسازگاری را در دنباله جملات یابلو بررسی می‌کنیم. تابع ارزشگذار دنباله‌ جملات یابلو وقتی صوری‌سازی ω –ناسازگار را برای آن در نظر بگیریم با تابع ارزشگذار این دنباله وقتی آن را ناسازگار بدانیم متفاوت بوده و دارای نقطه‌ی ثابت می‌باشد. البته هم در حالت ناسازگاری و هم در ω –ناسازگاری تابع ارزشگذار دنباله مرتب اما ناپیوسته است.





مقالات دیگر
بررسي روش‌های مختلف كاشت بر روي عملكرد ذرت علوفه‌ای رقم کا اس سی هفتصد و چهار

محمد مشرقي


بررسی و مقایسه ساختاری ادوات الکترونیک قدرت در پایداری ولتاژ سیستم‌های قدرت

سپهر تقی زاده


بررسی انواع الگوریتم‌های شبکه عصبی در تهیه نقشه کاربری اراضی مطالعه موردی منطقه دشت چالاب شهرستان مهران استان ایلام

محمد کرمی