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

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

Σχεδόν όλες οι γλώσσες προγραμματισμού περιλαμβάνουν ρητά την έννοια του τύπου δεδομένων, παρόλο που διαφορετικές Για παράδειγμα, στην [[Java|γλώσσα προγραμματισμού Java]], ο τύπος "int" αναπαριστά το σύνολο των [[32-bit]] [[Ακέραιος (Επιστ ...

...μια πρακτική προσέγγιση που συνυπάρχουν, με στόχο την τυπική περιγραφή των γλωσσών<ref>{{cite journal ...να εφαρμοστούν στην [[Επεξεργασία φυσικής γλώσσας|αυτόματη επεξεργασία των γλωσσών]], κυρίως μέσω της δημιουργίας [[Συντακτική ανάλυση (υπολογιστές)|συντακτι ...

...ισμών γενικότερα. Στη [[Θεωρία γλωσσών προγραμματισμού|Θεωρία των Γλωσσών Προγραμματισμού]], ενός κλάδου της [[Επιστήμη Υπολογιστών|Επιστήμης των Υπολογιστών]], η '' ...αλλά στις τελευταίες παραγράφους δηλώνει ότι «από τις παρούσες πρωταρχικές έννοιες» δεν μπορεί να παράγει «σχέσεις του Ντέντεκιντ και σχέσεις καλώς διατεταγμέ ...

...]] και των [[Μαθηματικά|μαθηματικών]] που επικεντρώνεται σε πιο αφηρημένες έννοιες ή μαθηματικές πτυχές της πληροφορικής και περιλαμβάνει την [[Θεωρία υπολογι ...[[Τυπική σημασιολογία των γλωσσών προγραμματισμού|σημασιολογία των γλωσσών προγραμματισμού]] και [[Τυπική επαλήθευση|επαλήθευση]], [[θεωρία αυτομάτων]], καθώς και τη ...

...ματισμός μπορεί να ιδωθεί ως ειδική περίπτωση [[ταυτοχρονισμός|ταυτόχρονου προγραμματισμού]], όπου η εκτέλεση γίνεται πραγματικά παράλληλα και όχι ψευδοπαράλληλα. ...οινωνία γίνεται μέσω ενός «''δικτύου διασύνδεσης''». Τα μοντέλα παράλληλου προγραμματισμού για πολυεπεξεργαστές και πολυυπολογιστές είναι το μοντέλο κοινού χώρου διευ ...

== Βασικές έννοιες == υπολογισμού της τυπικών γλωσσών συχνά απαιτούν ότι οι συμβολοσειρές κειμένου ...

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

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

...on University}}</ref> Τα σύγχρονα τμήματα κρυπτογράφησης χρησιμοποιούν τις έννοιες του δημόσιου κλειδιού και του συμμετρικού κλειδιού.<ref name=":1" /> Οι σύγ ...her από τον Λεόνε Αλμπέρτι το 1465, το οποίο ενσωμάτωσε διαφορετικά σύνολα γλωσσών. Για να είναι χρήσιμη η ανάλυση συχνότητας, το άτομο που προσπαθεί να αποκρ ...

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

...(« ύπνος »). Επομένως παραπλανά κάποιον στο να αντιλαμβάνεται λειτουργικές έννοιες ως αντικείμενα, οδηγεί σε μια πρακτική αντίληψη των λειτουργικών εννοιών ". ...συστήματος» στο οποίο κάθε επιστημονικά έγκυρη πρόταση ανάγεται σε βασικές έννοιες που αναφέρονται άμεσα στη δεδομένη [[εμπειρία]]. "Η προσπάθεια είναι να συν ...

...ς εκφράσεις στη λογική πρώτου βαθμού, ενώ η [[σημασιολογία]] καθορίζει τις έννοιες πίσω από αυτές τις εκφράσεις. Υπάρχουν 10 διαφορετικοί τύποι με 8 διαφορετικές έννοιες, που χρησιμοποιούν ''την'' αγαπητική [[σχέση]] LXY ("x αγαπάει y ") και οι  ...

...κά]].Την άνοιξη του 1900 συμμετείχε στις εξετάσεις για καθηγητές αυτών των γλωσσών και έλαβε πολύ καλή συνολική βαθμολογία. Η απόδοσή της της έδινε την δυνατό ...στο σπίτι της για να συζητήσουν τα μελλοντικά τους σχέδια και μαθηματικές έννοιες.{{Sfn |Dick|1981|p= 76}} ...