Fuzzy Logic

writer : Zadeh, L. and Kacprzyk, J.

source : Fuzzy Logic for the Management of Uncertainty. New York: Wiley, 1992.

page : ...

22-1-2022 1911

more

Recursively Enumerable Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover 1982.

page : ...

20-1-2022 1573

more

Equational Logic

writer : Baader, F. and Nipkow, T

source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

page : ...

23-1-2022 1478

more

Herbrand,s Theorem

writer : Ireland, K. and Rosen, M.

source : "Herbrand,s Theorem." §15.3 in A Classical Introduction to Modern Number Theory, 2nd ed. New York: Springer-Verlag,

page : pp. 241-248

24-1-2022 1685

more

Disjunctive Normal Form

writer : Mendelson, E

source : ntroduction to Mathematical Logic, 4th ed. London: Chapman & Hall

page : p. 30

23-1-2022 1549

more

Bottle Imp Paradox

writer : Erickson, G. W. and Fossa, J. A

source : Dictionary of Paradox. Lanham, MD: University Press of America,

page : ...

14-2-2022 1900

more

Enlargement

writer : Gehrke, M.; Kaiser, K.; and Insall, M.

source : "Some Nonstandard Methods Applied to Distributive Lattices." Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik 36

page : ...

13-2-2022 3921

more

Missing Dollar Paradox

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

15-2-2022 3028

more

Existence

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

17-1-2022 1623

more

Deduction Theorem

writer : Kleene, S. C

source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

23-1-2022 1984

more

Quantified System

writer : Strzebonski, A

source : "Solving Algebraic Inequalities." Mathematica J. 7,

page : 525-541

8-2-2022 1619

more

Epimenides Paradox

writer : Curry, H. B

source : Foundations of Mathematical Logic. New York: Dover

page : ...

15-2-2022 2208

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

source : "The Wheel of Aristotle." Math. Teacher 65

page : ...

14-2-2022 2165

more

Simpson,s Paradox

writer : Good, I. J. and Mittal, Y.

source : The Amalgamation and Geometry of Two-by-Two Contingency Tables." Ann. Stat. 15

page : ...

17-2-2022 4617

more

Transfer Principle

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

13-2-2022 2106

more

Regular Expression

writer : Aho, A. V. and Ullman J. D

source : Theory of Parsing, Translation and Compiling, Vol. 1. Englewood Cliffs, NJ: Prentice Hall, 1972.

page : ...

8-2-2022 1836

more

Game of Logic

writer : Carroll, L

source : Symbolic Logic/Game of Logic: Mathematical Recreations of Lewis Carroll, 2 Books Bound As 1. New York: Dover, 1972.

page : ...

24-1-2022 1918

more

المنطق الرياضي Mathematical Logic

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

الجزء والصفحة : 344

29-11-2015 5783

المزيد