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

پس از بررس ?-جبر باناخ ?? دستگاه هار مفروضرا بعنوان ی ?? وابسته به ی l1(g, ?, ?) کنیم و فضای ?? م ?? را معرف است. (g فضای اندازه های رادون روی )m(g) ایده آل دوسویی ?? دهیم که این فضا ی ?? سازیم و نشان م ?? م روی l1(g, ?, ?) وار موضعاً فشرده و هاسدورف و نمایش های

اوربیفلد، فضایی است که به طور موضعی با خارج قسمت حاصل از عمل یک گروه متناهی که به صورت هموار، موثر و تقریبا آزاد روی فضای اقلیدسی ‎$mathbb{r}^{n}$‎ عمل می کند، هومئومورف است. در این پایان نامه سعی می شود پس از بیان مطالب اولیه، تعمیم کوهمولوژی درام مطرح شود و در فصل های بعد بعضی از مفاهیم هندسی که برای منیفلدها می دانیم نظیر کلاف مماس، کاتگوری و کوهمولوژی درام را برای اوربیفلدها مطرح کنیم البته...

فرض کنیم l یک مشبکه زیرفضایی جابجایی در جبر فون نویمان n باشد. نشان میدهیم اگر f یک نگاشت خطی کراندار از اشتراک algl و n به توی b(h) باشد و به ازای هر a,b,c در این اشتراک که در شرط ab=bc صدق می کنند، داشته باشیم af(b)c=0, آنگاه f یک اشتقاق تعمیم یافته است و نیز هر اشتقاق موضعی از c*-جبر a به یک a-دومدول باناخ، یک اشتقاق است. در این پایان نامه برای حکم اخیر دو برهان آمده است که هر دو با اثبات جا...

در این پایان نامه نشان می دهیم تحت شرایط مناسبی، توابع مجموعه ای مقداری که در شمول های خطی کلی صدق می کنند، انتخاب های خطی دارند. همچنین به بررسی شرایط مطلوب برای وجود انتخابهای جمعی از توابع مجموعه مقدار ‎$ (alpha,eta) $-‎زیرجمعی و زبرجمعی می پردازیم. سرانجام انتخاب های خطی توابع مجموعه ای مقدار صادق در شمول خطی تک متغیره و نیز دو متغیره از گروهواره های مربع متقارن را مورد مطالعه قرار خواهیم ...

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

چکیده ندارد.

نقش برجستة آنوبانی­نی در شهرستان سرپل­ ذهاب از جملة قدیمی­ترین نقوش برجستة سنگی در ایران است که در سال 1836 راولینسون آن را شناسایی کرد و در سال 1896 دمورگان نخستین طرح را از آن منتشر نمود. این نقش برجسته در امتداد شاهراه مهم و راهبردی معروف به شاهراه خراسان بزرگ قرار دارد که ارتفاعات زاگرس مرکزی را به دشت­های پست میانرودان متصل می­کند. وجود یک کتیبه در زیر این نقش بر اهمیت آن افزوده است. این ک...

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

دیوار بزرگ گرگان از شرق دریای خزر آغاز می‌شود و بعد از عبور از شمال آق‌قلعه، گمیشان و شمال گنبد تا کوه‌های گلیداغ در شمال شرق کلاله ادامه می‌یابد و در کوه‌های پیش‌کمر (ترکمن) محو می‌شود.  پژوهش‌‌های باستان‌شناسی به‌منظور شناسایی و به نقشه کشیدن دیوار گرگان 120 سال پیش ازسوی ژاک دمورگان آغاز شد.سپس آرندر۱۳۱۲، اریک اشمیت در ۱۳۱۶، محمد یوسف‌کیانی در ۱۳۵۰و دیگران تا سال 1357 آن را ادامه دادند. از ۱...