Αποτελέσματα αναζήτησης
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
Τίτλοι άρθρων που ανταποκρίνονται
- ...σών προγραμματισμού]] είναι η [[αξιωματική σημασιολογία]] και η [[δηλωτική σημασιολογία]]. Η λειτουργική σημασιολογία μιας [[γλώσσα προγραμματισμού|γλώσσας προγραμματισμού]] περιγράφει πώς ερμη ...14 KB (658 λέξεις) - 11:03, 29 Φεβρουαρίου 2024
Κείμενα σελίδων που ανταποκρίνονται:
- ...σών προγραμματισμού]] είναι η [[αξιωματική σημασιολογία]] και η [[δηλωτική σημασιολογία]]. Η λειτουργική σημασιολογία μιας [[γλώσσα προγραμματισμού|γλώσσας προγραμματισμού]] περιγράφει πώς ερμη ...14 KB (658 λέξεις) - 11:03, 29 Φεβρουαρίου 2024
- == Σημασιολογία == ...α μονοπάτι αν και μόνο αν ικανοποιείται στη θέση 0 αυτού του μονοπατιού. Η σημασιολογία των τροπικών τελεστών δίνεται ως εξής: ...11 KB (638 λέξεις) - 18:57, 13 Ιανουαρίου 2024
- ...λά συστήματα οι συμπερασματικοί κανόνες χρησιμοποιούνται από κοινού με μία σημασιολογία αλήθειας / ψεύδους για να παράγουν θεωρήματα, δηλαδή κατά την κατασκευή [[α ...σύνολο από καλά ορισμένες προτάσεις, συμπερασματικούς κανόνες και, ενίοτε, σημασιολογία. Για παράδειγμα, βλ. [[χρονική λογική]], [[τροπική λογική]], ή [[διαισθητικ ...15 KB (221 λέξεις) - 18:01, 14 Αυγούστου 2021
- == Σημασιολογία == === Λειτουργική σημασιολογία === ...17 KB (812 λέξεις) - 10:26, 27 Μαρτίου 2024
- <!--* [[Σημασιολογία του Κρίπκε]]--> ...4 KB (90 λέξεις) - 16:11, 31 Μαρτίου 2023
- ...στές. Όπως η CTL, η CTL* είναι μια λογική διακλαδιζόμενου χρόνου. Η τυπική σημασιολογία των τύπων (formulae) της CTL* ορίζεται με βάση μια δεδομένη [[δομή Κρίπκε]] ...4 KB (135 λέξεις) - 13:24, 26 Ιουλίου 2022
- * Η [[σημασιολογία]] (ή [[σημαντική]]) έχει να κάνει με την ερμηνεία των φράσεων της γλώσσας, ...ο το πως φαίνονται (το [[συντακτικό]] τους), και όχι το τι σημαίνουν (τη [[σημασιολογία]] ή [[σημαντική]] τους). Για παράδειγμα, δεν ορίζεται πουθενά στους παραπάν ...19 KB (592 λέξεις) - 20:31, 19 Μαΐου 2024
- ==Σημασιολογία== ...ως για τη λογική δεύτερης τάξης: κανονική ('''standard semantics''') και η σημασιολογία Henkin ('''Henkin semantics'''). Σε κάθε μια από αυτές, οι ερμηνείες των πο ...45 KB (979 λέξεις) - 11:09, 4 Αυγούστου 2024
- == Σημασιολογία της CTL== ...19 KB (1.256 λέξεις) - 00:56, 27 Ιανουαρίου 2022
- ...α απόδειξης της ασφάλειας τύπων σε γλώσσες που ορίζονται από [[λειτουργική σημασιολογία]]. Σύμφωνα με αυτή την προσέγγιση, η ασφάλεια τύπων καθορίζεται από ιδιότητ ...ννοια του “κολλάω”(ή του “κάτι πάει στραβά”) είναι ιδιότητα της [[δυναμική σημασιολογία|δυναμικής της σημασιολογίας]]. ...36 KB (670 λέξεις) - 05:40, 13 Νοεμβρίου 2022
- [[Κατηγορία:Σημασιολογία]] ...12 KB (753 λέξεις) - 21:08, 8 Ιανουαρίου 2025
- ...χέση με τις εκδόσεις της CSP που ακολούθησαν, δεν είχε μαθηματικά ορισμένη σημασιολογία,<ref name="hoare">{{cite book|last=Hoare|first=C. A. R. |title=Communicatin === Τυπική σημασιολογία === ...54 KB (2.658 λέξεις) - 10:32, 21 Μαρτίου 2024
- ...οιεί εκτενώς συνέχειες για να μπορεί να αναλύει ακολουθιακά προγράμματα σε σημασιολογία [[συναρτησιακός προγραμματισμός|συναρτησιακού προγραμματισμού]].<ref name=" Οι συνέχειες επίσης χρησιμοποιούνται σε μοντέλα υπολογισμού όπως η [[δηλωτική σημασιολογία]], το μοντέλο [[Actors (πληροφορική)|Actor]], οι [[λογισμοί διεργασιών]] (p ...31 KB (1.182 λέξεις) - 23:06, 8 Φεβρουαρίου 2025
- ...μένα στα πρωτότυπα, και επηρεάστηκαν από τη [[Scheme]], έχουν αρκετά κοινή σημασιολογία, παρά τις σημαντικές διαφορές στη [[Σύνταξη (γλώσσα προγραμματισμού)|σύνταξ Η επεκτάσιμη σημασιολογία είναι βασικό χαρακτηριστικό της Lua, και η ιδέα του “μεταπίνακα” (“metatabl ...27 KB (1.146 λέξεις) - 16:09, 24 Ιανουαρίου 2025
- ...των συμβόλων είναι επιτρεπτές εκφράσεις στη λογική πρώτου βαθμού, ενώ η [[σημασιολογία]] καθορίζει τις έννοιες πίσω από αυτές τις εκφράσεις. == Σημασιολογία == ...91 KB (2.148 λέξεις) - 02:57, 27 Ιανουαρίου 2025
- ...τέλων αναγνωρίζει και ασχολείται με μια δυικότητα (duality): Εξετάζει τα [[σημασιολογία|σημασιολογικά]] στοιχεία μέσω των [[Σύνταξη (γλωσσολογία)|συντακτικών]] στο Αν και η [[καθολική άλγεβρα]] παρέχει τη [[σημασιολογία]] μιας υπογραφής, η [[μαθηματική λογική|λογική]] παρέχει τη [[σύνταξη (μαθη ...51 KB (1.234 λέξεις) - 17:47, 29 Σεπτεμβρίου 2024
- ...ποστήριξη για '''λίστες ως τύπο δεδομένων''', και έχουν ειδική σύνταξη και σημασιολογία αλλά και λειτουργίες πάνω σε αυτές. Μια λίστα συχνά κατασκευάζεται γράφοντα ...21 KB (385 λέξεις) - 09:58, 5 Φεβρουαρίου 2024
- ...οσύνολο της ML με [[Τυπική σημασιολογία των γλωσσών προγραμματισμού|τυπική σημασιολογία]] επιβεβαιωμένη στο HOL.<ref>{{cite journal |last=Kumar |first=Ramana |coau ...38 KB (2.456 λέξεις) - 09:54, 20 Σεπτεμβρίου 2024
- Στη λογική δεύτερης τάξης και στη λογική ανώτερης τάξης με σημασιολογία ανώτερης τάξης, το αξίωμα των προδιαγραφών είναι μια λογική εγκυρότητα και ...20 KB (695 λέξεις) - 20:42, 6 Μαΐου 2024
- ...κριτό τοπολογικό διάστημα. Σχετίζεται με την [[θεωρία υπολογισμών]] και τη σημασιολογία της. ...23 KB (447 λέξεις) - 16:40, 9 Ιουλίου 2023