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

Περιέχει:
Εισαγωγικές Εννοείς, Προτασιακή Λογική, Αποδεικτικά Συστήματα Προτασιακής Λογικής, Κατηγορηματική Πρωτοβάθμια Λογική, Πρωτοβάθμιες Θεωρίες, Bιβλιογραφία, Ευρετήριο.

Περιέχει: Βασικές έννοιες: Λογική και Αποδείξεις, Βασικές Δομές: Σύνολα, συναρτήσεις, ακολουθίες, αθροίσματα και πίνακες, Αλγόριθμοι, Θεωρία αριθμών και κρυπτογραφία, Επιλογή και αναδρομή, Απαρίθμηση, Διακριτή πιθανότητα, Προχωρημένες τεχνικές απαρίθμησης, Σχέσεις, Γραφήματα, Δένδρα, Άλγεβρα BOOLE, Μοντελοποίηση υπολογισμών, Απαντήσεις επιλεγμένων ασκήσεων, Παράρτημα 1: Αξιώματα για τους πραγματικούς αριθμούς και τους θετικούς ακεραίους, Παράρτημα 2: Εκθετικές και λογαριθμικές συναρτήσεις, Παράρτημα 3: Ψευδοκώδικας, Ευρετήριο.

Το βιβλίο αυτό αποτελείμια περιπλάνηση στον μαγικό κόσμο των μαθηματικών, που έρχεται να φωτίσει τα σκοτεινά σημεία της σχέσης που διέπει τους τρεις αριθμούς που αποτελούν τους όρους των ανεξάρτητων Πυθαγόρειων τριάδων.

Μια ξαφνική, απροσδόκητη βροχή µαταιώνει τα εκδροµικά σχέδια της Αθηνάς, κλονίζοντας την εµπιστοσύνη της προς τα µετεωρολογικά δελτία.

Αν βρίσκατε μια ξεχασμένη ομπρέλα στο λεωφορείο, τι πιθανότητες θα είχατε να βρείτε τον ιδιοκτήτη της τηλεφωνώντας σ’ έναν αριθμό στην τύχη;

Στο βιβλίο αυτό παρουσιάζονται βασικά θέματα του ολοκληρωτικού λογισμού συναρτήσεων πολλών μεταβλητών και της διανυσματικής ανάλυσης.

Σκοπός του βιβλίου είναι η εισαγωγή του αναγνώστη στα κυριότερα κεφάλαια της θεωρίας των μετρικών χώρων.

Αριθμητική ανάλυση και Υπολογιστικά μαθηματικά είναι έννοιες σχεδόν ταυτόσημες και αποτελούν κλάδο των Εφαρμοσμένων Μαθηματικών που ασχολείται με την διακριτοποίηση και την εύρεση προσεγγιστικών λύσεων μαθηματικών προβλημάτων, των οποίων η αναλυτική λύση είναι σχεδόν ακατόρθωτη έως απολύτως αδύνατη.

Περιεχόμενα:
Οι ηλεκτρονικές υπολογιστές στην υπηρεσία του μηχανικού, Άλγεβρα μητρώων με χρήση Η/Υ, Δομή προγραμμάτων πεπερασμένων στοιχείων και γλώσσες προγραμματισμού, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων στατικής ανάλυσης γραμμικών (μονοδιάστατων) φορέων, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων δυναμικής ανάλυσης γραμμικών (μονοδιάστατων) φορέων, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων σε δισδιάστατα προβλήματα πεδίου, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων σε προβλήματα επίπεδης ελαστικότητας, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων για τρισδιάστατα προβλήματα, Αυτοδύναμοι κώδικες πεπερασμένων στοιχείων πλακών και κελύφων σε κάμψη, Ανισοτροπικοί και ορθοτροπικοί φορείς, Λογισμικό μακροστοιχείων τύπου CAD και ισογεωμετρικής ανάλυσης, κώδικες αυτόματης γένεσης πλέγματος πεπερασμένων στοιχείων, Η μέθοδος των συνοριακών στοιχείων για μηχανικούς, Η μέθοδος των συνοριακών στοιχείων στις τρεις διαστάσεις, Σύζευξη πεπερασμένων στοιχείων και συνοριακών στοιχείων, Κώδικες μη-γραμμικών πεπερασμένων στοιχείων και συνοριακών στοιχείων, Προσαρμοστικά πεπερασμένα στοιχεία, Βελτιστοποίηση χωρίς περιορισμούς, Βελτιστοποίηση με περιορισμούς, Βέλτιστα κριτήρια και συναφείς μέθοδοι, Βελτιστοποίηση σχήματος και τοπολογίας, Παράρτημα 1: Εισαγωγή Οριακών Συνθηκών, Παράρτημα 2: Μονοδιάστατη ολοκλήρωση GAUSS για λογαριθμικού τύπου Συναρτήσεις, Ευρετήριο.