Μέθοδοι αποδείξεων µε έµφαση στην επαγωγή και τη δομική επαγωγή. Διαγωνιοποίηση, εξαντλητική μέθοδος, Αρχή του Περιστερώνα, κατασκευαστικές και υπαρξιακές αποδείξεις. Αριθµητική και Θεωρία Αριθµών: πρώτοι αριθµοί και κρυπτογραφία. Ανάλυση αλγορίθμων και ασυμπτωτική πολυπλοκότητα. Αναδρομικές εξισώσεις. Πιθανοτικές µέθοδοι. Στοιχεία θεωρίας γράφων. Υπολογισιµότητα.