Introduction to Computer Science (MAY242): Διαφορά μεταξύ των αναθεωρήσεων
Χωρίς σύνοψη επεξεργασίας |
|||
(16 ενδιάμεσες αναθεωρήσεις από τον ίδιο χρήστη δεν εμφανίζεται) | |||
Γραμμή 1: | Γραμμή 1: | ||
[[ | * [[Εισαγωγή στην Επιστήμη της Πληροφορικής (ΜΑΥ242)|Ελληνική Έκδοση]] | ||
{{Course-UnderGraduate-Top-EN}} | |||
{{Menu-OnAllPages-EN}} | |||
=== General === | === General === | ||
Γραμμή 26: | Γραμμή 28: | ||
! Course Title | ! Course Title | ||
| | | | ||
Introduction to | Introduction to Computer Science | ||
|- | |- | ||
! Independent Teaching Activities | ! Independent Teaching Activities | ||
Γραμμή 48: | Γραμμή 50: | ||
|- | |- | ||
! Course Website (URL) | ! Course Website (URL) | ||
| | | See [https://ecourse.uoi.gr/ eCourse], the Learning Management System maintained by the University of Ioannina. | ||
|} | |} | ||
Γραμμή 57: | Γραμμή 59: | ||
! 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: | |||
* Recognize different numbering systems and process number representations on computer systems. | |||
* Understand basic concepts and theorems of propositional logic, make use of metatheorems of propositional logic and understand the formal proof of logical expressions through the syntactic approach. | |||
* Describe basic algorithms for solving simple and complex mathematical problems and implement algorithms by using basic concepts of a programming language (C/C ++). | |||
* | The course includes laboratory exercises in which the participation is obligatory. | ||
* | |||
|- | |- | ||
! General Competences | ! General Competences | ||
| | | | ||
* Search for, analysis and synthesis of data and information, with the use of the necessary technology | |||
* Working independently | * Working independently | ||
* | * Team work | ||
* | * Project planning and management | ||
* | * Development of algorithmic thinking | ||
|} | |} | ||
=== Syllabus === | === 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 | |||
# Input / Output | *# Flow control if/else | ||
# | *# Loop structures: for, while, do-while | ||
# | *# Defensive Programming | ||
# | *# Arrays (one dimension and multidimensions) | ||
# Arrays | |||
=== Teaching and Learning Methods - Evaluation === | === Teaching and Learning Methods - Evaluation === | ||
Γραμμή 97: | Γραμμή 95: | ||
! Delivery | ! Delivery | ||
| | | | ||
Lectures, labs session | |||
|- | |- | ||
! Use of Information and Communications Technology | ! Use of Information and Communications Technology | ||
| | | | ||
* Projector and interactive board during lectures. | |||
* Computer for demonstration of programming. | |||
* Computers in laboratories for development and testing of programs. | |||
* Course website maintenance. | |||
* Announcements and posting of teaching material (lecture slides and notes, programs). | |||
* Assessment marks via the ecourse platform by UOI. | |||
|- | |- | ||
! Teaching Methods | ! Teaching Methods | ||
Γραμμή 124: | Γραμμή 127: | ||
! Student Performance Evaluation | ! Student Performance Evaluation | ||
| | | | ||
Written final exam (70%) | Written final exam (70%) | ||
* | * Multiple choice questions. | ||
* | * Develop programs and Implementation. | ||
Laboratory exercises (30%). | Laboratory exercises (30%). | ||
* Multiple choice questions. | |||
* Develop programs and Implementation. | |||
|} | |} | ||
=== Attached Bibliography === | === Attached Bibliography === | ||
See [https://service.eudoxus.gr/public/departments#20 Eudoxus] | <!-- In order to edit the bibliography, visit the webpage --> | ||
<!-- https://wiki.math.uoi.gr/index.php/%CE%A0%CF%81%CF%8C%CF%84%CF%85%CF%80%CE%BF:MAY242-Biblio --> | |||
See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site] or the [https://cloud.math.uoi.gr/index.php/s/62t8WPCwEXJK7oL local repository] of Eudoxus lists per academic year, which is maintained by the Department of Mathematics. Books and other resources, not provided by Eudoxus: | |||
{{MAY242-Biblio}} |
Τελευταία αναθεώρηση της 12:23, 15 Ιουνίου 2023
- Ελληνική Έκδοση
- Undergraduate Courses Outlines
- Outline Modification (available only for faculty members)
- Department of Mathematics
- Save as PDF or Print (to save as PDF, pick the corresponding option from the list of printers, located in the window which will popup)
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 or the local repository of Eudoxus lists per academic year, which is maintained by the Department of Mathematics. 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