Επιστήμη_υπολογιστών
Ορισμός και συγγενείς επιστήμες
σύνδεσμος=https://el.wikipedia.org/wiki/%CE%91%CF%81%CF%87%CE%B5%CE%AF%CE%BF:Alan_Turing.jpg|μικρογραφία|270x270εσ|Γλυπτό του [[Άλαν Τιούρινγκ, του «πατέρα της επιστήμης υπολογιστών και της τεχνητής νοημοσύνης».]] Η επιστήμη υπολογιστών συσχετίζεται στενά με άλλους επιστημονικούς κλάδους οι οποίοι, παρά τις σημαντικές διαφορές όσον αφορά την έμφαση και τις ιστορικές ρίζες, επικαλύπτονται με επιμέρους πεδία της. Η επιστήμη υπολογιστών, όρος καταγόμενος από την αγγλική γλώσσα («computer science»), με την ευρεία έννοια διαθέτει κάποια σχέση με την πληροφορική (αγγλ.: «informatics»)[15] της οποίας αποτελεί υποσύνολο, ωστόσο χρησιμοποιείται εναλλακτικά και με μια πιο στενή έννοια η οποία εννοεί αποκλειστικά τη θεωρητική πληροφορική και τα συναφή μαθηματικά της θεμέλια. Σε αυτή την περίπτωση μόνο, συνήθως θεωρείται πως η επιστήμη υπολογιστών συμπεριλαμβάνει τη μηχανική λογισμικού, τα υπολογιστικά συστήματα και τη μηχανική υπολογιστών, ενώ η επιστήμη υπολογιστών όχι. Ο Έντσγκερ Ντάικστρα (Edsger Dijkstra), χρησιμοποιώντας τη στενή και περιορισμένη έννοια της επιστήμης υπολογιστών, έχει πει: Ο φυσικός Ρίτσαρντ Φάινμαν (Richard Feynman) έχει πει: Η επιστήμη υπολογιστών περιέχει πολλά γνωστικά πεδία, κάποια εκ των οποίων δίνουν έμφαση στον υπολογισμό συγκεκριμένων αποτελεσμάτων (όπως τα γραφικά υπολογιστών), κάποια σχετίζονται με ιδιότητες υπολογιστικών προβλημάτων (όπως η θεωρία πολυπλοκότητας), ενώ άλλα επικεντρώνονται στις προκλήσεις που παρουσιάζονται κατά την υλοποίηση υπολογισμών από τη σκοπιά του υλικού και του λογισμικού. Για παράδειγμα, η θεωρία γλωσσών προγραμματισμού μελετά προσεγγίσεις για την περιγραφή υπολογισμών, ο προγραμματισμός υπολογιστών εφαρμόζει συγκεκριμένες γλώσσες προγραμματισμού για να λύσει προκαθορισμένα υπολογιστικά προβλήματα, ενώ τα λειτουργικά συστήματα ενδιαφέρονται για τη σχεδίαση και κατασκευή αποδοτικών υποδομών λογισμικού για την εκτέλεση υπολογισμών με όσο το δυνατόν καλύτερη αξιοποίηση του διαθέσιμου υλικού. Ο κλάδος της αλληλεπίδρασης ανθρώπου-υπολογιστή ασχολείται με το ζήτημα της ευχρηστίας και προσβασιμότητας των υπολογιστών, όσον αφορά το ευρύ κοινό. Σχεδόν όλα τα πεδία της επιστήμης υπολογιστών μπορούν να ταξινομηθούν σε έναν από τους πέντε βασικούς κλάδους της: Ορισμένοι στις αγγλοσαξονικές χώρες διαχωρίζουν την επιστήμη υπολογιστών σε επιμέρους επιστήμες, διακρίνοντας μεταξύ επιστήμης υπολογιστών, πληροφοριακών συστημάτων και μηχανικής υπολογιστών: η πρώτη σ' αυτή την περίπτωση έχει τον στενό ορισμό της θεωρητικής πληροφορικής και της μαθηματικής της βάσης, τα πληροφοριακά συστήματα ορίζονται ως ένα μείγμα των πρακτικών όψεων της επιστήμης υπολογιστών, της διοίκησης επιχειρήσεων και των οικονομικών με στόχο τη δημιουργία συστημάτων που καλύπτουν τις πληροφοριακές ανάγκες επιχειρήσεων και άλλων οργανισμών, ενώ η μηχανική υπολογιστών γίνεται αντιληπτή ως ένας συναφής κλάδος ασχολούμενος με τη σχεδίαση και υλοποίηση υλικού υπολογιστών. Στον βαθμό που το υλικό αυτό είναι ηλεκτρονικής φύσης, η μηχανική υπολογιστών μελετάται και από την ηλεκτρονική μηχανική. Με παρόμοια λογική διατυπώνεται και η διάκριση μεταξύ επιστήμης υπολογιστών και μηχανικής λογισμικού, όπου ο κλάδος αυτός επικεντρώνεται στη συστηματική ανάπτυξη λογισμικού για συγκεκριμένες εφαρμογές, με τυποποιημένες μεθόδους, επιστημονικές αρχές και γνώμονα τις ανάγκες της βιομηχανίας λογισμικού. Ωστόσο δεν υφίσταται κάποια καθολικά αποδεκτή διάκριση ορισμού μεταξύ «απλού» προγραμματισμού υπολογιστών και μηχανικής λογισμικού, οι επιμέρους τομείς που αναφέρθηκαν εναλλακτικά κατανοούνται μόνο ως διαφορετικοί, αλληλοεπικαλυπτόμενοι τρόποι προσέγγισης των ζητημάτων της επιστήμης υπολογιστών και όχι ως διακριτές επιστήμες, ενώ τα περισσότερα πανεπιστημιακά τμήματα επιστήμης υπολογιστών και πληροφορικής εφαρμόζουν στην πράξη ένα ενιαίο πρόγραμμα σπουδών το οποίο συμπεριλαμβάνει και τους πέντε κλάδους της επιστήμης.