Diskret riyaziyyat və riyazi məntiq