Skip to main content
User Image

حازم حسين حفناوي حسين

Assistant Professor

باحث علمي

كلية العلوم
1ِِِA92B4
course

151 ريض

 مبادئ المنطق: التقارير والعبارات التقريرية، أدوات الربط، التكافؤ المنطقي، جداول الصواب، العكس والمعكوس والمكافئ العكسي للتقرير الشرطي. المصدوقات والتناقضات. التقارير الشاملة والوجودية.
        طرائق البرهان: البرهان المباشر، البرهان بالاستنفاد، البرهان بالحالات، المثال المناقض، البرهان بالمكافئ العكسي، البرهان بالتناقض، المبدأ الأول والمبدأ الثاني للاستقراء الرياضي.
        العلاقات: التعاريف الأساسية، الرسم الموجه والمصفوفة للعلاقة. العلاقات الانعكاسية والتناظرية والتخالفية والمتعدية. علاقات التكافؤ والتجزيئات. علاقات الترتيب وأشكال هاس.
الجبريات البوولية: التعاريف الأساسية، الدوال البوولية، مجموع الجداءات (حواصل الضرب) التام وجداء المجاميع التام. أشكال كارنو، مجموع الجداءات الأصغري وجداء المجاميع الأصغري. البوابات وتصميم الدارات المنطقية.
        مدخل إلى نظرية الرسومات: التعاريف الأساسية وأمثلة، الممرات والدورات، الترابط، الرسوم الجزئية. الرسوم المنتظمة والتامة وثنائية التجزئة. الأشجار، الأشجار المولدة، التقصي العرضي والتقصي العمقي. تماثل الرسوم البسيطة.       

course attachements