نیرش در نظریه مدل پیوسته

پایان نامه
  • وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
  • نویسنده امیر مهدیخانلو
  • استاد راهنما سیدمحمد باقری
  • تعداد صفحات: ۱۵ صفحه ی اول
  • سال انتشار 1391
چکیده

یک ساختار متریک عبارت است از یک فضای متریک به همراه تعدادی رابطه و عمل پیوسته روی آن. هر ساختار مرتبه یکم یک ساختار پیوسته است. منطق پیوسته گسترشی از منطق مرتبه یکم است که برای مطالعه ساختارهای متریک بنا شده است. هدف این پایان نامه مطالعه نیرش (فورسینگ) در منطق مرتبه یکم و منطق پیوسته و اثبات قضیه حذف تایپ در آنها می باشد. نخست به طرح چارچوب اصلی در منطق مرتبه یکم می پردازیم. سپس با انجام تغییرهای لازم نیرش در منطق پیوسته را تعریف می کنیم. در پایان به کاربرد این مبحث در خارج قسمت های جدایی پذیر فضاهای باناخ می پردازیم. کلید واژه: نیرش، تایپ، حذف تایپ، ساختار متریک، زیر فرمول

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مدل محیط پیوسته برای جریان اکتین _ مایسین

ناحیه جلویی سلول تحت عنوان لملیپودیال به دو قسمت ب هنام های لملوم و لملیپودیوم، تقسیم بندی می شود. جریان های داخلی موجود در این ناحیه، نقشی اساسی در حرکات بیرونی سلولی ایفا م یکنند. در واقع، تعداد بسیار زیادی رشته های پروتئینی به نام اکتین در لملوم و لملیپودیوم سلول وجود دارد، که با پلیمرایز شدن در لبه جلویی سلول، موجب پیشروی آن می شوند. رشته های اکتینی توسط نواحی چسبندگی به محیط بیرونی سلول مت...

متن کامل

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

هدف این مقاله معرفی یک مدل تعمیم یافته برای توزیع توأم متغیرهای اسمی، ترتیبی و پیوسته برای با و بدون داده گم شده است. فرم های بسته ای برای تابع درستنمایی مربوط به مدل های مکانی عام ارائه می شود. همچنین تقریب جو، برای براورد پارامترهای مدل مکانی عام با پاسخ های اسمی، پیوسته و ترتیبی با و بدون داده های گم شده به کار برده شده است. برای نشان دادن قابلیت مدل های پیشنهادی، مطالعات شبیه سازی انجام ش...

متن کامل

یک مدل جدید ترمولومینسانس با توزیع پیوسته انرژی مراکز گیراندازی

A mixed order model is proposed for describing thermoluminescence (TL) glow peaks with continuous and uniform distribution of trapping states. It is shown that the presented function reduces to the simple known models at the limiting cases. The function for TL intensity has been introduced in terms of intensity and temperature of the peak maximum. These parameters can easily be estimated from t...

متن کامل

مدل محیط پیوسته برای جریان اکتین _ مایسین

ناحیه جلویی سلول تحت عنوان لملیپودیال به دو قسمت ب هنام های لملوم و لملیپودیوم، تقسیم بندی می شود. جریان های داخلیموجود در این ناحیه، نقشی اساسی در حرکات بیرونی سلولی ایفا م یکنند. در واقع، تعداد بسیار زیادی رشته های پروتئینی به نام اکتیندر لملوم و لملیپودیوم سلول وجود دارد، که با پلیمرایز شدن در لبه جلویی سلول، موجب پیشروی آن می شوند. رشته های اکتینیتوسط نواحی چسبندگی به محیط بیرونی سلول متصل ...

متن کامل

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023