Βικιπαίδεια:Επιχείρηση Κομπιουτεροαγάπη

Σκοπός

Σκοπός αυτής της βικιεπιχείρησης είναι η οργάνωση της συλλογικής προσπάθειας για συγγραφή λημμάτων που ανήκουν στην ενότητα "Επιστήμη υπολογιστών".

Χρήστες/Μέλη

Για να πάρετε μέρος στη βικιεπιχείρηση υπογράψτε παρακάτω:

• --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)
• Θεωρία αποδείξεων
  • σύστημα αποδείξεων
  • ισομορφισμός Κάρρυ-Χάουαρντ
• Λογική διαχωρισμού (separation logic)
• Έλεγχος μοντέλου (model checking)

προγραμματισμός

• αμετάβλητο αντικείμενο
• αμετάβλητη βρόχου (loop invariant)
• τριπλέτα Χόαρ (Hoare triple)
• ροή ελέγχου (control flow)
  • διακλάδωση (branch, jump)
  • διακλάδωση υπό όρους (conditional branch, if-then-else)
  • βρόχος while
  • goto
  • κώδικας σπαγγέτι