Αποτελέσματα αναζήτησης

...οσοδείκτες μονοπατιών και χρονικούς τελεστές. Όπως η CTL, η CTL* είναι μια λογική διακλαδιζόμενου χρόνου. Η τυπική σημασιολογία των τύπων (formulae) της CTL* Η LTL έχει προταθεί για την [[Τυπική επαλήθευση|επαλήθευση (verification)]] προγραμμάτων υπολογιστώ ...

...νολο από ιδιότητες που ισχύουν σε μια συγκεκριμένη κατάσταση. Οι [[χρονική λογική|χρονικές λογικές]] συνήθως ερμηνεύονται με δομές Κρίπκε. Η συνάρτηση απόδοσης ετικετών ''L'' ορίζει για κάθε κατάσταση ''s'' ∈ ''S'' το σύνολο ''L''(''s'') όλων των ατομικών ...

...ς που αναφέρονται στο χρόνο. Στην LTL, μπορούν να κωδικοποιηθούν προτάσεις για το μέλλον κάποιου [[θεωρία γράφων|μονοπατιού]], ώστε μια συνθήκη να είναι τ Η LTL προτάθηκε αρχικά από τον Αμίρ Πνουέλι για την επαλήθευση προγραμμάτων υπολογιστή το 1977. ...

...ρία των [[χρονική λογική|χρονικών λογικών]], όπως και η [[γραμμική χρονική λογική]]. ...ο των ατομικών τύπων (atomic formulas). Δε χρειάζονται όλοι οι σύνδεσμοι - για παράδειγμα οι ...

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

...ητές επί των όρων, το Σύστημα F έχει επιπρόσθετα μεταβλητές επί των τύπων. Για παράδειγμα, το γεγονός ότι η ταυτοτική συνάρτηση μπορεί να έχει οιονδήποτε ...τύπων, σε αντιπαραβολή με το πεζό <math>\lambda</math> που χρησιμοποιείται για συναρτήσεις στο επίπεδο των όρων. ...

...ν κατασκευή επεξεργαστών. Το σύνολο εντολών x86-64 ενσωματώνει λειτουργίες για δημιουργία βελτιωμένου κώδικα μηχανής. <ref name="Computer_systems_book_mac ...χνά χρησιμοποιούμενα μονοπάτια με [[Διερμηνέας (υπολογιστές)|διερμηνεία]]. Για παράδειγμα, με αυτόν τον τρόπο, η [[Transmeta]] υλοποίησε το σύνολο εντολών ...

Στο πεδίο της [[λογική (επιστήμη υπολογιστών)|λογικής της επιστήμης των υπολογιστών]], ο όρος '''έ ...χου μοντέλων είναι να επαληθευτεί αν μια δεδομένη έκφραση της [[Προτασιακή λογική|προτασιακής λογικής ]] ικανοποιείται από μια δεδομένη δομή. ...

Στη [[μαθηματική λογική]] τα '''αξιώματα Πεάνο''', γνωστά και ως Αξιώματα [[Ντέντεκιντ]]-Πεάνο, είν ...1 ο [[Τσαρλς Σάντερς Περς]] (Charles Sanders Peirce) παρουσίασε ένα αξίωμα για τους φυσικούς αριθμούς<ref>{{Cite book|title=On the Logic of Number|first=C ...

...υστήματα τύπων]] (''type systems''), τα οποία προσφέρουν διάφορους τρόπους για τον ορισμό, την υλοποίηση και την χρήση τους. Διαφορετικά συστήματα τύπων ε ...Αυτό το παράδειγμα είναι ανόητο και δίνει μία εντελώς παραπλανητική άποψη για το τι είναι ένας τύπος δεδομένων -->. ...

:Συνοπτικά για την γενετική γραμματική : ...διαδοχικά βήματα ανάλυσης προκύπτει ως αποτέλεσμα η τιμή μιας [[μεταβλητή (υπολογιστές)#Λογικές μεταβλητές|λογικής μεταβλητής]]: ...

...υζ]]. Η Πιθανότητα κατά Μπέυζ παρέχει μια [[λογική μέθοδος|λογική μέθοδο]] για αναβάθμιση του διαστήματος εμπιστοσύνης. ...em_assassin.svg|thumb|300px|Παρόμοια συλλογιστική μπορεί να χρησιμοποιηθεί για να δείξουμε ότι <math>\begin{smallmatrix} ...

...ράψει τη διαδικασία όπου αντικείμενα επαναλαμβάνονται με αυτο-όμοιο τρόπο. Για παράδειγμα, όταν οι επιφάνειες δυο καθρεπτών είναι σχεδόν παράλληλες μεταξύ ...ηροφορική, πολλοί από τους [[αλγόριθμος|αλγορίθμους]] ορίζονται αναδρομικά για προβλήματα όπως της [[Αλγόριθμος ταξινόμησης|ταξινόμησης]] (π.χ. η [[Ταξινό ...

...χνική αποτύπωση της Μηχανής Τούρινγκ. Οι μηχανές Τούρινγκ χρησιμοποιούνται για την μοντελοποίηση υπολογιστικών συσκευών]] ...οθετηθούν οι θεωρητικοί τομείς επακριβώς και η Ομάδα Ειδικού Ενδιαφέροντος για Αλγορίθμους και Θεωρία Υπολογισμού (SIGACT) της [[Association for Computing ...

Οι κανονικές γλώσσες είναι ιδιαίτερα χρήσιμες στη [[Συντακτική ανάλυση (υπολογιστές)|συντακτική ανάλυση]] εισόδου και το σχεδιασμό [[Γλώσσα προγραμματισμού|γλω Μια ομάδα κανονικών γλωσσών για ένα αλφάβητο Σ ορίζεται αναδρομικά ως εξής: ...

...της, μια Μηχανή Τούρινγκ μπορεί να προσαρμοστεί ώστε να προσομοιώνει την [[λογική]] οποιουδήποτε [[αλγόριθμος|αλγορίθμου]], και είναι ιδιαίτερα χρήσιμη στο ν ..., "Ευφυή μηχανήματα". Έγραψε ότι η μηχανή Τούρινγκ, που εδώ ονομάζεται μια Λογική Υπολογιστική Μηχανή, αποτελείται από: ...

...είναι ένας μικρός κβαντικός υπολογιστής που μπορεί να εκτελέσει [[Κβαντική λογική πύλη|κβαντικές λογικές πύλες]] σε έναν ορισμένο αριθμό από [[qubit]]s.<br / === Κβαντικά δίκτυα για την υπολογιστική === ...

...]] συνήθως πρέπει να συνοδεύονται από σημειώσεις τύπων (type annotations). Για παράδειγμα, στη [[C (γλώσσα προγραμματισμού)|C]]: ...</code> δέχεται δύο ακεραίους και επιστρέφει έναν ακέραιο (κάτι που ισχύει για παράδειγμα στην [[OCaml]]). Από αυτό, ο εξαγωγέας τύπων μπορεί να εξάγει ότ ...

...σιμες συναρτήσεις) και εξελίχθηκε σε γενικής χρήσης γλώσσα προγραμματισμού για να καλύψει τις ανάγκες αυτής της εφαρμογής.<ref name="M82">{{cite journal | ...3 |pages=348-375 |doi=https://doi.org/10.1016/0022-0000(78)90014-4}}</ref> για την [[εξαγωγή τύπων]] (type inference), που μπορεί να συνάγει αυτόματα τους ...

...Φουριέ'' αναφερόμαστε και στις δύο διεργασίες. Η μέθοδος αυτή εφαρμόστηκε για πρώτη φορά από τον [[Ζοζέφ Φουριέ]] στην προσπάθειά του να ερευνήσει τη διά ...αρχικής συνάρτησης (έστω <math>f</math>). Ο ΜΦ αποτελεί οριακή περίπτωση (για συνάρτηση <math>f</math> με άπειρη περίοδο, δηλαδή ουσιαστικά απεριοδική) τ ...