διαγωνισμός μαθηματικής λογικής