مدخل الى المنطق الرياضي والمجموعات

الوصف

مدخل الى المنطق الرياضي والمجموعات:

يتضمن التعريف بالمنهج المتبع في دراسة الرياضيات من خلال عرض أساسيات المنطق الرياضي (الارسطي) الذي يُعنى بدراسة وتحليل وفهم النصوص (النظريات) الرياضية والطرائق المختلفة لبناء البرهان الرياضي المُقنِع وكذلك التعريف بأنواع أخرى من المنطق كالمنطق عديد القيم والمنطق الفازي وربط ذلك بجبر المجموعات والجبر البوولي وعرض بعض تطبيقاته. يستهدف الكتاب المهتمين بدراسة العلوم الرياضية وطلاب المقررات الأولية في كليات العلوم والهندسة والحاسوب.

:INTRODUCTION TO MATHEMATICAL LOGIC AND SETS

Explains the approach followed in studying mathematics by presenting the basics of mathematical Logic (Aristotelian), which is concerned with studying , analyzing and understanding mathematical statements (theorems) and the methods for constructing math. proof, as well as introducing other types of logic, such as multi-valued and fuzzy logic with applications. The book targets those interested in studying mathematical sciences and students of preliminary courses in the faculties of science, engineering and computer science.