خدمات مرکز


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

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





مقالات دیگر
امنیت شبکه‌های بیسیم

محمد رهاوی


روند تغییرات معماری ایران بر اساس کیفیت و هویت

هانیه رشیدی ، دکتر مهران خیراللهی ، دکتر رضا فرمهینی فراهانی


ارائه رمزنگاری بر اساس تولید اعداد بیت تصادفی

حمید نیکوئی