Προαιρετικές Εργασίες για τα μαθήματα Μαθηματική Λογική και Τεχνητή Νοημοσύνη