منطق علوم كامپيوتر در سيماي قرآن مجيد

يكي از ابزارهاي قرآن پژوهي ، منطق و استدلال است ، در اين نوشتار ضمن بيان چهار منطق رايج در علوم كامپيوتر باينري ، فازي، گزاره ها ، توصيفي تلاش دارد مصاديق كاربردي منطق ها را در قرآن مطرح نمايد و در آخر با طرح مثالي از قرآن هر چهار منطق را به چالش مي كشاند. نويسنده با طرح اين موضوع ، سعي دارد بگويد منطق به كار رفته در قرآن بالاتر و فراتر از منطق هايي است كه شناخته شده و براي نمونه چهار منطق از علوم كامپيوتر را به چالش گاه مي آورد. در اين مقاله كه به روش كتابخانه اي نگاشته شده ، هر فصل مشتمل بر تعريف ، تاريخچه ، كاربرد و مفاهيم پايه اي سر فصل است و در آخر فصل مصاديق قرآني مطابق با سر فصل آمده است . نهايتا فصل آخر به موضوع اصلي مقاله مي پردازد.