Фекер һәм предикат иҫәпләмәләре формулаларын иҫбатлау ысулдары эшләнә , улар нигеҙендә төҙөлгән алгоритмдарҙың һөҙөмтәле булыуы тикшерелә һәм уны арттырыу алымдары тәҡдим ителә ( У.З.Гәрәйшина , Р.Х.Зарипова ) .