Περιγραφή

Λογικές προτάσεις. Προτασιακός Λογισμός. Ταυτολογίες. Bασική θεωρία συνόλων. Ένωση, τομή, διαφορά, συμμετρική διαφορά και ιδιότητες των πράξεων αυτών. Δυναμοσύνολο και συμπλήρωμα συνόλου. Καρτεσιανό γινόμενο συνόλων. Η έννοια της συλλογής συνόλων. Σχέσεις. Σύνθεση σχέσεων. Ιδιότητες των σχέσεων. Ισοδυναμίες. Κλάσεις ισοδυναμίας. Σχέσεις διάταξης. Φράγματα και φραγμένα σύνολα. Σύνολα καλά διατεταγμένα. Αρχή της υπερπεπερασμένης επαγωγής. Συναρτήσεις. Βασικές έννοιες. Αμφιμονοσήμαντη συνάρτηση. Αντίστροφη συνάρτηση. Εικόνα και αντίστροφη εικόνα ενός συνόλου μέσω μιας συνάρτησης. Συναρτήσεις και διατεταγμένα σύνολα. Οικογένειες. Το σύνολο των πραγματικών αριθμών. Αξιωματική θεμελίωση. Το σύνολο των φυσικών αριθμών. Το σύνολο των ακεραίων αριθμών. Ρίζες μη αρνητικών πραγματικών αριθμών. Το σώμα των ρητών αριθμών. Το σύνολο των αρρήτων αριθμών. Ισοδύναμα του αξιώματος της πληρότητας. b-δική παράσταση πραγματικού αριθμού. Ισοδύναμα σύνολα. Τα τμήματα των φυσικών αριθμών. Πεπερασμένα σύνολα. Απέραντα σύνολα. Το θεώρημα των Schröder-Bernstein. Αριθμήσιμα σύνολα. Το πολύ αριθμήσιμα σύνολα. Υπεραριθμήσιμα σύνολα. Το Θεώρημα του Cantor. Το αξίωμα της επιλογής. Ισοδύναμα του αξιώματος της επιλογής. Η αναγκαιότητα της αξιωματικής θεμελίωσης των συνόλων και μία πρώτη προσέγγιση σ’ αυτήν.

Διδάσκοντες

• Α. Τόλιας
• Ε. Νικολιδάκης

Περίγραμμα Μαθήματος

Περιγραφή

Διαιρετότητα, ισοδυναμίες mod m, Kινέζικο Θεώρημα υπολοίπων, Aριθμητικές συναρτήσεις και αντιστροφή του Mobius. Θεωρήματα Fermat, Euler και Wilson. Aρχικές ρίζες mod p. Θεωρία δεικτών και τετραγωνικά υπόλοιπα. Εφαρμογές στην κρυπτογραφία.

Διδάσκοντες

• Α. Θωμά
• Σ. Παπαδάκης

Περίγραμμα Μαθήματος

Περιγραφή

Η Άλγεβρα των (m x n) πινάκων και εφαρμογές. Κλιμακωτοί και ισχυρά κλιμακωτοί πίνακες. Βαθμίδα πίνακα. Ορίζουσες. Αντίστοφος πίνακας. Γραμμικά συστήματα και εφαρμογές. Διανυσματικοί χώροι. Γραμμικές απεικονίσεις. Ο χώρος L(E,F) των γραμμικών απεικονίσεων. Υποχώροι. Βάσεις. Διάσταση. Βαθμίδα γραμμικής απεικόνισης. Θεμελιακή εξίσωση διάστασης και οι εφαρμογές της. Πίνακας γραμμικής απεικόνισης. Πίνακας αλλαγής βάσης. Ο ισομορφισμός L(E,F)?Mmxn(K). Ισοδύναμοι πίνακες. Όμοιοι πίνακες. Ορίζουσα ενός ενδομορφισμού. Άθροισμα και ευθύ άθροισμα υποχώρων.

Διδάσκοντες

• Ε. Κεχαγιάς
• Α. Μπεληγιάννης

Περίγραμμα Μαθήματος

Περιγραφή

Σειρές, σύγκλιση σειρών και κριτήρια σύγκλισης. Κριτήριo Dirichlet, κριτήριο λόγου, κριτήριο ρίζας, κριτήριο ολοκληρώματος. Εναλλάσουσες σειρές και θεώρημα Leibnitz. Απόλυτη σύγκλιση σειράς, αναδιατάξεις σειρών. Δυναμοσειρές, ακτίνα σύγκλισης δυναμοσειρών.

Ομοιόμορφη συνέχεια συναρτήσεων, ορισμός και ιδιότητες. Χαρακτηρισμός ομοιόμορφης συνέχειας με ακολουθίες. Ομοιόμορφη συνέχεια συνεχών συναρτήσεων ορισμένων σε κλειστό διάστημα.

Ολοκλήρωμα Riemann, ορισμός για φραγμένες συναρτήσεις σε κλειστό διάστημα. Κριτήριο Riemann, ολοκληρωσιμότητα των συνεχών συναρτήσεων. Αόριστο ολοκλήρωμα και θεμελιώδες θεώρημα του Απειροστικού Λογισμού. Θεώρημα μέσης τιμής του ολοκληρωτικού λογισμού. Παραγοντική ολοκλήρωση και ολοκλήρωση με αντικατάσταση. Ολοκληρώματα βασικών συναρτήσεων, ολοκλήρωση ρητών συναρτήσεων. Εφαρμογές του ολοκληρώματος. Γενικευμένα ολοκληρώματα και κριτήρια σύγκλισης αυτών. Σχέση γενικευμένων ολοκληρωμάτων και σειρών.

Πολυώνυμα Taylor, θεώρημα Taylor, μορφές του υπολοίπου Taylor. Σειρές Taylor και αναπτύγματα σε σειρά Taylor βασικών συναρτήσεων.

Διδάσκοντες

• Ε. Νικολιδάκης

Περίγραμμα Μαθήματος