Αποτελέσματα αναζήτησης

== Ιστορία == ...ταθεί για την [[Τυπική επαλήθευση|επαλήθευση (verification)]] προγραμμάτων υπολογιστών από τον Αμίρ Πνουέλι το 1977. Τέσσερα χρόνια αργότερα, το 1981, οι E. M. Κλ ...

Στην [[επιστήμη υπολογιστών]], η '''αναγωγή γράφου''' ('''graph reduction''') υλοποιεί μια αποδοτική έκ == Ιστορία == ...

...πολλών αγωγών με θωράκιση, τύπου STP. Χρησιμοποιείται σε ενσύρματα δίκτυα υπολογιστών ([[LAN]]).]] == Ιστορία των ηλεκτρικών καλωδίων == ...

== Ιστορία == ...ωριστό δημόσιο χρηματικό ίδρυμα που επικεντρώθηκε στην κατασκευή προϊόντων υπολογιστών και άλλων μαθηματικών εργαλείων.<ref>{{Cite web|url=https://thejournal.com/ ...

== Ιστορία == * [[Πολυμορφισμός (επιστήμη υπολογιστών)]] ...

...=Παγουρτζής, Α. |author3=Σούλιου, Θ. |year=2015 |title=Θεμελίωση επιστήμης υπολογιστών |publisher=Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις |url=https://hdl.handle. ==Ιστορία== ...

==Ιστορία== ...ταινιών. Η ανάπτυξη του θορύβου Πέρλιν επέτρεψε στους καλλιτέχνες γραφικών υπολογιστών να αναπαραστήσουν καλύτερα την πολυπλοκότητα των φυσικών φαινομένων στα οπτ ...

...με τη χρήση του συστήματος άλγεβρας υπολογιστών ΄΄Άξιωμα (σύστημα άλγεβρας υπολογιστών)]] Στα [[μαθηματικά]] και την [[Επιστήμη υπολογιστών|επιστήμη των υπολογιστών]],<ref>{{Cite web |title=ACM Association in computer algebra |url=https://w ...

...εφαρμογές όπως στα τρισδιάστατα [[Γραφικά υπολογιστών|γραφικά ηλεκτρονικών υπολογιστών]]. Η άλγεβρα των τετραδονίων συχνά συμβολίζεται με το γράμμα '''H''' (προς == Ιστορία == ...

Στο πεδίο της [[λογική (επιστήμη υπολογιστών)|λογικής της επιστήμης των υπολογιστών]], ο όρος '''έλεγχος μοντέλων''' ([[αγγλική γλώσσα|Αγγλικά]]: '''model chec === Ιστορία === ...

==Ιστορία== ...θιστά τη χρήση υπολογιστή πρακτικά υποχρεωτική. Πολλά διαφορετικά μοντέλα υπολογιστών της φτέρης του Μπάρνσλεϊ είναι δημοφιλή στους σύγχρονους μαθηματικούς. Εφόσ ...

...α μπορεί να αρχίσουν να συσσωρεύονται, λόγω της [[Αναδρομικότητα (Επιστήμη υπολογιστών)|αναδρομικής]] φύσης του αλγόριθμου SRT. Σε ιδιαίτερες περιπτώσεις το σφάλμ ...οντας προσθέσει προηγουμένως ένα σύστημα με επεξεργαστή Pentium στην ομάδα υπολογιστών του, αλλά δεν μπόρεσε να αποκλείσει άλλους παράγοντες που θα μπορούσαν να π ...

...[μαθηματικά]], η [[γλωσσολογία]] και η [[Επιστήμη υπολογιστών|επιστήμη των υπολογιστών]], με στόχο τον σχεδιασμό αποδοτικών και αξιόπιστων μεθόδων μετάδοσης δεδομ ==Ιστορία της θεωρίας κωδικοποίησης== ...

...να τμήμα ή υποσύνολο της γενικής [[επιστήμη των υπολογιστών|επιστήμης των υπολογιστών]] και των [[Μαθηματικά|μαθηματικών]] που επικεντρώνεται σε πιο αφηρημένες έ ...περιγράφει ότι αποστολή της είναι η προώθηση της θεωρητικής επιστήμης των υπολογιστών και σημειώνει ότι:<ref>{{cite web | title = SIGACT | url = http://sigact. ...

==Ιστορία== Οι κύριοι τομείς εφαρμογής της είναι τα γραφικά υπολογιστών και η ανάλυση εικόνων<ref>See [https://www.springer.com/us/book/97833191209 ...

Πριν από την έλευση των [[Ηλεκτρονικός υπολογιστής|υπολογιστών]],για την εύρεση μιας τροχιάς απαιτούνταν εξελιγμένες μαθηματικές τεχνικέ == Ιστορία == ...

...αρκετές εφαρμογές. Η συνδυαστική χρησιμοποιείται συχνά στην [[επιστήμη των υπολογιστών]] για την απόκτηση φόρμουλων και εκτιμήσεων για την [[ανάλυση των αλγορίθμω == Ιστορία == ...

...κριά από τον αρχικό «σταυρό» των Βραχμάνων<ref>Ifrah, Georges: ''Παγκόσμια Ιστορία των Αριθμών'', εκδ. Σμυρνιωτάκης, Αθήνα 1985</ref>. Στην [[Επταμερής ένδειξη|επταμερή ένδειξη αριθμών]] των ψηφιακών ρολογιών και υπολογιστών τσέπης, καθώς και σε ορισμένες γραμματοσειρές για την [[οπτική αναγνώριση χ ...

...στο Winter School of Computer Graphics (WSCG - Χειμερινό σχολείο γραφικών υπολογιστών) 2000 από τους Φρανκ Σούικενς και Υβ Γουίλεμς. Η ιδέα είναι να μεταβάλλεται [[Κατηγορία:Ιστορία των Μαθηματικών]] ...

== Ιστορία == === Στην επιστήμη των υπολογιστών === ...