پديد آورنده :
رئوفي ، محمدرضا
عنوان :
فرموله سازي فيبراسيوني منطق محمولي انتوئيسونيستي ؟ تماميت متناظر با قضاياي گودل ، كريپكه و لوشلي
مقطع تحصيلي :
كارشناسي ارشد (رياضي محض )
محل تحصيل :
اصفهان : دانشگاه صنعتي اصفهان . دانشكده رياضي
صفحه شمار :
[الف ]، هفت ، 161، ]I[ص .
يادداشت :
استاد مشاور: حسين خبازيان ، استاد ممتحن : محمداردشير بهرستاقي ,چكيده به فارسي و انگليسي
استاد راهنما :
محمود بينايمطلق
توصيفگر ها :
فيبراسيوني ,منطق محمولي ,انتوئيسونيستي ,گودل ,كريپكه ,لوشلي ,آدرژوئن ,مورفيسم ,كاتگوريك ,كارتزين
چكيده فارسي :
در سال 1969، لاور نماد فراآموزه را براي فرموله سازي كاتگوريكي منطق به كار برد. در اين رساله كه عمدتا" بر پايه معادلات مكاي ([1] و [2]) تدوين شده است ، نماد معادل فراآموزه يعني فيبراسيونها را به كار برده ام . در فصل اول مفهوم فيبراسيون و چند نوع خاص از فيبراسيونها را ارائه داده و همچنين شرح داده ام كه چگونه نماد فيبراسيون ، چهارچوب مناسبي براي منطق محمولي انتونسيونيستي به دست مي دهد. سپس در فصل هاي بعدي قضايايي متناظر با قضاياي تماميت گودل ، كريپكه و لوشلي ارائه شده است كه نمايش مناسبي براي قضاياي تماميت ذكر شده در چهارچوب فيبراسيوني مي باشند. فصل دوم به قضيه تماميت گودل ، فصل پنجم به قضيه تماميت كريپكه و فصل ششم به قضيه تماميت لوشلي اختصاص دارد. در فصل سوم كه تكنيكي ترين فصل اين رساله مي باشد قضايايي اثبات خواهد شد كه از آنها عمدتا" در فصل پنجم استفاده شده است . فصل چهارم به معرفي چند گونه شي ء آزاد اختصاص دارد. خلاصه مندرجات : ... مفاهيم پايه ,تماميت گودل ,بعضي ساختارهاي كاتگوريكي ,اشياء آزاد,تماميت كريپكه ,تماميت لوشلي ...
استاد راهنما :
محمود بينايمطلق
