Ταχύτερη από τον browser!
23 συγγένειες: Internet Encyclopedia of Philosophy, Κατηγορηματική λογική, Πρόσθεση, Πέτρος Αβελάρδος, Πίνακας αληθείας, Σύνδεσμος, Στωικισμός, Τζορτζ Μπουλ, Τυπική γλώσσα, Τυπικό σύστημα, Όρος (μαθηματικά), Μαθηματική λογική, Μεταφορά, Θεώρημα, Θεωρία συνόλων, Αριθμητική, Αύγουστος Ντε Μόργκαν, Αξίωμα, Γκότλομπ Φρέγκε, Γκότφριντ Βίλχελμ Λάιμπνιτς, Άδεια Ελεύθερης Τεκμηρίωσης GNU, Λογική πρώτης τάξης, Ισομορφισμός.
Internet Encyclopedia of Philosophy
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Διαδικτυακή Εγκυκλοπαίδεια Φιλοσοφίας.
Νέος!!: Προτασιακός λογισμός και Internet Encyclopedia of Philosophy · Δείτε περισσότερα »
Κατηγορηματική λογική
Στη μαθηματική λογική, κατηγορηματική λογική είναι ο γενικός όρος για τα συμβολικά τυπικά συστήματα όπως η λογική πρώτουβαθμού, η λογική δεύτερουβαθμού, η λογική πολλών ειδών (many-sorted logic), ή η infinitary λογική.
Νέος!!: Προτασιακός λογισμός και Κατηγορηματική λογική · Δείτε περισσότερα »
Πρόσθεση
Εκτός από τους αριθμούς 0-10. Γραμμή ετικέτες.
Νέος!!: Προτασιακός λογισμός και Πρόσθεση · Δείτε περισσότερα »
Πέτρος Αβελάρδος
Ο Αβελάρδος και η γυναίκα τουΕλοΐζα Φυλμπέρ. Εικονογράφηση σε χειρόγραφο του14ουαιώνα Ο Πέτρος Αβελάρδος (γαλλικά: Pierre Abélard, 1079 - 21 Απριλίου1142) ήταν Γάλλος φιλόσοφος και θεολόγος τουΜεσαίωνα.
Νέος!!: Προτασιακός λογισμός και Πέτρος Αβελάρδος · Δείτε περισσότερα »
Πίνακας αληθείας
Ο πίνακας αληθείας είναι ένας "λογικός" πίνακας πουχρησιμοποιείται ευρέως στην επιστήμη της πληροφορικής και των μαθηματικών (Προτασιακός λογισμός) καθώς και στην παρουσίαση τουεξαγόμενουστις λογικές πύλες.
Νέος!!: Προτασιακός λογισμός και Πίνακας αληθείας · Δείτε περισσότερα »
Σύνδεσμος
Ο όρος Σύνδεσμος μπορεί να αναφέρεται.
Νέος!!: Προτασιακός λογισμός και Σύνδεσμος · Δείτε περισσότερα »
Στωικισμός
Ο Στωικισμός είναι φιλοσοφική σχολή των Ελληνιστικών και Ρωμαϊκών χρόνων (300 π.Χ. – περίπου250 μ.Χ.), η οποία ιδρύθηκε στην Αθήνα από τον Ζήνωνα τον Κιτιέα με κέντρο την Ποικίλη Στοά, από όπουκαι πήρε το όνομά της.
Νέος!!: Προτασιακός λογισμός και Στωικισμός · Δείτε περισσότερα »
Τζορτζ Μπουλ
Ο Τζορτζ Μπουλ (σύντομο, 2 Νοεμβρίου1815 – 8 Δεκεμβρίου1864) ήταν Άγγλος μαθηματικός, φιλόσοφος και μελετητής της λογικής.
Νέος!!: Προτασιακός λογισμός και Τζορτζ Μπουλ · Δείτε περισσότερα »
Τυπική γλώσσα
Στα διακριτά μαθηματικά, στη μαθηματική λογική, στη θεωρητική πληροφορική και στη γλωσσολογία, μια τυπική γλώσσα (formal language) ή απλώς γλώσσα είναι η γλώσσα πουορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους πουμπορεί να επεξεργαστεί μια μηχανή.
Νέος!!: Προτασιακός λογισμός και Τυπική γλώσσα · Δείτε περισσότερα »
Τυπικό σύστημα
Στην λογική, ένα τυπικό σύστημα (formal system), ή λογικό σύστημα (logic system), ή απλά λογική αποτελείται από μια τυπική γλώσσα σε συδυασμό με ένα συμπερασματικό σύστημα, πουαποτελείται από ένα σύνολο από συμπερασματικούς κανόνες και/ή αξιώματα.
Νέος!!: Προτασιακός λογισμός και Τυπικό σύστημα · Δείτε περισσότερα »
Όρος (μαθηματικά)
Γενικά στα Μαθηματικά η λέξη όρος απαντάται με τις ακόλουθες συνηθέστερες σημασίες.
Νέος!!: Προτασιακός λογισμός και Όρος (μαθηματικά) · Δείτε περισσότερα »
Μαθηματική λογική
Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική.
Νέος!!: Προτασιακός λογισμός και Μαθηματική λογική · Δείτε περισσότερα »
Μεταφορά
Γενικά μεταφορά χαρακτηρίζεται οποιαδήποτε μετακίνηση αντικειμένουαπό ένα σημείο (τόπο) σε άλλο.
Νέος!!: Προτασιακός λογισμός και Μεταφορά · Δείτε περισσότερα »
Θεώρημα
πυθαγόρειουθεωρήματος με αναδιάταξη τεσσάρων ίσων ορθογώνιων τριγώνων. Στα μαθηματικά, ένα θεώρημα είναι μια πρόταση πουαποδεικνύεται με βάση προηγουμένως αποδεκτές ή αποδεδειγμένες προτάσεις όπως τα αξιώματα.
Νέος!!: Προτασιακός λογισμός και Θεώρημα · Δείτε περισσότερα »
Θεωρία συνόλων
Ένα Διάγραμμα Βεν πουαπεικονίζει την τομή δύο συνόλων Στα μαθηματικά, θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία πουμελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής.
Νέος!!: Προτασιακός λογισμός και Θεωρία συνόλων · Δείτε περισσότερα »
Αριθμητική
Η αριθμητική (από την ελληνική λέξη αριθμός) είναι ο παλαιότερος και πλέον στοιχειώδης κλάδος των μαθηματικών, χρησιμοποιείται σχεδόν από όλους, από απλές καθημερινές δραστηριότητες μέτρησης ως προχωρημένους επιστημονικούς ή οικονομικούς υπολογισμούς.
Νέος!!: Προτασιακός λογισμός και Αριθμητική · Δείτε περισσότερα »
Αύγουστος Ντε Μόργκαν
Ο Αύγουστος Ντε Μόργκαν (Αγγλ.:Augustus De Morgan, 27 Ιουνίου1806 - 18 Μαρτίου1871) ήταν Βρετανός μαθηματικός και επιστήμονας της λογικής.
Νέος!!: Προτασιακός λογισμός και Αύγουστος Ντε Μόργκαν · Δείτε περισσότερα »
Αξίωμα
To αξίωμα ή αρχή στη λογική, είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης.
Νέος!!: Προτασιακός λογισμός και Αξίωμα · Δείτε περισσότερα »
Γκότλομπ Φρέγκε
Ο Φρίντριχ Λούντβιχ Γκότλομπ Φρέγκε (Friedrich Ludwig Gottlob Frege, 8 Νοεμβρίου1848 - 26 Ιουλίου1925) ήταν Γερμανός μαθηματικός, λογικολόγος και φιλόσοφος πουεργάστηκε στο Πανεπιστήμιο της Ιένας.
Νέος!!: Προτασιακός λογισμός και Γκότλομπ Φρέγκε · Δείτε περισσότερα »
Γκότφριντ Βίλχελμ Λάιμπνιτς
Ο Γκότφριντ Βίλχελμ Λάιμπνιτς (Gottfried Wilhelm Leibniz, σερ. Готфрид Вилхелм Лајбниц, 1 Ιουλίου1646, Λειψία − 14 Νοεμβρίου1716, Ανόβερο) ήταν Γερμανός φιλόσοφος καθώς και επιστήμονας της σερβικής προέλευσης, μαθηματικός, διπλωμάτης, φυσικός, ιστορικός, βιβλιοθηκονόμος και διδάκτορας των λαϊκών και εκκλησιαστικών Νομικών.
Νέος!!: Προτασιακός λογισμός και Γκότφριντ Βίλχελμ Λάιμπνιτς · Δείτε περισσότερα »
Άδεια Ελεύθερης Τεκμηρίωσης GNU
Το λογότυπο της GFDL. Το έμβλημα τουGNU project. Η GNU Free Documentation License (GFDL) (Άδεια Ελεύθερης Τεκμηρίωσης GNU) είναι μια άδεια ελεύθερης διάθεσης για ελεύθερο περιεχόμενο σχεδιασμένη από το Ίδρυμα ΕλεύθερουΛογισμικού (FSF) για το εγχείρημα GNU.
Νέος!!: Προτασιακός λογισμός και Άδεια Ελεύθερης Τεκμηρίωσης GNU · Δείτε περισσότερα »
Λογική πρώτης τάξης
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΛογική πρώτουβαθμού.
Νέος!!: Προτασιακός λογισμός και Λογική πρώτης τάξης · Δείτε περισσότερα »
Ισομορφισμός
Στα μαθηματικά, ένας ισομορφισμός (από τα αρχαία ελληνικά ίσος και μορφή) είναι ένας ομομορφισμός ή μορφισμός (δηλαδή για παράδειγμα μια μαθηματική απεικόνιση) όπουισχύει το αντίστροφο.
Νέος!!: Προτασιακός λογισμός και Ισομορφισμός · Δείτε περισσότερα »
