Mantiq ilmi tarixi va asosiy qonunlari haqida ma'lumotlar. Aristotel bilan boshlang'ich, Ibn Sino va Forobiy davrida rivojlanib, 19-asrda matematik mantiq va 20-asrda kompyuter fanlari bilan integratsiya qilingan