Βικιπαίδεια:Επιχείρηση Κομπιουτεροαγάπη
Σκοπός[επεξεργασία κώδικα]
Σκοπός αυτής της βικιεπιχείρησης είναι η οργάνωση της συλλογικής προσπάθειας για συγγραφή λημμάτων που ανήκουν στην ενότητα "Επιστήμη υπολογιστών".
Χρήστες/Μέλη[επεξεργασία κώδικα]
Για να πάρετε μέρος στη βικιεπιχείρηση υπογράψτε παρακάτω:
- --lady 21:25, 1 Οκτωβρίου 2007 (UTC)
- --Acp 15:32, 4 Οκτωβρίου 2007 (UTC)
- --Polyvios Pratikakis 17:31, 10 Οκτωβρίου 2007 (UTC)
- --Tassos Tzavaras 01:30 10 Ιανουαρίου 2008
- --vchorozopoulos
- --tzag
- --Chomwitt 23:55, 30 Απριλίου 2008 (UTC)
- --JohnMad 22:42, 16 Μαΐου 2008 (UTC)
- --Gf uip
- --Troka --```troka 07:02, 21 Απριλίου 2011 (UTC)
- --Χρήστης:KOSTASatWIKI
- --Sst
Προτάσεις[επεξεργασία κώδικα]
Ενημέρωση μελών[επεξεργασία κώδικα]
- Να ενημερωθούν όσο το δυνατόν περισσότερα μέλη πιστεύετε ότι μπορούν να βοηθήσουν.
Άρθρα[επεξεργασία κώδικα]
- Καταγραφή λημμάτων που χρειάζονται επιμέλεια στην ενότητα επιστήμη των υπολογιστών.
- Καταγραφή σημαντικών λημμάτων που λείπουν.
Λήμματα που χρειάζονται επιμέλεια[επεξεργασία κώδικα]
- Ψηφιακό σήμα -->Πηγές
- Αναλογικό σήμα -->Πηγές,Επέκταση
- Μηχανική υπολογιστών -->Πηγές,Επέκταση
- Λογική πύλη -->Πηγές
- Πίνακας αλήθειας -->Πηγές,Επέκταση
- Μητρική κάρτα -->Επέκταση
- ROM (μνήμη) -->Πηγές,Επέκταση
- Κάρτα γραφικών -->Πηγές
- Σκληρός δίσκος -->Πηγές
- Ηλεκτρονικός υπολογιστής -->Πηγές
- Τρανζίστορ -->Πηγές
- Δρομολογητής -->Πηγές,Επέκταση
- Πλήμνη (δίκτυο υπολογιστών) -->Πηγές
- Μεταγωγέας -->Πηγές,Επέκταση
- Διαδικτυακή εφαρμογή -->Πηγές,Επέκταση
- Χάρτες Google -->Πηγές,Επέκταση
- Oracle Database -->Πηγές,Επέκταση
- Play Store -->Πηγές,Επέκταση
- Πρωτόκολλο Μεταφοράς Υπερκειμένου -->Επέκταση
- SSH -->Επέκταση
- Border Gateway Protocol -->Επέκταση
- Web browser -->Επέκταση
- Διαδίκτυο -->Πηγές
- HTML+HTML5 -->Ενοποίηση
- CSS -->Επέκταση
Λήμματα που λείπουν[επεξεργασία κώδικα]
- Ψηφιακές επικοινωνίες
- Λογική σχεδίαση
- VLSI
- IEEE
- SQLite
- Eclipse
- App Store
- JavaServer Faces
- Cuda
- MD2
- MD4
- MD5
- MD6
- SHA-1
- SHA-2
- Gopher
- Harvard Mark I
- UNIVAC I
- EDVAC
- Λογική Χόαρ (Hoare logic)
Ενέργειες[επεξεργασία κώδικα]
Δομές δεδομένων[επεξεργασία κώδικα]
Προτείνω ως πρώτη κατηγορία τις δομές δεδομένων (data structures):
A) δέντρα(trees)
- δέντρο
- δέντρο δυαδικής αναζήτησης
- avl δέντρο
- 2-3-4 tree
- B-tree
- B+-tree
B) πίνακες Γ) λίστες
Κάποια άλλη κατηγορία?
Μάλλον είναι πολύ αργά, αλλά προσθέτω μερικά πράγματα που μου έρχονται:
Θεωρία[επεξεργασία κώδικα]
- υπολογισιμότητα
- πολυπλοκότητα
- συμβολικό σύστημα
- τυπική γλώσσα
- λογισμός λάμδα
- λογισμός λάμδα με απλούς τύπους (simply typed lambda calculus)
- σύστημα F
- σύστημα F-ωμέγα
- λογισμός κατασκευών (calculus of constructions)
- λογισμός επαγωγικών κατασκευών (calculus of inductive constructions)
- λογική πρώτου βαθμού
- σύστημα τύπων
- εξαρτημένος τύπος
- τύπος δεδομένων (datatype)
- είδος (θεωρία τύπων) (kind)
- τύπος κλάσης (class)
- έλεγχος τύπων (type checking)
- συνέπεια τύπων (type soundness)
- σύστημα παρενεργειών (effect system)
- ισχυρό σύστημα τύπων
- ασθενές σύστημα τύπων
- πολυμορφισμός τύπων
- σημασιολογία
- λειτουργική σημασιολογία (operational semantics)
- κλήση κατ' όνομα (call-by-name)
- κλήση κατά τιμή (call-by-value)
- αξιωματική σημασιολογία (axiomatic semantics)
- δηλωτική σημασιολογία (denotational semantics)
- λειτουργική σημασιολογία (operational semantics)
- Θεωρία αποδείξεων
- Λογική διαχωρισμού (separation logic)
- Έλεγχος μοντέλου (model checking)
προγραμματισμός[επεξεργασία κώδικα]
- αμετάβλητο αντικείμενο
- αμετάβλητη βρόχου (loop invariant)
- τριπλέτα Χόαρ (Hoare triple)
- ροή ελέγχου (control flow)
- διακλάδωση (branch, jump)
- διακλάδωση υπό όρους (conditional branch, if-then-else)
- βρόχος while
- goto
- κώδικας σπαγγέτι