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

...Λογική]]. Για παράδειγμα, η πρόταση «''Ο Κέρμιτ είναι πράσινος''» αποτελεί λογική συνέπεια του συνδυασμού «''όλοι οι βάτραχοι είναι πράσινοι''» και «''ο Κέρμ ...ογία|επιστημολογίας]], ειδικότερα σε ό,τι αφορά την κοινοποίηση [[υπόθεση (Λογική)|υποθέσεων]] σχετικά με την [[αιτιότητα]] των [[παράγων κινδύνου|παραγόντων ...

{{άλλεςχρήσεις4|τις θεωρίες όπως ορίζονται και μελετώνται στη μαθηματική λογική|την αναλυτική δομή|Θεωρία}} ...συγγραφείς απαιτούν η θεωρία να είναι [[Κλειστότητα|κλειστή]] ως προς τη [[λογική συνέπεια]]. ...

...μιας γερμανόφωνης γυναίκας και ενός μετανάστη από την [[Ιταλία]] που ζούσε στη [[Βοημία]], που ήταν τότε μέρος της [[Αυστριακή Αυτοκρατορία|Αυστριακής Αυτ ...κκλησία|καθολικοί]]. Ο πατέρας του, Μπέρναρντ Πομπήιος Μπολζάνο, γεννήθηκε στη βόρεια Ιταλία και εγκαταστάθηκε στην [[Πράγα]], όπου παντρεύτηκε τη Μαρία Σ ...

...τις προτάσεις μιας [[Τυπική γλώσσα|τυπικής γλώσσας]] ονομάζεται [[μοντέλο (λογική)|μοντέλο]] ''για'' αυτήν τη γλώσσα. Αν ένα μοντέλο μιας γλώσσας ικανοποιεί ...ελετώνται, όσο και στις τεχνικές που χρησιμοποιούνται. Η θεωρία μοντέλων [[λογική ανώτερου βαθμού|λογικών ανώτερου βαθμού]] ή απεριόριστων λογικών (infinitar ...

...ά όχι με την έννοια της εφαρμογής σοφής φαντασίας (όπως ο Άλμπερτ Αϊστάιν, στη μερική επιτυχία). Έτσι, ο όρος ''φαινόμενο'' αναφέρεται σε κάθε περιστατικό ...ο:Space_Fire.jpg|δεξιά|μικρογραφία| Μια σύγκριση μεταξύ μιας φλόγας κεριού στη Γη (αριστερά) και σε περιβάλλον μικροβαρύτητας, όπως αυτό που βρέθηκε στον ...

...ματικά. Το αποτέλεσμα ήταν να εγκαταλείψει τη Βόννη χωρίς να πάρει πτυχίο. Στη συνέχεια σπούδασε μαθηματικά στην [[Πανεπιστήμιο του Μύνστερ|Ακαδημία του Μ Ο Βάιερστρας ενδιαφερόταν για τη λογική πληρότητα του απειροστικού λογισμού, καθώς στην εποχή του υπήρχαν κάπως ασα ...

...([[λογική σύζευξη|σύζευξη]]), «ή» ([[λογική διάζευξη|διάζευξη]]), «όχι» ([[λογική άρνηση|άρνηση]]) και «αν» (αλλά μόνο όταν χρησιμοποιείται με την έννοια της ...μπέρασμα είναι λογικές προτάσεις. Οι προκείμενες θεωρούνται δεδομένες και, στη συνέχεια, με την εφαρμογή του [[modus ponens]] (ένας [[κανόνας συμπερασμού] ...

...ς [[Πεπερασμένο σύνολο|πεπερασμένων συνόλων]]. Αποτελεί σημαντικό εργαλείο στη [[Συνδυαστική]] και τη [[Θεωρητική Πληροφορική]]. * Ένας πίνακας προσπτώσεων στη συνδυαστική και την πεπερασμένη γεωμετρία έχει έναν για να υποδεικνύει προσ ...

η οποία είναι η εξίσωση Κλάιν-Γκόρντον. Για να τη φέρουμε στη συνήθη μορφή της βιβλιογραφίας, θα: Ακολουθώντας την ίδια λογική που ακολουθείται στην εξίσωση Σρέντινγκερ, παίρνουμε την εξίσωση Κλάιν-Γκόρ ...

...κουν αρκετές εφαρμογές στην [[πληροφορική]], στις [[επιστήμες μηχανικών]], στη [[χημεία]], στην [[κοινωνιολογία]] κ.α. Για παράδειγμα, στα [[σύστημα πλοήγ ...=Μαυρονικόλας, Μάριος |year=2002 |title=Διακριτά Μαθηματικά και Μαθηματική Λογική: Θεωρία Γράφων |publisher=[[Ε.Α.Π.]] |location=Πάτρα |ISBN=960-538-461-2 }} ...

...η της έννοιας της συνάρτησης. Μεταξύ αυτών είναι ο [[Oresme]] (1323-1382). Στη θεωρία του, μερικές γενικές ιδέες σχετικά με την ανεξάρτητη και την εξαρτημ ...ο διαφωνίας μεταξύ των d'Alembert και Euler, και είχαν σημαντικό αντίκτυπο στη γενίκευση της έννοιας της συνάρτησης. ...

...ο που κάποιοι επιστήμονες της Πληροφορικής περιορίζουν τη σημασία του όρου στη μελέτη των αφηρημένων φορμαλισμών όπως ο [[λ-λογισμός με τύπους]]. ...όνσο Τσερτς]], εφευρέτης του [[Λογισμός λάμδα|λ-λογισμού]], ανέπτυξε μια [[Λογική Υψηλής Τάξης]] γνωστότερη ως ''Θεωρία Τύπων του Τσερτς'',<ref name="church" ...

...ολουθία Κωσύ , που αποτελείται από τις επαναλήψεις, εκπληρώνοντας έτσι μια λογική κατάσταση, όπως τερματισμός. Οι παραπάνω έννοιες δεν είναι τόσο άγνωστες όσο φαίνονται αρχικά. Η συνήθης αποδοχή του γεγονότ ...

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

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

== Έννοιες που αντιπροσωπεύονται από ελληνικά γράμματα == ** το [[Σφάλματα πρώτου και δευτέρου βαθμού|ψευδώς θετικό ποσοστό]] στη στατιστική (σφάλμα τύπου I) ...

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

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

...τις τιμές: [[Αληθές (μαθηματική λογική)|αληθές]] και [[Ψευδές (μαθηματική λογική)|ψευδές]]. Παρότι μόνο δύο τιμές είναι πιθανές, σπάνια αναπαρίστανται στους ...εδομένων]]. Η κατασκευή ενός σύνθετου τύπου από πρωταρχικούς τύπους οδηγεί στη δημιουργία ενός νέου τύπου, για παράδειγμα ο τύπος ''πίνακας-ακεραίων'' είν ...

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