• Εισαγωγή στα βασικά Αριθμητικά Συστήματα
i) Βασικές πράξεις στα αριθμητικά συστήματα
ii) Αναπαράσταση δυαδικών αριθμών
• Εισαγωγή στη Μαθηματική Λογική (Άλγεβρα boole, Πίνακες Αληθείας)
i) Σημασιολογική προσέγγιση: νόμοι προτασιακής λογικής, κανονική
διαζευτική/συζευτική μορφή, πλήρη σύνολα, θεώρημα συμπάγειας
ii) Συντακτική προσέγγιση: αξιωματικά σχήματα, κανόνας Modus Ponens,
μεταθεωρήματα (απαγωγής σε άτοπο, αντιθετοαναστροφή), θεωρήματα
εγκυρότητας και πληρότητας.
• Βασικές Τεχνικές Προγραμματισμού με τη γλώσσα προγραμματισμού C++.
i) Είσοδος/Έξοδος δεδομένων, τύποι δεδομένων & μεταβλητών
ii) Ροή ελέγχου if/else
iii) Δομές επανάληψης: for, while, do-while
iv) Αμυντικός Προγραμματισμός
v) Πίνακες (μονοδιάστατοι και πολυδιάστατοι)
Τύπος Μαθήματος
Γενικού Υποβάθρου
Συγγράμματα
• W. Savitch, Πλήρης C++, Εκδόσεις Τζιόλα, 2011. Κωδικός Ευδ: 18548892.
• Η. Deitel and P. Deitel, C++ Προγραμματισμός 6η Εκδοση, Εκδόσεις Μ. Γκιούρδας,
2013. Κωδικός Ευδ: 12536819.
• C++ Για Μαθηματικούς: Μια Εισαγωγή για Σπουδαστές και Καθηγητές, Edward
Scheinerman.
• Κωδικός Ευδόξου [77106820]: Διακριτά μαθηματικά και εφαρμογές τους, 8η Έκδοση,
Kenneth H. Rosen
• Κωδικός Ευδόξου [86055409]: Διακριτά μαθηματικά, Hunter David (Συγγρ.)
• Κωδικός Ευδόξου [77109607]: Εισαγωγή στην πληροφορική, Evans Alan, Martin
Kendall, Poatsy Mary Anne.
-Πρόσθετο Διδακτικό Υλικό:
• Ζάχος, Ε., Παγουρτζής, Α., Σούλιου, Θ., 2015. Θεμελίωση επιστήμης υπολογιστών.
[ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο:
http://hdl.handle.net/11419/545
-Συναφή Επιστημονικά Περιοδικά:
• IEEE Transactions on Computers.
Προαπαιτούμενα Μαθήματα
–
