M2815 Συμβολικός Υπολογισμός
Τμήμα Μαθηματικών
Πανεπιστήμιο Κρήτης
Χειμερινό Εξάμηνο 2011,
Ακαδ. Έτος 2011-2012.
Διδάσκων : Γ. Ζουράρης.
Ώρες Διδασκαλίας : Δευτέρα 15.00-17.00 και Τρίτη 15.00-17.00.
Ώρες Γραφείου : Δευτέρα 13.15-15.00 και Τρίτη 17.15-18.30.
Χώρος Διδασκαλίας: Εργαστήριο Ηλεκτρονικών Υπολογιστών Γ209
(Πτέρυγα Γ στο Προκατασκευασμένο Κτήριο του
Πανεπιστημίου Κρήτης στη Λ. Κνωσσού).
Προαπαιτούμενα: Μ1222 Άλγεβρα.
Συνιστώμενα: M3122 Γλώσσα Προγραμματισμού, Μ1122 Γραμμική Άλγεβρα Ι,
Μ1212 Γραμμική Άλγεβρα ΙΙ, Μ1111 Απειροστικός Ι.
Ύλη (από τον Οδηγό Σπουδών):
- Εξοικείωση με την MAPLE. Γενικές εντολές χειρισμού φύλλων
εργασίας.
- Αριθμητικός υπολογισμός παραστάσεων. Ειδικές συναρτήσεις
(τριγωνομετρικές συναρτήσεις, εκθετική, λογάριθμος).
- Παραστάσεις και πολυώνυμα.
- Συμβολική διαφόριση και ολοκλήρωση. Μελέτη καμπύλης.
- Σχεδιασμός καμπυλών, εύρεση εφαπτομένων σε σημείο επί
της καμπύλης και από σημείο εκτός της καμπύλης.
- Σχολιασμός
των προβλημάτων που ανακύπτουν με τη χρήση της εντολής
fsolve με δύο μεταβλητές και εναλλακτικές μέθοδοι.
- Εύρεση ριζών πολυωνύμου. Παραγοντοποίηση και αναγωγιμότητα.
- Γραμμική άλγεβρα: Πίνακες, χειρισμός πινάκων,
εύρεση αντιστρόφου, εύρεση βάσης του χώρου γραμμών
και στηλών, απαλοιφή, εύρεση ορθοκανονικής βάσης.
- Συμβολικός υπολογισμός σε πεπερασμένες επεκτάσεις των ρητών αριθμών.
Τετραγωνικά σώματα.
- Υπολογισμός με ακεραίους. Αριθμητική modulo m.
Ταχεία ύψωση σε δύναμη. Ρίζες modulo m. Εφαρμογή:
έλεγχος πρώτων αριθμών με επιλογή τυχαίων αριθμών,
στοιχειώδεις εκτιμήσεις φραγμάτων της πολυπλοκότητας.
Εφαρμογή: Κρυπτογραφία με τη μέθοδο RSA και παραδείγματα.
Πηγές:
-
Εισαγωγή στη MAPLE
(Ομάδα Εκπαίδευσης Υπολογιστικού Κέντρου Κρήτης).
- The Maple Handbook (Maple V, Release 4), Darren Redfern,
1996, Springer-Verlag (ISBN 0-387-94538-5).
- Maple V Programming Guide, M.B. Monagan, K.O. Geddes, K.M. Heal,
G. Labahn and S.M. Vorkoetter, 1996, Springer-Verlag
(ISBN 0-387-94537-7).
- Maple V Learning Guide, K.H. Heal, M.L. Hansen and K.M. Rickard,
Springer-Verlag (ISBN 0-387-94536-9).
- Algorithmic Number Theory, vol. 1, E. Bach and J. Shallit,
The MIT Press, 1996 (ISBN 0-262-02405-5).
- Ιστοσελίδα Θ. Γαρεφαλάκη .
- Wikipedia .
Ημερολόγιο μαθήματος
Εργαστηριακές Ασκήσεις
Σύστημα Βαθμολογίας: 40% B + 60% T, όπου B είναι ο
βαθμός των εργαστηριακών ασκήσεων και Τ o βαθμός της
τελικής εξέτασης που θα γίνει στο εργαστήριο.
Τελική Εξέταση (Εξεταστική Ιανουαρίου-Φεβρουαρίου 2012):
Η εξέταση του μαθήματος θα γίνει
την Κυριακή 5 Φεβρουαρίου 2012 μεταξύ
10.00-13.00
στο Εργαστήριο Ηλεκτρονικών Υπολογιστών Γ209 (Πτέρυγα
Γ στο Προκατασκευασμένο
Κτήριο του Πανεπιστημίου Κρήτης στη Λ. Κνωσσού).
Βαθμοί:
Βαθμοί Εργαστηριακών Ασκήσεων
Τελευταία Ενημέρωση : 26-1-2012 (19:38)