məntiqi sintaksis



facebook twitter əjdaha lazımdı   izlə   lələ   mən   googllalink

    1. müəyyən hesablama ifadələrinin qurulmasını müəyyən edən qaydalar sistemi. metaməntiqin interpretasiya olunmamış hesablamaların sturukturunu və xassələrini öyrənən bölməsi. məntiqi hesablamaların sintaktik nəzərdən keçirilməsində meydana gələn əsas məsələlər ziddiyətsizlik*, tamlıq*, asılı olmamaq*, həlledicilik*, sübutluluq problemlərindən ibarətdir. sübutluluq problemi hər bir sübut olunan* mülahizə üçün sübutunu quran alqoritmin tapılmasından ibarətdir.


sən də yaz!