Λογότυπο
Υνιονπαίδεια
Επικοινωνία
Αποκτήστε το στο Google Play
Νέος! Κατεβάστε Υνιονπαίδεια στο Android ™ σας!
Ελεύθερος
Ταχύτερη από τον browser!
 

Μοντέλο υπολογισμού

Δείκτης Μοντέλο υπολογισμού

Στη θεωρία υπολογισιμότητας και στη θεωρία υπολογιστικής πολυπλοκότητας, ένα μοντέλο υπολογισμού είναι ο ορισμός τουσυνόλουτων επιτρεπόμενων λειτουργιών πουχρησιμοποιούνται στον υπολογισμό και τις αντίστοιχες δαπάνες.

6 συγγένειες: Κυτταρικό αυτόματο, Πληροφορική, Μηχανή Τιούρινγκ, Θεωρία πολυπλοκότητας, Αλγόριθμος, Λογισμός λάμδα.

Κυτταρικό αυτόματο

Ένα κυτταρικό ή κυψελικό αυτόματο (αγγλ. cellular automaton) είναι ένα υπολογιστικό μοντέλο συστημάτων με αναδυόμενη πολυπλοκότητα.

Νέος!!: Μοντέλο υπολογισμού και Κυτταρικό αυτόματο · Δείτε περισσότερα »

Πληροφορική

Πληροφορική ονομάζεται η επιστήμη τουεπιτελεστικού λόγου, δηλαδή τουλόγου(σε διάφορες μορφές) με τη βοήθεια τουοποίουείναι εφικτή η επιτέλεση (εκτέλεση) ενεργειών πουπροκαλούν μεταβολές στον φυσικό κόσμο ή στον τρόπο λειτουργίας τεχνολογικών συσκευών διατάξεων και συστημάτων.

Νέος!!: Μοντέλο υπολογισμού και Πληροφορική · Δείτε περισσότερα »

Μηχανή Τιούρινγκ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Μηχανή Τούρινγκ.

Νέος!!: Μοντέλο υπολογισμού και Μηχανή Τιούρινγκ · Δείτε περισσότερα »

Θεωρία πολυπλοκότητας

Η θεωρία πολυπλοκότητας είναι το μέρος εκείνο της θεωρίας υπολογισμού, το οποίο ασχολείται με την κοστολόγηση των πόρων πουαπαιτούνται για την αλγοριθμική επίλυση ενός προβλήματος.

Νέος!!: Μοντέλο υπολογισμού και Θεωρία πολυπλοκότητας · Δείτε περισσότερα »

Αλγόριθμος

Ένα απλό διάγραμμα ροής, το οποίο απεικονίζει τον αλγόριθμο ελέγχουκαι επισκευής μιας λάμπας η οποία δεν δουλεύει. Ως αλγόριθμος (ετυμολογία: al-Ḵwārizmī, Abū Ja‘far Muhammad ibn Mūsa) ορίζεται μια πεπερασμένη σειρά ενεργειών, αυστηρά καθορισμένων και εκτελέσιμων σε πεπερασμένο χρόνο, πουστοχεύουν στην επίλυση ενός προβλήματος.

Νέος!!: Μοντέλο υπολογισμού και Αλγόριθμος · Δείτε περισσότερα »

Λογισμός λάμδα

Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός (αγγλ. lambda calculus ή λ-calculus), είναι ένα τυπικό σύστημα (formal system) σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων.

Νέος!!: Μοντέλο υπολογισμού και Λογισμός λάμδα · Δείτε περισσότερα »

ΕξερχόμενοςΕισερχόμενος
Γεια σου! Είμαστε στο Facebook τώρα! »