Мазкур ўқув кўлланмада, биринчи навбатда, формал мантикнинг хозирги пайтдаги ўзига хослигини белгилаб берадиган формаллаш ган тилини нисбатан чуқуррок ёритишга, унинг ёрдамида мулохазалар мантиғи ва предикатлар тўғрисида баён қилинган.
O'zbekiston Respublikasi,Andijon shahar, Do'stlik ko'chasi, 4-uy
adpi@edu.uz
+998(74) 224 2001
© ADPI ARM. Barcha huquqlar himoyalangan.