6 συγγένειες: Κυτταρικό αυτόματο, Πληροφορική, Μηχανή Τιούρινγκ, Θεωρία πολυπλοκότητας, Αλγόριθμος, Λογισμός λάμδα.
Κυτταρικό αυτόματο
Ένα κυτταρικό ή κυψελικό αυτόματο (αγγλ. cellular automaton) είναι ένα υπολογιστικό μοντέλο συστημάτων με αναδυόμενη πολυπλοκότητα.
Νέος!!: Μοντέλο υπολογισμού και Κυτταρικό αυτόματο · Δείτε περισσότερα »
Πληροφορική
Πληροφορική ονομάζεται η επιστήμη τουεπιτελεστικού λόγου, δηλαδή τουλόγου(σε διάφορες μορφές) με τη βοήθεια τουοποίουείναι εφικτή η επιτέλεση (εκτέλεση) ενεργειών πουπροκαλούν μεταβολές στον φυσικό κόσμο ή στον τρόπο λειτουργίας τεχνολογικών συσκευών διατάξεων και συστημάτων.
Νέος!!: Μοντέλο υπολογισμού και Πληροφορική · Δείτε περισσότερα »
Μηχανή Τιούρινγκ
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Μηχανή Τούρινγκ.
Νέος!!: Μοντέλο υπολογισμού και Μηχανή Τιούρινγκ · Δείτε περισσότερα »
Θεωρία πολυπλοκότητας
Η θεωρία πολυπλοκότητας είναι το μέρος εκείνο της θεωρίας υπολογισμού, το οποίο ασχολείται με την κοστολόγηση των πόρων πουαπαιτούνται για την αλγοριθμική επίλυση ενός προβλήματος.
Νέος!!: Μοντέλο υπολογισμού και Θεωρία πολυπλοκότητας · Δείτε περισσότερα »
Αλγόριθμος
Ένα απλό διάγραμμα ροής, το οποίο απεικονίζει τον αλγόριθμο ελέγχουκαι επισκευής μιας λάμπας η οποία δεν δουλεύει. Ως αλγόριθμος (ετυμολογία: al-Ḵwārizmī, Abū Ja‘far Muhammad ibn Mūsa) ορίζεται μια πεπερασμένη σειρά ενεργειών, αυστηρά καθορισμένων και εκτελέσιμων σε πεπερασμένο χρόνο, πουστοχεύουν στην επίλυση ενός προβλήματος.
Νέος!!: Μοντέλο υπολογισμού και Αλγόριθμος · Δείτε περισσότερα »
Λογισμός λάμδα
Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός (αγγλ. lambda calculus ή λ-calculus), είναι ένα τυπικό σύστημα (formal system) σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων.
Νέος!!: Μοντέλο υπολογισμού και Λογισμός λάμδα · Δείτε περισσότερα »