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