[{"id":146396,"title":"Σύγχρονες γλώσσες προγραμματισμού","subtitle":"Μια πρακτική εισαγωγή","description":"Oι προπτυχιακοί φοιτητές επιστήμης υπολογιστών και οι μηχανικοί υπολογιστών έχουν κατά κανόνα πρακτικό προσανατολισμό: μελετούν την υπολογιστική επειδή αγαπούν τον προγραμματισμό και έχουν καλές επιδόσεις σε αυτόν. Το βιβλίο απευθύνεται κατά κύριο λόγο σε αυτόν τον πυρήνα σπουδαστών. Το επίπεδο παρουσίασης δεν απαιτεί καμία γνώση αρχιτεκτονικής υπολογιστών, λειτουργικών συστημάτων, τυπικών γλωσσών και θεωρίας αυτομάτων, μαθηματικής λογικής ή επαγωγικών τεχνικών απόδειξης. Το κυρίως ζητούμενο από ένα μάθημα που πραγματεύεται τις έννοιες των γλωσσών προγραμματισμού είναι να βοηθήσει τον φοιτητή να κατανοήσει τις γλώσσες προγραμματισμού σε ένα ασυνήθιστο επίπεδο αφαίρεσης. Για να επιτευχθεί αυτός ο στόχος, το βιβλίο περιλαμβάνει πολλές ασκήσεις και παραδείγματα «πραγματικού» προγραμματισμού, ώστε να ενθαρρύνει τους σπουδαστές των οποίων το ενδιαφέρον για τον προγραμματισμό είναι πρωτίστως πρακτικού χαρακτήρα. Δεν προϋποθέτει υψηλή μαθηματική ωριμότητα εκ μέρους του αναγνώστη. Είναι σχεδιασμένο ώστε να καθοδηγήσει τους σπουδαστές να επεξεργαστούν νοητικά τις αφηρημένες έννοιες των γλωσσών προγραμματισμού, με αφετηρία απλές ασκήσεις προγραμματισμού. Τα κεφάλαια του βιβλίου χωρίζονται σε δύο κατηγορίες: πρακτικού και φιλοσοφικού χαρακτήρα. Τα πρώτα είναι αυτοτελή «αλφαβητάρια» για τρεις γλώσσες προγραμματισμού διαφορετικών οικογενειών: ML, Java και Prolog. Τα φιλοσοφικού χαρακτήρα κεφάλαια παρουσιάζουν τη θεωρητική πλευρά: τις θεμελιώδεις αρχές των γλωσσών προγραμματισμού. Τα κεφάλαια αυτά εναλλάσσονται με τα κεφάλαια πρακτικού χαρακτήρα, σε μια αλληλουχία που διευκολύνει την παρουσίαση των θεωρητικών ζητημάτων, έτσι ώστε η σύνδεσή τους με την προγραμματιστική πρακτική να είναι όσο το δυνατόν εμφανέστερη.","image":"http://www.biblionet.gr/images/covers/b149309.jpg","isbn":"978-960-524-282-4","isbn13":"978-960-524-282-4","ismn":null,"issn":null,"series":null,"pages":640,"publication_year":2009,"publication_place":"Ηράκλειο Κρήτης","price":"32.0","price_updated_at":"2009-12-03","cover_type":"Σκληρό εξώφυλλο","availability":"Κυκλοφορεί - Εκκρεμής εγγραφή","format":"Βιβλίο","original_language":"αγγλικά","original_title":"Modern Programming Languages: A Practical Introduction","publisher_id":141,"extra":null,"biblionet_id":149309,"url":"https://bibliography.gr/books/sygxrones-glwsses-programmatismou.json"},{"id":203954,"title":"Ψηφιακή σχεδίαση","subtitle":"Από τη σκοπιά των συστημάτων","description":"Το εισαγωγικό αυτό εγχειρίδιο παρουσιάζει μια θεώρηση της ψηφιακής σχεδίασης σε επίπεδο συστήματος, και προσφέρει τα εργαλεία που χρειάζεται ο σπουδαστής για να κατανοήσει, να αναλύσει και να σχεδιάσει ψηφιακά συστήματα. Δεν περιορίζεται στη σχεδίαση απλών συνδυαστικών και ακολουθιακών υπομονάδων, αλλά δείχνει επίσης πώς χρησιμοποιούνται αυτές οι υπομονάδες για την κατασκευή σύνθετων συστημάτων.\u003cbr\u003eΚαλύπτει όλα τα θεμελιώδη γνωστικά στοιχεία που απαιτούνται για την κατανόηση της σύγχρονης σχεδιαστικής πρακτικής, μεταξύ των οποίων:\u003cbr\u003e- η σχεδίαση και η ανάλυση συνδυαστικών και ακολουθιακών υπομονάδων\u003cbr\u003e- η σύνθεση συνδυαστικών και ακολουθιακών υπομονάδων\u003cbr\u003e- η διαμέριση δεδομένων και ελέγχου\u003cbr\u003e- η κατάτμηση και η σύνθεση μηχανών πεπερασμένων καταστάσεων\u003cbr\u003e- οι προδιαγραφές διεπαφών\u003cbr\u003e- ο χρονισμός συστήματος\u003cbr\u003e- ο συγχρονισμός\u003cbr\u003e\u003cbr\u003eΔιδάσκει κωδικογράφηση Verilog με τρόπο ο οποίος εξασφαλίζει υψηλή παραγωγικότητα και ευκολία συντήρησης, και επιτρέπει στον σχεδιαστή να απαλλαγεί από μεγάλο μέρος των πιο ανιαρών εργασιών αναθέτοντάς τες σε εργαλεία CAD.\u003cbr\u003eΚαλύπτει τις θεμελιώδεις έννοιες της λογικής σχεδίασης, παρουσιάζοντας μια αποδοτική μέθοδο για τη σχεδίαση συνδυαστικής λογικής και μηχανών καταστάσεων, τόσο χειρωνακτικά όσο και με χρήση σύγχρονων εργαλείων CAD.\u003cbr\u003e\u003cbr\u003eΤο βιβλίο παρουσιάζει μια πλήρη εισαγωγή στην ψηφιακή σχεδίαση μέσα από ακριβείς και σαφείς εξηγήσεις, εκτενή παραδείγματα, και online αρχεία κώδικα Verilog. Το υλικό διδασκαλίας συμπληρώνεται με διαφάνειες διαλέξεων και εργαστήρια. Χωρίς καμία προαπαιτούμενη γνώση των ψηφιακών εννοιών, το εγχειρίδιο αυτό είναι ιδανικό για προπτυχιακά μαθήματα ψηφιακής σχεδίασης που θα εξοικειώσουν τους σπουδαστές με τη σύγχρονη ψηφιακή πρακτική.","image":"http://www.biblionet.gr/images/covers/b207153.jpg","isbn":"978-960-524-445-3","isbn13":"978-960-524-445-3","ismn":null,"issn":null,"series":{"id":8221,"name":"Επιστήμη Υπολογιστών","books_count":6,"tsearch_vector":"'episthmh' 'episthmi' 'epistimh' 'ipologistwn' 'upologistwn' 'ypologistwn'","created_at":"2017-04-13T02:04:32.910+03:00","updated_at":"2017-04-13T02:04:32.910+03:00"},"pages":682,"publication_year":2016,"publication_place":"Ηράκλειο Κρήτης","price":"80.0","price_updated_at":"2016-01-21","cover_type":"Σκληρό εξώφυλλο","availability":"Κυκλοφορεί - Εκκρεμής εγγραφή","format":"Βιβλίο","original_language":"αγγλικά","original_title":null,"publisher_id":141,"extra":null,"biblionet_id":207153,"url":"https://bibliography.gr/books/pshfiakh-sxediash-7c56898b-def9-4b14-af26-94d0f1fb757e.json"}]