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

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

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

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

4400

المزيد

Berry Paradox

writer : Chaitin, G. J

source : "The Berry Paradox." Complexity 1,

page : ...

811

more

Proof Theory

writer : Birkhoff, G. and Mac Lane, S.

source : A Survey of Modern Algebra, 5th ed. New York: Macmillan

page : ...

1108

more

Analysis

writer : Bottazzini, U

source : The "Higher Calculus": A History of Real and Complex Analysis from Euler to Weierstrass. New York: Springer-Verlag, 1986.

page : ...

834

more

Converse

writer : Copi, I. M. and Cohen, C

source : Introduction to Logic. Englewood Cliffs, NJ: Prentice Hall, 2001.

page : ...

723

more

Productive Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.Rogers, H. Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press, 1987.

page : ...

1209

more

Cap

writer : Feller, W

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

page : ...

1003

more

Coin Paradox

writer : Pappas, T.

source : "The Coin Paradox." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra

page : ...

1490

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 : ...

1833

more

Herbrand Universe

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

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

page : ...

1275

more

Knuth-Bendix Completion Algorithm

writer : Baader, F. and Nipkow, T.

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

page : ...

971

more

Connective

writer : Mendelson, E

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

page : ...

728

more

Prenex Normal Form

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

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

page : ...

957

more

Kleene,s s-m-n Theorem

writer : Davis, M

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

page : ...

1068

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 : ...

2862

more

Transfer Principle

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

source : www.almerja.com

page : ...

1220

more

Poretsky,s Law

writer : Hall, F. M.

source : An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press, p. 50, 1972.

page : ...

1120

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

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

page : ...

1236

more