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