Εισαγωγή στην Επιστήμη της Πληροφορικής (ΜΑΥ242)
Περιγράμματα Προπτυχιακών Μαθημάτων - Τμήμα Μαθηματικών
Γενικά
Σχολή | Σχολή Θετικών Επιστημών |
---|---|
Τμήμα | Τμήμα Μαθηματικών |
Επίπεδο Σπουδών | Προπτυχιακό |
Κωδικός Μαθήματος | MAY242 |
Εξάμηνο | 2 |
Τίτλος Μαθήματος | Εισαγωγή στην Επιστήμη της Πληροφορικής |
Αυτοτελείς Διδακτικές Δραστηριότητες | Διαλέξεις και Εργαστηριακές Ασκήσεις (Εβδομαδιαίες Ώρες Διδασκαλίας: 5, Πιστωτικές Μονάδες: 7.5) |
Τύπος Μαθήματος | Γενικού Υποβάθρου |
Προαπαιτούμενα Μαθήματα | |
Γλώσσα Διδασκαλίας και Εξετάσεων | Ελληνική |
Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus | Ναι (στην Αγγλική γλώσσα) |
Ηλεκτρονική Σελίδα Μαθήματος (URL) | Δείτε το eCourse, το Σύστημα Διαχείρισης Μάθησης του Πανεπιστημίου Ιωαννίνων. |
Περιεχόμενο Μαθήματος
Το μάθημα αποτελεί την εισαγωγή στην επιστήμη των Η/Υ και της Πληροφορικής. Εστιάζεται κυρίως στη διαδικασία αλγοριθμοποίησης για την επίλυση απλών και σύνθετων μαθηματικών προβλημάτων και παρέχει βασικές τεχνικές προγραμματισμού με τη χρήση μιας γλώσσας προγραμματισμού υψηλού επιπέδους όπως η C/C++. Παράλληλα, αναλύει τα βασικά θεσειακά συστήματα αρίθμησης, παρέχει τις βασικές μαθηματικές πράξεις στα διαφορετικά αριθμητικά συστήματα και αναφέρεται στην αναπαράσταση πληροφορίας στον Η/Υ. Ταυτόχρονα, παρέχει βασικές έννοιες μαθηματικής λογικής, όπως της άλγεβρας Boole, και αρχές που διέπουν τη σημασιολογική και συντακτική προσέγγιση της προτασιακής λογικής.
Μετά την ολοκλήρωση του μαθήματος ο φοιτητής / τρια:
- Αναγνωρίζει διαφορετικά αριθμητικά συστήματα και έχει τη δυνατότητα να επεξεργάζεται αναπαραστάσεις αριθμών σε ηλεκτρονικούς υπολογιστές.
- Γνωρίζει βασικές έννοιες και θεωρήματα προτασιακής λογικής, έχει τη δυνατότητα να χειρίζεται νόμους της προτασιακής λογικής και αντιλαμβάνεται την τυπική απόδειξη λογικών εκφράσεων μέσα από τη συντακτική προσέγγιση.
- Μπορεί να περιγράψει βασικούς αλγορίθμους για την επίλυση απλών και σύνθετων μαθηματικών προβλημάτων. Επίσης, μπορεί να προγραμματίσει χρησιμοποιώντας τις βασικές δυνατότητες μιας γλώσσας προγραμματισμού (C/C++).
Στο μάθημα περιλαμβάνονται εργαστηριακές ασκήσεις στις οποίες η συμμετοχή είναι υποχρεωτική. |- ! Γενικές Ικανότητες |
- Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
- Προαγωγή ελεύθερης, δημιουργικής και επαγωγικής σκέψης
- Αυτόνομη εργασία
- Ανάλυση απαιτήσεων για επίλυση προβλημάτων
- Ανάπτυξη αλγοριθμικής σκέψης
- Ικανότητα αφαίρεσης στη μοντελοποίηση προβλημάτων.
Περιεχόμενο Μαθήματος
- Εισαγωγή στα βασικά Αριθμητικά Συστήματα
- Βασικές πράξεις στα αριθμητικά συστήματα
- Αναπαράσταση δυαδικών αριθμών
- Εισαγωγή στη Μαθηματική Λογική (Άλγεβρα boole, Πίνακες Αληθείας)
- Σημασιολογική προσέγγιση: νόμοι προτασιακής λογικής, κανονική διαζευτική/συζευτική μορφή, πλήρη σύνολα, θεώρημα συμπάγειας
- Συντακτική προσέγγιση: αξιωματικά σχήματα, κανόνας Modus Ponens, μεταθεωρήματα (απαγωγής σε άτοπο, αντιθετοαναστροφή), θεωρήματα εγκυρότητας και πληρότητας.
- Βασικές Τεχνικές Προγραμματισμού με τη γλώσσα προγραμματισμού C++.
- Είσοδος/Έξοδος δεδομένων, τύποι δεδομένων & μεταβλητών
- Ροή ελέγχου if/else
- Δομές επανάληψης: for, while, do-while
- Αμυντικός Προγραμματισμός
- Πίνακες (μονοδιάστατοι και πολυδιάστατοι)
Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση
Τρόπος Παράδοσης |
| ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών |
| ||||||||||
Οργάνωση Διδασκαλίας |
| ||||||||||
Αξιολόγηση Φοιτητών |
|
Συνιστώμενη Βιβλιογραφία
Δείτε την υπηρεσία Εύδοξος ή το τοπικό αποθετήριο του Τμήματος Μαθηματικών για τα παρεχόμενα συγγράμματα ανά ακαδημαϊκό έτος. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:
- Η. Deitel and P. Deitel, C++ Προγραμματισμός 6η Εκδοση, Εκδόσεις Μ. Γκιούρδας, 2013. Κωδικός Ευδ: 12536819.
- Κωδικός Ευδόξου [77106820]: Διακριτά μαθηματικά και εφαρμογές τους, 8η Έκδοση, Kenneth H. Rosen
- Κωδικός Ευδόξου [86055409]: Διακριτά μαθηματικά, Hunter David (Συγγρ.)
- Κωδικός Ευδόξου [77109607]: Εισαγωγή στην πληροφορική, Evans Alan, Martin Kendall, Poatsy Mary Anne.
- Ζάχος, Ε., Παγουρτζής, Α., Σούλιου, Θ., 2015. Θεμελίωση επιστήμης υπολογιστών. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/545
- [Περιοδικό / Journal] IEEE Transactions on Computers