النمط الأول
النمط الثاني
الرئيسية
الأخبار
صور
فيديو
صوت
أقلام
مفتاح
رشفات
المشكاة
منشور
اضاءات
ثقف
قصص
المنطق
عدد المواضيع في هذا القسم : 117
عدد الصفحات : 7
انت في الصفحة : 1
Coastline Paradox
writer : Gleick, J.
source : Chaos: Making a New Science. New York: Penguin Books
page : ...
14-2-2022 3074
more
Karnaugh Map
writer : Booth, T
source : Digital Networks and Computer Systems. New York: Wiley
30-1-2022 2523
Paradox
writer : Ball, W. W. R. and Coxeter, H. S. M
source : Mathematical Recreations and Essays, 13th ed. New York: Dover
15-2-2022 3601
Strong Variety
writer : Burris, S. and Sankappanavar, H. P.
source : A Course in Universal Algebra. New York: Springer-Verlag, 1981.
9-2-2022 1370
Herbrand Universe
writer : Chang, C.-L. and Lee, R. C.-T
source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.
24-1-2022 1473
Decision Problem
writer : المرجع الالكتروني للمعلوماتيه
source : www.almerja.com
17-1-2022 1311
Knuth-Bendix Completion Algorithm
writer : Baader, F. and Nipkow, T.
source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.
30-1-2022 1234
Superstructure
writer : Hurd, A. E. and Loeb, P. A.
source : Ch. 3 in An Introduction to Nonstandard Real Analysis. New York: Academic Press, 1985.
13-2-2022 1317
Structure
writer : Bell, J. L. and Slomson, A. B
source : Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1971.
9-2-2022 1133
Equipollent
writer : Rubin, J. E
source : Set Theory for the Mathematician. New York: Holden-Day, 1967.Suppes, P. Axiomatic Set Theory. New York: Dover, 1972.
23-1-2022 1256
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.
24-1-2022 1505
Missing Dollar Paradox
15-2-2022 2249
Sequent Calculus
writer : Gentzen, G
source : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.
9-2-2022 1164
Transfer Principle
13-2-2022 1557
Satisfaction
source : Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1969.
13-2-2022 845
Reduction Order
writer : Baader, F. and Nipkow, T
8-2-2022 993
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
14-2-2022 2522
Creative Set
writer : Davis, M
source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002
17-1-2022 1159
اشترك بقناتنا على التلجرام ليصلك كل ما هو جديد
قسم الشؤون الفكرية يصدر كتاباً يوثق تاريخ السدانة في العتبة العباسية المقدسة
"المهمة".. إصدار قصصي يوثّق القصص الفائزة في مسابقة فتوى الدفاع المقدسة للقصة القصيرة
(نوافذ).. إصدار أدبي يوثق القصص الفائزة في مسابقة الإمام العسكري (عليه السلام)
