ΤΟΥΡΛΑΚΗΣ ΓΙΩΡΓΟΣ
Αποτελέσματα 1 - 2 από 2
- «« Αρχική
- « Προηγ.
- 1
- Επόμενη »
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
ΘΕΩΡΙΑ ΚΑΙ ΠΡΑΞΗ
Κωδ. Πολιτείας: 3351-0386
Το βιβλίο αυτό πραγματεύεται το πρωταρχικό εργαλείο -κατά τους Russell και Whitehead, Hilbert (και Bernays), και Bourbaki- για τη θεμελίωση των μαθηματικών: τη Μαθηματική Λογική. Η Μαθηματική λογική - θεωρία και πράξη είναι μια μαθηματικώς αυστηρή, συστηματική και πλήρης εισαγωγή στο συντακτικό, τη σημασιολογία και την τεχνική κατασκευής των μαθηματικών αποδείξεων. Με τη φιλική του προσέγγιση, το βιβλίο επικεντρώνεται αφ' ενός στη μεθοδολογική κατάρτιση και αφ' ετέρου στην πρακτική εξάσκηση του αναγνώστη στις λεγόμενες "τυπικές μεθόδους" γ... Διαβάστε περισσότερα... |
||||||
ΕΙΣΑΓΩΓΗ ΣΤΗ ΥΠΟΛΟΓΙΣΤΙΚΗ
Κωδ. Πολιτείας: 3351-0011
Η εμφάνιση των ηλεκτρονικών υπολογιστών στο προσκήνιο και ο από τότε ολοένα μεγαλύτερος ρόλος που παίζουν στη ζωή του ανθρώπου, και στην επιστήμη ειδικότερα, έκανε την Υπολογιστική φυσικό αντικείμενο μελέτης των επιστημόνων Πληροφορικής. Ένα πρόγραμμα που εκτελείται από κάποιον υπολογιστή δεν είναι παρά ένας αλγόριθμος, εκφρασμένος σε γλώσσα αντιληπτή από το σύστημα του υπολογιστή. Έτσι, η ανάγκη να ερευνήσουμε με μαθηματικά εργαλεία τα θεωρητικά όρια ικανότητας (ή δυνατοτήτων) των υπολογιστών μεταφράζεται στην ανάγκη να μελετήσουμε τι μπο... Διαβάστε περισσότερα... |
Αποτελέσματα 1 - 2 από 2
- «« Αρχική
- « Προηγ.
- 1
- Επόμενη »
Πλοήγηση
Φίλτρα
Ελληνικές / Ξένες Εκδόσεις
Ημερομηνία Έκδοσης
Διαθεσιμότητα
Περιοχή Τιμών
Συγγραφέας / Δημιουργός
Εκδότης / Κατασκευαστής