45020

دانشگاه صنعتي اصفهان ، دانشكده رياضي

فوق ليسانس

0

1376

علوم پايه

در سال 1969، لاور نماد فراآموزه را براي فرموله سازي كاتگوريكي منطق به كار برد. در اين رساله كه عمدتا بر پايه مقالات مكاي ( 1 و 2 ) تدوين شده است ، نماد معادل فراآموزه يعني فيبراسيونها را به كار برده ام . در فصل اول مفهوم فيبراسيون و چند نوع خاص از فيبراسيونها را ارايه داده و همچنين شرح داده ام كه چگونه نماد فيبراسيون ، چهارچوب مناسبي براي منطق محمولي انتويسيونيستي به دست مي دهد...

1-1

فارسي