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

Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση
  • (second-order logic) ή η απειρική λογική (infinitary logic), αλλά και μη κλασσικές λογικές όπως, η διαισθητική λογική (intuitionistic logic). Κύριο λήμμα:
    44 KB (3.271 λέξεις) - 12:54, 24 Οκτωβρίου 2018
  • λογική, μία λογική ανώτερου βαθμού ή λογική ανώτερης τάξης (higher-order logic) διακρίνεται από μία λογική πρώτου βαθμού με βάση αρκετά χαρακτηριστικά
    5 KB (408 λέξεις) - 14:25, 28 Δεκεμβρίου 2017
  • Στη λογική, ο όρος χρονική λογική (Αγγλικά: temporal logic) χρησιμοποιείται για να περιγράψει κάθε σύστημα κανόνων και συμβολισμού για την αναπαράσταση
    17 KB (1.000 λέξεις) - 20:43, 19 Νοεμβρίου 2018
  • Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών
    3 KB (199 λέξεις) - 11:52, 1 Απριλίου 2013
  • Philosophy: Ancient Logic Aristotle Non-Modal Syllogistic [2] Stanford Encyclopedia of Philosophy: Ancient Logic Aristotle Modal Logic Hurley, Patrick J
    5 KB (320 λέξεις) - 20:41, 8 Μαρτίου 2018
  • Logic — An Interpretation, Bulletin of Symbolic Logic, Volume 7, Issue 4, 2001, pp. 441–484, DOI 10.2307/2687794, JStor Gamut, L. T. F. (1991); Logic
    91 KB (8.204 λέξεις) - 05:50, 16 Απριλίου 2018
  • temporal logic. J. ACM 33, 1 (Jan. 1986), 151-178. DOI= http://doi.acm.org/10.1145/4904.4999 Ph. Schnoebelen: The Complexity of Temporal Logic Model Checking
    4 KB (339 λέξεις) - 20:44, 19 Νοεμβρίου 2018
  • συχνά γράφονται σαν εκφράσεις γραμμικής χρονικής λογικής (Linear Temporal Logic, LTL). Όταν μια απαίτηση εκφράζεται σαν πρόταση LTL, ένας ελεγκτής μοντέλων
    4 KB (258 λέξεις) - 18:52, 31 Μαρτίου 2013
  • Univ. Press. 1951 (1940). Mathematical Logic. Harvard Univ. Press. (ISBN 0-674-55451-5). 1966. Selected Logic Papers. New York: Random House. 1970 (2nd
    13 KB (1.223 λέξεις) - 13:07, 5 Αυγούστου 2018
  • Historians' Fallacies: Toward a Logic of Historical Thought, Harper Torchbooks, 1970. Douglas N. Walton, Informal logic: A handbook for critical argumentation
    6 KB (467 λέξεις) - 14:57, 26 Φεβρουαρίου 2019
  • Η λογική με πολλούς τύπους (many-sorted logic) μπορεί να αναπαριστά τυπικά την πρόθεση να μη χειριζόμαστε το σύμπαν σαν μια ομογενή συλλογή από αντικείμενα
    3 KB (216 λέξεις) - 14:54, 1 Μαρτίου 2017
  • Predicative Second Order Theories of Predication", Notre Dame Journal of Formal Logic, vol. 21(1980); "Richard Montague and the Logical Analysis of Language"
    2 KB (161 λέξεις) - 12:19, 11 Μαΐου 2017
  • πρώτου βαθμού, η λογική δεύτερου βαθμού, η λογική πολλών ειδών (many-sorted logic), ή η infinitary λογική. Αυτό το τυπικό σύστημα διαφοροποιείται από άλλα
    2 KB (127 λέξεις) - 01:49, 26 Μαρτίου 2013
  • Encyclopedia of Philosophy. Ανακτήθηκε στις 26 Φεβρουαρίου 2014.  Frege's Logic, Theorem, and Foundations for Arithmetic — by Edward Zalta. Internet Encyclopedia
    6 KB (341 λέξεις) - 11:11, 13 Νοεμβρίου 2017
  • Brown Boolean Reasoning: The Logic of Boolean Equations, 2η έκδ., 2003, σελ. 77 Styazhkin, N.I.: History of Mathematical Logic from Leibniz to Peano. MIT
    4 KB (329 λέξεις) - 09:50, 10 Μαΐου 2017
  • Improvement in Boole's Calculus of Logic (1867) Description of a Notation for the Logic of Relatives (1870) On the Algebra of Logic (1880) A Boolean Algebra with
    95 KB (7.986 λέξεις) - 21:49, 22 Απριλίου 2019
  • Η γραμμική χρονική λογική (linear temporal logic, LTL) είναι μια τροπική χρονική λογική με τροπικότητες που αναφέρονται στο χρόνο. Στην LTL, μπορούν να
    11 KB (1.038 λέξεις) - 20:43, 19 Νοεμβρίου 2018
  • Reprinted in Boolos, Logic, Logic and Logic, 1998. Henkin, L. (1950). «Completeness in the theory of types». Journal of Symbolic Logic 15 (2): 81–91. doi:10
    45 KB (3.855 λέξεις) - 19:43, 5 Σεπτεμβρίου 2017
  • users.sch.gr. Αρχειοθετήθηκε 26/01/2019. Ανακτήθηκε 26/01/2019. (Αγγλικά) «Logic Symbols» από rapidtables.com. Αρχειοθετήθηκε 26/01/2019. Ανακτήθηκε 26/01/2019
    4 KB (244 λέξεις) - 13:52, 26 Ιανουαρίου 2019
  • maint: Extra text: editors list (link) Zuboff, Arnold (1990). «One self: The logic of experience». Inquiry 33 (1): 39–68. doi:10.1080/00201749008602210. ISSN
    5 KB (422 λέξεις) - 19:05, 14 Οκτωβρίου 2017

Αποτελέσματα από αδελφικά εγχειρήματα

Εμφάνιση: προηγ. 20-επόμ. 20 (20 | 50 | 100 | 250 | 500).