عنوان :
عدم كمال و فرمول باركان
پديدآورندگان :
دكتر سيدرسول ميرقادري و دكتر محمود بيناي مطلق نويسنده , ياراحمديان شنتيا نويسنده
نام دانشگاه :
اصفهان : دانشگاه صنعتي اصفهان . دانشكده رياضي
رشته :
كارشناسي ارشد (رياضي محض )
كليدواژه زبان طبيعي :
عدم كمال , }LPC{ , حساب قضايا , دستگاهها , كمال , باركان
چكيده :
در رساله حاضر ابتدا در دو فصل برخي مقدمات و نتايج اوليه در منطق جهت را مصرفي نموده و سپس در فصل سوم منطق جهت محمولي معرفي خواهد شد پس از آن در فصل چهارم به معرفي برخي از جديدترين كارهاي انجام شده در اين رشته كه بر اساس مقالات پرفسور كرسول در سال 1995 بوده و عمدتا" در مورد كمال و عدم كمال دستگاههاي مختلف منطق جهت محمولي است ، خواهيم پرداخت كه در آن علاوه بر اين بحث اهميت فرمول هاي باركان و نقش آن در كمال و عدم كمال نيز مورد بحث قرار مي گيرد. خلاصه مندرجات : ... دستگاههاي مختلف نرمال گزاره اي در منطق جهت +مدل هاي كانونيك -كمال -عدم كمال +معرفي منطق جهت محمولي +عدم كمال و فرمول باركان ...
يادداشت :
مركز اسناد و آمار
