Εισαγωγή στην Πληροφορική. Αλγόριθμοι και Δομές Δεδομένων, Προγράμματα, Γλώσσες Προγραμματισμού. Σχεδίαση, Κωδικοποίηση, Επαλήθευση. Απόδειξη Ορθότητας με Αξιωματική Σημασιολογία, Τεκμηρίωση. Η Γλώσσα Προγραμματισμού C. Απλοί τύποι δεδομένων, Σταθερές και Μεταβλητές, Εκφράσεις, απλές Εντολές. Δομές Ελέγχου, Συναρτήσεις και Διαδικασίες, πέρασμα Παραμέτρων, Επανάληψη και Αναδρομή. Έλεγχος Προγράμματος. Εμβέλεια και Διάρκεια Ζωής Μεταβλητών. Ανάπτυξη Προγραμμάτων με Δομημένο τρόπο. Σύνθετες Δομές Δεδομένων και εφαρμογές: Πίνακες, Εγγραφές, Δείκτες, Συνδεδεμένες Λίστες. Επεξεργασία Αρχείων.
Μετά την επιτυχή παρακολούθηση του μαθήματος ένας φοιτητής θα μπορεί να:
Συνεχής Αξιολόγηση μέσω 5 Προόδων/Εργασιών = 100% ή Τελική Εξέταση = 100%