Αποτελέσματα αναζήτησης
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
Τίτλοι άρθρων που ανταποκρίνονται
- {{πηγές|22|12|2016}}{{DISPLAYTITLE:λ-λογισμός με τύπους}} ...ους]] αλλά μπορούν επίσης να θεωρηθούν και σαν βασικότερη θεωρία, με τον ''λ-λογισμό χωρίς τύπους'' να είναι ειδική περίπτωση που έχει μόνο έναν τύπο. ...9 KB (136 λέξεις) - 08:55, 15 Ιανουαρίου 2025
- {{πηγές|22|12|2016}}{{DISPLAYTITLE:λ-λογισμός με απλούς τύπους}} ...ρτησης|τύπους συναρτήσεων]]. Είναι το κανονικό και το πιο απλό παράδειγμα λ-λογισμού με τύπους, και εμφανίζει πολλές επιθυμητές και ενδιαφέρουσες ιδιότ ...17 KB (812 λέξεις) - 10:26, 27 Μαρτίου 2024
Κείμενα σελίδων που ανταποκρίνονται:
- {{πηγές|22|12|2016}}{{DISPLAYTITLE:λ-λογισμός με τύπους}} ...ους]] αλλά μπορούν επίσης να θεωρηθούν και σαν βασικότερη θεωρία, με τον ''λ-λογισμό χωρίς τύπους'' να είναι ειδική περίπτωση που έχει μόνο έναν τύπο. ...9 KB (136 λέξεις) - 08:55, 15 Ιανουαρίου 2025
- ...α νέα συνάρτηση <math>\tau_3\to\tau_4</math>). <ref>{{cite web|title=Λάμδα Λογισμός|url=http://cgi.di.uoa.gr/~kassios/courses/fp/notes/lambda-2007b.pdf|publish [[Κατηγορία:Λ-λογισμός]] ...4 KB (191 λέξεις) - 14:27, 23 Ιουλίου 2022
- ...ο [[πρόβλημα απόφασης]] (Entscheidungsproblem) του [[Ντάβιντ Χίλμπερτ]]. Ο λογισμός λάμδα μπορεί να χρησιμοποιηθεί για να ορίσει τι είναι μια [[υπολογισιμότητα ...σύστημα. Έτσι, είναι ισοδύναμος με τη [[μηχανή Τούρινγκ]]. Παρόλα αυτά, ο λογισμός λάμδα είναι τυποποίηση της υπολογισιμότητας που δίνει έμφαση στη χρήση κανό ...29 KB (1.189 λέξεις) - 08:16, 9 Ιουλίου 2024
- ...υμα ως <math>x \rightarrow x^2 - x + 42</math>.<ref>{{cite web|title=Λάμδα Λογισμός|url=http://cgi.di.uoa.gr/~kassios/courses/fp/notes/lambda-2007b.pdf|publish ...ρτηση λάμδα ορίζεται με το σύμβολο ''\'' που συμβολίζει το ελληνικό γράμμα λ και εννοεί τον ορισμό συνάρτησης λάμδα <ref>{{cite web|last=Sorge|first=Vol ...7 KB (339 λέξεις) - 13:23, 23 Ιουλίου 2022
- ...[[λ-λογισμός με τύπους]] που επεκτείνει τον [[λ-λογισμός με απλούς τύπους|λ-λογισμό με απλούς τύπους]] εισάγοντας ένα μηχανισμό καθολικής ποσόδειξης επ Επεκτείνοντας το [[λ-λογισμός με απλούς τύπους|λ-λογισμό με απλούς τύπους]] που έχει μεταβλητές επί των όρων, το Σύστημα F έ ...15 KB (767 λέξεις) - 16:01, 2 Φεβρουαρίου 2024
- ...ι τρεις άξονες του κύβου αντιστοιχούν σε τρεις διαφορετικές επεκτάσεις του λ-λογισμού με απλούς τύπους: την προσθήκη εξαρτώμενων τύπων, την προσθήκη πολ ...εί στο LF, παράγεται από την γενίκευση του τύπου του χώρου συναρτήσεων του λ-λογισμού με απλούς τύπου στον τύπο του εξαρτημένου γινομένου???? ...17 KB (1.036 λέξεις) - 20:34, 31 Οκτωβρίου 2024
- {{πηγές|22|12|2016}}{{DISPLAYTITLE:λ-λογισμός με απλούς τύπους}} ...ρτησης|τύπους συναρτήσεων]]. Είναι το κανονικό και το πιο απλό παράδειγμα λ-λογισμού με τύπους, και εμφανίζει πολλές επιθυμητές και ενδιαφέρουσες ιδιότ ...17 KB (812 λέξεις) - 10:26, 27 Μαρτίου 2024
- == Διανυσματικός λογισμός == == Απειροστικός λογισμός == ...19 KB (550 λέξεις) - 15:34, 13 Ιουλίου 2024
- ...εν λόγω φραγές έχουν μεγάλη σημασία στις σύγχρονες, άμεσες μεθόδους του [[Λογισμός των μεταβολών|λογισμού των μεταβολών]]. Ένα πολύ στενά συνδεδεμένο αποτέλεσ ...ελαχιστοποιείται από ιδιοσυνάρτηση που αντιστοιχεί στην ελάχιστη ιδιοτιμή λ<sub>1</sub> της (αρνητικής) Λαπλασιανής, είναι απλή συνέπεια ότι για κάθε < ...8 KB (379 λέξεις) - 14:23, 5 Οκτωβρίου 2024
- ...αυτός προέρχεται από τον αλγόριθμο εξαγωγής για τον [[Λ-λογισμός με τύπους|λ-λογισμό με τύπους]], που αναπτύχθηκε από τους Haskell Curry και Robert Feys ...ecker), επομένως δίνεται ένας ελεγκτής τύπων για το [[λ-λογισμός με τύπους|λ-λογισμό με τύπους]]: ...20 KB (612 λέξεις) - 16:20, 31 Μαρτίου 2023
- === Διανυσματικός λογισμός === == Απειροστικός λογισμός == ...30 KB (641 λέξεις) - 04:00, 11 Οκτωβρίου 2024
- ...διοτιμές {{nowrap|{''λ<sub>n</sub>''} ⊂ '''R'''}}, τέτοιες όπως {{nowrap|''λ<sub>n</sub>'' → 0}}. για κάποιο λ. Από Hermiticity, {{nowrap|''Ty'' {{=}} λ''y''}}. ...44 KB (1.646 λέξεις) - 10:48, 22 Φεβρουαρίου 2025
- ...τύπων, οι πιο συχνά μελετούμενοι μη κατηγορηματικοί [[Λ-λογισμός με τύπους|λ-λογισμοί με τύπους]], στηρίζονται στον [[λάμδα κύβο]], ιδιαίτερα στο [[σύστ ...14 KB (201 λέξεις) - 15:58, 2 Φεβρουαρίου 2024
- ...πικές χρήσεις της λειτουργικής σημασιολογίας ήταν η χρήση του [[λ-λογισμός|λ-λογισμού]] για τον ορισμό της σημασιολογίας της [[LISP]] από τον [[Τζον Μακ ...14 KB (658 λέξεις) - 11:03, 29 Φεβρουαρίου 2024
- '''Προτασιακός λογισμός''' (ή αλλιώς ''προτασιακή λογική'') είναι ο κλάδος της [[Μαθηματική λογική| Σε γενικές γραμμές, ένας λογισμός είναι ένα [[τυπικό σύστημα]] που αποτελείται από ένα σύνολο συντακτικών εκφ ...72 KB (1.915 λέξεις) - 21:50, 25 Νοεμβρίου 2024
- ...κος στο οποίο εκτείνεται) και ότι έχει σταθερή γραμμική πυκνότητα μάζας λ (λ=M/L=σταθερό). Θεωρώντας τον άξονα πάνω στον οποίο βρίσκεται η ράβδος ως άξο * Finney, R.L., Giordano F.R. (2005). ''Απειροστικός λογισμός, Τόμος ΙΙ''. Ελληνική μετάφραση. Πανεπιστημιακές Εκδόσεις Κρήτης. ...15 KB (621 λέξεις) - 11:13, 25 Φεβρουαρίου 2023
- |Λ λ |Λ λ ᴧ ...39 KB (339 λέξεις) - 11:51, 3 Φεβρουαρίου 2025
- ...) και, στη συνέχεια, ελαχιστοποιώντας αυτό το μήκος, χρησιμοποιώντας τον [[Λογισμός των μεταβολών|λογισμό των μεταβολών]]. Αυτό έχει κάποια μικρά τεχνικά προβλ ...ικρό [[ανοικτό σύνολο]] του ''M'' μπορούν να επιτευχθούν με τεχνικές του [[Λογισμός των μεταβολών|λογισμού των μεταβολών]]. Συνήθως, κανείς εισάγει την ακόλουθ ...41 KB (1.735 λέξεις) - 01:25, 16 Φεβρουαρίου 2025
- ...Josiah Willard Gibbs και Oliver Heaviside ανέπτυξαν τον [[Διανυσματικός λογισμός|διανυσματικό λογισμό]] , που περιελάμβανε ξεχωριστό εξωτερικό [[γινόμενο]] === Το διαστημα Λ<sup>2</sup>ℝ<sup>''n''</sup> === ...41 KB (1.479 λέξεις) - 14:04, 4 Οκτωβρίου 2024
- === Borel συναρτησιακός λογισμός=== ..., \lambda]</math>. Η οικογένεια των προβολικών τελεστών E<sub>''T''</sub>(λ) ονομάζεται '''ανάλυση της ταυτότητας''' για το ''T''. Επιπλέον, η ακόλουθ ...48 KB (1.445 λέξεις) - 15:03, 8 Φεβρουαρίου 2020