Λογική και Θεωρία Αλγορίθμων και Υπολογισμού