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

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

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

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

29-11-2015 5674

المزيد

Fuzzy Logic

writer : Zadeh, L. and Kacprzyk, J.

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

page : ...

22-1-2022 1849

more

Recursively Enumerable Set

writer : Davis, M

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

page : ...

20-1-2022 1522

more

عبارة Pros Position

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

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

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

18-11-2015 1764

المزيد

Superstructure

writer : Hurd, A. E. and Loeb, P. A.

source : Ch. 3 in An Introduction to Nonstandard Real Analysis. New York: Academic Press, 1985.

page : ...

13-2-2022 1657

more

Epimenides Paradox

writer : Curry, H. B

source : Foundations of Mathematical Logic. New York: Dover

page : ...

15-2-2022 2156

more

Existence

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

source : www.almerja.com

page : ...

17-1-2022 1567

more

Missing Dollar Paradox

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

source : www.almerja.com

page : ...

15-2-2022 2929

more

Venn Diagram

writer : Cundy, H. and Rollett, A

source : Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub

page : ...

10-2-2022 2745

more

Allais Paradox

writer : Allais, M.

source : "Le comportement de l,homme rationnel devant le risque: Critique des postulats et axiomes de lécole américaine." Econometrica 21

page : ...

14-2-2022 3319

more

Universal Algebra

writer : Burris, S. and Sankappanavar, H. P.

source : A Course in Universal Algebra. New York: Springer-Verlag, 1981

page : ...

10-2-2022 1447

more

Cut Elimination Theorem

writer : Gentzen, G

source : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.

page : ...

23-1-2022 1638

more

Quantified System

writer : Strzebonski, A

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

page : 525-541

8-2-2022 1561

more

Cap

writer : Feller, W

source : An Introduction to Probability Theory and Its Applications, Vol. 2, 3rd ed. New York: Wiley

page : ...

12-2-2022 1602

more

Knuth-Bendix Completion Algorithm

writer : Baader, F. and Nipkow, T.

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

page : ...

30-1-2022 1571

more

Interpretation

writer : Chang, C.-L. and Lee, R. C.-T

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

30-1-2022 1733

more

Elevator Paradox

writer : Gamow, G. and Stern, M

source : Puzzle Math. New York: Viking, 1958.

page : ...

15-2-2022 2219

more

Robbins Conjecture

writer : Kolata, G

source : "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.

page : ...

9-2-2022 1449

more