خدمات مرکز


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

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





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

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


سرویس گرایی در سامانه سامانه‌ها

پریسا میرحاج


پردازش سیگنال ضربان قلب با ایده گرفتن از الگوریتم تامپکینس و بهبود آن برای استفاده در شناسایی و تجزیه‌وتحلیل نرخ ضربان و نوع اریتمی

غلامرضا عباسی