|
Εισαγωγή στην Πληροφορική. Αλγόριθμοι και δομές δεδομένων, προγράμματα, γλώσσες
προγραμματισμού. Προδιαγραφές, σχεδίαση, κωδικοποίηση, επαλήθευση, απόδειξη ορθότητας
με αξιωματική σημασιολογία, τεκμηρίωση, συντήρηση προγραμμάτων. Η γλώσσα
προγραμματισμού Pascal. Απλοί τύποι δεδομένων, σταθερές και μεταβλητές, εκφράσεις, απλές
εντολές. Δομές ελέγχου, συναρτήσεις και διαδικασίες, πέρασμα παραμέτρων, επανάληψη και
αναδρομή. Σύνθετες δομές δεδομένων και εφαρμογές: πίνακες, εγγραφές, σύνολα, δείκτες,
συνδεδεμένες λίστες, δέντρα.
Εργαστήριο: Μια σειρά προβλημάτων που θα λυθούν με προγράμματα Pascal. |