Ταχύτερη από τον browser!
15 συγγένειες: Alan Turing, Alfred North Whitehead, Κύρια διαγώνιος πινάκων, Πρόγραμμα hello world, Πρόγραμμα υπολογιστή, Υπολογισμός, Υπερυπολογιστής, Φυσικός αριθμός, Ψευδοκώδικας, Μηχανή Τούρινγκ, Μπέρτραντ Ράσελ, Θεωρήματα μη πληρότητας του Γκέντελ, Άλαν Τιούρινγκ, Λογισμός λάμδα, Julia Robinson.
Alan Turing
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Άλαν Τούρινγκ.
Νέος!!: Πρόβλημα τερματισμού και Alan Turing · Δείτε περισσότερα »
Alfred North Whitehead
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΆλφρεντ Νορθ Γουάιτχεντ.
Νέος!!: Πρόβλημα τερματισμού και Alfred North Whitehead · Δείτε περισσότερα »
Κύρια διαγώνιος πινάκων
Στη γραμμική άλγεβρα, η κύρια (ή αλλιώς πρωτεύουσα) διαγώνιος ενός πίνακα A είναι η συλλογή των καταχωρήσεων A_ για i.
Νέος!!: Πρόβλημα τερματισμού και Κύρια διαγώνιος πινάκων · Δείτε περισσότερα »
Πρόγραμμα hello world
Ένα πρόγραμμα Hello World για γραφικό περιβάλλον χρήστη, γραμμένο σε Perl. Πρόγραμμα "hello world" λέγεται ένα πρόγραμμα υπολογιστή πουτυπώνει τις λέξεις "Hello, world!" σε μια συσκευή εξόδου.
Νέος!!: Πρόβλημα τερματισμού και Πρόγραμμα hello world · Δείτε περισσότερα »
Πρόγραμμα υπολογιστή
Πρόγραμμα στη γλώσσα Python. Στην πληροφορική με τον όρο πρόγραμμα αναφερόμαστε σε μια συγκεκριμένη ακολουθία εντολών τις οποίες πρέπει να εκτελέσει ένας υπολογιστής για να παραγάγει το επιθυμητό για το χρήστη αποτέλεσμα.
Νέος!!: Πρόβλημα τερματισμού και Πρόγραμμα υπολογιστή · Δείτε περισσότερα »
Υπολογισμός
Ο γενικός όρος υπολογισμός (computation) μπορεί να χρησιμοποιηθεί για να αναφερθεί σε οποιοδήποτε είδος επεξεργασίας πληροφοριών.
Νέος!!: Πρόβλημα τερματισμού και Υπολογισμός · Δείτε περισσότερα »
Υπερυπολογιστής
Ο υπερυπολογιστής "Columbia" της NASA Υπερυπολογιστής ονομάζεται ένας υπολογιστής πουδιαφέρει σημαντικά από τους καθημερινούς προσωπικούς υπολογιστές όσον αφορά στον αριθμό των υπολογισμών κινητής υποδιαστολής πουμπορεί να εκτελέσει ανά δευτερόλεπτο.
Νέος!!: Πρόβλημα τερματισμού και Υπερυπολογιστής · Δείτε περισσότερα »
Φυσικός αριθμός
Οι φυσικοί αριθμοί μπορούν να χρησιμοποιηθούν για μετρήσεις (ένα μήλο, δύο μήλα, τρία μήλα,...) Στα μαθηματικά, οι φυσικοί αριθμοί είναι εκείνοι πουχρησιμοποιούνται για τη μέτρηση («υπάρχουν έξι νομίσματα στο τραπέζι») και για τη σύγκριση («υπάρχουν περισσότερες καρέκλες από τους πίνακες»).
Νέος!!: Πρόβλημα τερματισμού και Φυσικός αριθμός · Δείτε περισσότερα »
Ψευδοκώδικας
Ο ψευδοκώδικας είναι εργαλείο πουχρησιμοποιείται από προγραμματιστές, κυρίως στα αρχικά στάδια της σχεδίασης και κατασκευής ενός προγράμματος.
Νέος!!: Πρόβλημα τερματισμού και Ψευδοκώδικας · Δείτε περισσότερα »
Μηχανή Τούρινγκ
Η Μηχανή Τούρινγκ είναι μια υποθετική συσκευή η οποία χειρίζεται σύμβολα σύμφωνα με ένα σύνολο κανόνων.
Νέος!!: Πρόβλημα τερματισμού και Μηχανή Τούρινγκ · Δείτε περισσότερα »
Μπέρτραντ Ράσελ
Ο Μπέρτραντ Άρθουρ Γουίλιαμ Ράσελ (Bertrand Arthur William Russell, 18 Μαΐου1872 – 2 Φεβρουαρίου1970) ήταν Βρετανός άθεος φιλόσοφος, μαθηματικός και ειρηνιστής, ο οποίος βραβεύτηκε με το νόμπελ λογοτεχνίας το 1950 για τη συνεισφορά τουστον ανθρωπισμό και την ελευθερία της σκέψης.
Νέος!!: Πρόβλημα τερματισμού και Μπέρτραντ Ράσελ · Δείτε περισσότερα »
Θεωρήματα μη πληρότητας του Γκέντελ
Στη μαθηματική λογική, τα θεωρήματα μη πληρότητας τουΓκέντελ, τα οποία αποδείχτηκαν από τον Κουρτ Γκέντελ (Kurt Gödel) το 1931, είναι δύο θεωρήματα πουυποδεικνύουν έμφυτους περιορισμούς σε όλα τα (πλην των τετριμμένων) τυπικά συστήματα των μαθηματικών.
Νέος!!: Πρόβλημα τερματισμού και Θεωρήματα μη πληρότητας του Γκέντελ · Δείτε περισσότερα »
Άλαν Τιούρινγκ
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Άλαν Τούρινγκ.
Νέος!!: Πρόβλημα τερματισμού και Άλαν Τιούρινγκ · Δείτε περισσότερα »
Λογισμός λάμδα
Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός (αγγλ. lambda calculus ή λ-calculus), είναι ένα τυπικό σύστημα (formal system) σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων.
Νέος!!: Πρόβλημα τερματισμού και Λογισμός λάμδα · Δείτε περισσότερα »
Julia Robinson
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Τζούλια Ρόμπινσον.
Νέος!!: Πρόβλημα τερματισμού και Julia Robinson · Δείτε περισσότερα »
