پديد آورنده :
زارع، مصطفي
عنوان :
قوانين پذيرفتني در منطق شهودي گزاره اي
مقطع تحصيلي :
كارشناسي ارشد
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
صفحه شمار :
هفت، 82ص .: مصور
استاد راهنما :
مجتبي آقايي
استاد مشاور :
محمود بينامطلق
توصيفگر ها :
زبان منطق گزاره اي/ سيستم هاي استنتاج طبيعي ، هيلبرتي ،گنتسني / تعابيرمعنايي كريپكي / منطق هاي شهودي، كلاسيك / الگوريتم تفكيك / پايه و زيرپايه /
تاريخ نمايه سازي :
23/ 08/ 83
استاد داور :
مرتضي منيري، بيژن طائري
تاريخ ورود اطلاعات :
1396/10/23
چكيده فارسي :
به فارسي (قابل رويت درقسمت "نسخه ديجيتال ") و
استاد راهنما :
مجتبي آقايي
استاد مشاور :
محمود بينامطلق
استاد داور :
مرتضي منيري، بيژن طائري
