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

دراین پایان نامه پس از آشنایی با مشبکه ها، توپولوژی‏، مباحث جبری منطق دو ارزشی ‎‏، به مطالعه و بررسی مفاهیم ‎$ bl $‎-جبرها و حاصل ضرب های بولی ضعیف ‎روی‎ آن ها می پردازیم. همچنین حاصل ضرب های بولی ‎$ bl $‎-زنجیرها، حاصل ضرب های بولی ضعیف ‎$ bl $‎-جبرهای موضعی و کامل و تجزیه ناپذیری آن ها را بررسی می کنیم. در پایان این مفاهیم را به موضوعات دیگر توسیع داده و قضیه و مثال ها‏یی در این خصوص ارائه خو...

- برای یک بردار ویژه مانند ? ، از ماتریس a روی مشبکه l ، چه اسکالرهایی در l می توانند مقادیر ویژه ماتریس a وابسته به ? باشند. 2- برای یک مقدار ویژه مانند ? از ماتریس a روی مشبکه l ، چه بردارهایی می توانند بردار ویژه a وابسته به مقدار ویژه ?باشند. 3- برای یک بردار?و اسکالر? در l ، ماتریس هایی را که? بردار ویژه آن ، وابسته به ? است را بیابیم.

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

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

در این پایان نامه بازی ریزش چیپ ‎ ( cfg) ‎ را به عنوان یک مدل کلی از مدل های پویای گسسته مطالعه می کنیم‎.‎ سپس انواع مختلفی از این بازی را معرفی کرده و گراف هایی را که فضای پیکربندی بازی روی آن ها تشکیل مشبکه می دهند بررسی می کنیم‎.‎ در ادامه نشان می دهیم که فضای پیکربندی هر ‎cfg‎ همگرا‎،‎ یک مشبکه است‎.‎ همچنین مشبکه های القا شده توسط ‎ cfg ‎ را با مشبکه های موضعا توزیعی بالایی‎ (uld) ، توزیعی...

در این پایان¬نامه ساختارهای مشبکه را در مخروط¬های موضعاً محدب بررسی می¬کنیم؛ یعنی مخروط¬های مرتبی که دارای توپولوژی موضعاً محدب می¬¬باشند. مثال¬هایی از اعداد حقیقی توسیع یافته ، مخروط¬هایی از توابع - مقدار و مخروط¬هایی از زیرمجموعه¬های محدب یک فضای برداری موضعاً محدب آورده می¬شود. مفهوم کامل ترتیبی، که در آن زیرمجموعه¬های از پایین کراندار دارای سوپریمم و اینفیمم می¬باشند، جالب توجه است. در نهایت ه...

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

در ابتدای این پایان نامه به مقدماتی از جبر جامع وساختارهای جبری از جمله ‎$ bl $‎ - جبر، ‎$ mv $‎ - جبر، شبه ‎$ bl $‎ - جبر و شبه ‎$ mv $‎ - جبر می پردازیم. در ادامه به بیان مشبکه ی مانده و خاصیت های آن پرداخته و سپس فیلتر های مشبکه ی مانده و مشبکه ی فیلتر های مشبکه ی مانده را بررسی می کنیم. سپس مشبکه ی مانده ی موضعی و مشبکه ی مانده ی کامل را بیان کرده و رادیکال را روی م...

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