Undergraduate Compulsory 1011
Γενικά
| Σχολή | Σχολή Θετικών Επιστημών |
|---|---|
| Τμήμα | Τμήμα Μαθηματικών |
| Επίπεδο Σπουδών | Προπτυχιακό |
| Κωδικός Μαθήματος | MAY242 |
| Εξάμηνο | 2 |
| Τίτλος Μαθήματος | Εισαγωγή στην Επιστήμη της Πληροφορικής |
| Αυτοτελείς Διδακτικές Δραστηριότητες | Διαλέξεις και Εργαστηριακές Ασκήσεις (Εβδομαδιαίες Ώρες Διδασκαλίας: 5, Πιστωτικές Μονάδες: 7.5) |
| Τύπος Μαθήματος | Επιστημονικής Περιοχής |
| Προαπαιτούμενα Μαθήματα | |
| Γλώσσα Διδασκαλίας και Εξετάσεων | Ελληνική |
| Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus | Ναι (στην Αγγλική γλώσσα) |
| Ηλεκτρονική Σελίδα Μαθήματος (URL) | Δείτε το eCourse, την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων. |
Μαθησιακά Αποτελέσματα
| Μαθησιακά Αποτελέσματα |
Το μάθημα αποτελεί την εισαγωγή στην επιστήμη της Πληροφορικής. Εστιάζεται κυρίως στη διαδικασία αλγοριθμοποίησης για την επίλυση απλών και σύνθετων μαθηματικών προβλημάτων και παρέχει βασικές τεχνικές προγραμματισμού με τη χρήση μιας γλώσσας προγραμματισμού υψηλού επιπέδους όπως η C/C++. Παράλληλα, αναλύει τα βασικά θεσειακά συστήματα αρίθμησης, παρέχει τις βασικές μαθηματικές πράξεις στα διαφορετικά αριθμητικά συστήματα και αναφέρεται στην αναπαράσταση πληροφορίας στον Η/Υ. Ταυτόχρονα, παρέχει βασικές έννοιες μαθηματικής λογικής, όπως της άλγεβρας Boole, και αρχές που διέπουν τη σημασιολογική και συντακτική προσέγγιση της προτασιακής λογικής. Μετά την ολοκλήρωση του μαθήματος ο φοιτητής / τρια:
Στο μάθημα περιλαμβάνονται εργαστηριακές ασκήσεις στις οποίες η συμμετοχή είναι υποχρεωτική. |
|---|---|
| Γενικές Ικανότητες |
|
Περιεχόμενο Μαθήματος
- Εισαγωγή στα βασικά Αριθμητικά Συστήματα
- Βασικές πράξεις στα αριθμητικά συστήματα
- Αναπαράσταση δυαδικών αριθμών
- Εισαγωγή στη Μαθηματική Λογική (Άλγεβρα boole, Πίνακες Αληθείας)
- Σημασιολογική προσέγγιση: νόμοι προτασιακής λογικής, κανονική διαζευτική/συζευτική μορφή, πλήρη σύνολα, θεώρημα συμπάγειας
- Συντακτική προσέγγιση: αξιωματικά σχήματα, κανόνας Modus Ponens, μεταθεωρήματα (απαγωγής σε άτοπο, αντιθετοαναστροφή), θεωρήματα εγκυρότητας και πληρότητας.
- Βασικές Τεχνικές Προγραμματισμού με τη γλώσσα προγραμματισμού C++.
- Είσοδος/Έξοδος δεδομένων, τύποι δεδομένων & μεταβλητών
- Ροή ελέγχου if/else
- Δομές επανάληψης: for, while, do-while
- Αμυντικός Προγραμματισμός
- Πίνακες (μονοδιάστατοι και πολυδιάστατοι)
Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση
| Τρόπος Παράδοσης |
| ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών |
| ||||||||||
| Οργάνωση Διδασκαλίας |
| ||||||||||
| Αξιολόγηση Φοιτητών |
|
Συνιστώμενη Βιβλιογραφία
Δείτε την υπηρεσία Εύδοξος. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:
General
| School |
School of Science |
|---|---|
| Academic Unit |
Department of Mathematics |
| Level of Studies |
Undergraduate |
| Course Code |
MAY242 |
| Semester | 2 |
| Course Title |
Introduction to Computer Science |
| Independent Teaching Activities |
Lectures and laboratory exercises (Weekly Teaching Hours: 5, Credits: 7.5) |
| Course Type |
General Background |
| Prerequisite Courses | - |
| Language of Instruction and Examinations |
Greek |
| Is the Course Offered to Erasmus Students |
Yes (in English) |
| Course Website (URL) | See eCourse, the Learning Management System maintained by the University of Ioannina. |
Learning Outcomes
| Learning outcomes |
This course offers an introduction to the Computer Science. It mainly focuses on how to algorithmically solve simple and complex mathematical problems. It provides basic programming techniques using a high-level programming language such as C/C ++. Moreover, the course analyzes the basic numbering systems, it provides the basic arithmetic operations in different numerical systems and refers to the representation of information on computer systems. Additionally, the course provides basic concepts of mathematical logic, such as Boolean algebra, and principles that govern the semantic and syntactic approach of propositional logic. Upon completion of the course, the students will be able to:
The course includes laboratory exercises in which the participation is obligatory. |
|---|---|
| General Competences |
|
Syllabus
- Introduction to Numerical Representation
- Arithmetic operations in numerical systems
- Representations of binary numbers
- Introduction to Mathematical Logic (Boolean Algebra)
- Semantic approach: principles of propositional logic, conjunctive normal form (CNF), complete sets, meta-theorems
- Syntactic approach: axioms, Modus Ponens rule, meta-theorems (abduction, inversion), validity and completeness theorems.
- Basic Programming Techniques with programming language C/C++
- Input/Output data, type of structures and variables
- Flow control if/else
- Loop structures: for, while, do-while
- Defensive Programming
- Arrays (one dimension and multidimensions)
Teaching and Learning Methods - Evaluation
| Delivery |
Lectures, labs session | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Use of Information and Communications Technology |
| ||||||||||
| Teaching Methods |
| ||||||||||
| Student Performance Evaluation |
Written final exam (70%)
Laboratory exercises (30%).
|
Attached Bibliography
See the official Eudoxus site. Books and other resources, not provided by Eudoxus:
- Η. 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