Noravshan mantiq (formal yoki formalizatsiya qilingan mantiq) matematika va informatika sohalarida muhim o‘rin tutadigan nazariya bo‘lib, u axborotning tuzilishi va uni qayta ishlashning asosiy qoidalarini o‘rgatadi