MM317 : منطق رياضي

القسم العلمي

قسم الرياضيات

البرنامج الدراسي

بكالوريوس في الرياضيات

نوع المقرر

إجباري

الوحدات

03

الاسبقيات

MM101

نظرة عامة

يقدم المقرر للطالب دراسة منطق القضايا، ودراسة الأنسقة المنطقية غير الرسمية، كما يهدف إلى دراسة الأنسقة المنطقية وإثبات مبرهناتها التي تعتمد على تعريفات كقواعد استدلال، ويتناول دراسة الأنسقة المنطقية وإثبات مبرهناتها التي تعتمد على تكافؤات منطقية كقواعد استدلال، ومنطق الكم.

المخرجات التعليمية المستهدفة من دراسة المقرر

مع نهاية المقرر، يجب أن يكون الطالب قادر على:

1-يحدد نوع القضية المنطقية

2-يتعرف على مفهوم التكافؤ المنطقي والحجج المنطقية وقواعد الاستدلال المنطقي

3-يتعرف على مفهوم المكمم الشامل والمكمم الجزئي

4-يتعرف على بعض طرق البرهان.

5-يميز الطالب بين القضية الصائبة والخاطئة منطقيا وبين القضية البسيطة والمركبة

6-يقارن الطالب بين جداول الصدق لكل ادة من أدوات الربط المنطقية

7-يوضح كيفية تكوين جداول الصدق

8-يفسر التكافؤ المنطقي للقضايا المنطقية

9-يشرح طرق أثبات الجج المنطقية

10-يقارن بين مفهوم المكمم الشامل والمكمم الجزئي

11يقارن بين طرق البرهان.

12-يستخدم مفهوم القضية المنطقية لمعرفة نوع أي عبارة خبرية

13-يستخدم جداول الصدق لدراسة مدى صدق القضايا المنطقية

14-يستخدم جداول الصدق لتحديد نوع القضية المنطقية

15-يوظف قوانين التكافؤ المنطقي لأثبات صحة القضايا المنطقية

16-يستخدم قوانين الاستدلال الرياضي لأثبات صحة الحجة المنطقية

17-يستخدم المكمم الشامل والمكمم الجزئي لتكوين العبارات الرياضية

18-يطبق خطوات البراهين لأثبات صحة العلاقة الرياضية.

طرق التعلم والتعليم

1. المحاضرات النظرية

2. المناقشة والحوار

3. العصف الذهني

4. استخدام اساليب البرهان الرياضي

5. التمرينات والتدريبات وحل المسائل متعددة الأفكار

طرق التقييم

1. امتحان تحريري ( مقالي + موضوعي) = 25 درجة أو يترك تقديرها لأستاذ المقرر

2. اختبارات قصيرة (تحريري أو شفوي)، ومهمات للبرهنة وتطبيقات وتمارين وعرض تقديمي = 15 درجة أو يترك تقديرها لأستاذ المقرر

3. امتحان نهائي تحريري ( مقالي + موضوعي) = 60 درجة

محتوى المقرر:

الأسبوع

الموضوع العلمي

عدد الساعات

محاضرة

تمارين

مناقشة

1

القضية المنطقية وانواعها

2

2-3-4

أدوات الربط المنطقية وجداول الصدق

6

5

امتحان نصفي أول (ساعتان)

6

الصوبات والتناقضات المنطقية

2

7-8

التكافؤ المنطقي

4

9

الحجج المنطقية وقواعد الاستدلال

2

امتحان نصفي ثاني (ساعتان)

11-12

الحجج المنطقية وقواعد الاستدلال

4

13

المكمم الشامل والمكمم الجزئ

2

14

طرق البرهان

2

15-16

امتحان نهائي

المجموع

28

المراجع:

عنوان المراجع

الناشر

النسخة

المؤلف

الرياضيات المتقطعة

ملخصات ايزي شوم

الدار الدولية للاستثمار الثقافي

مصر

الأولى

2006

د. سيمور ليبشتر

د. مارك ليبوسن

ترجمة

د. انتصار محمد الشبكي

لغة عربية1 (AR103)
جبر خطي1 (MM105)
هندسة تحليلية مستوية (MM103)
دراسات قرآنية1 (AR101)
حاسوب1 (CS100)
رياضة عامة 1 (MM101)
لغة إنجليزية1 (EN100)
أصول التربيه (EPSY101)
علم النفس العام (EPSY 100)
مقدمة في علم الاحصاء (ST101)
دراسات قرآنية2 (AR102)
هندسة فضائية (فراغية) (MM114)
رياضة عامة 2 (MM102)
جبر خطي 2 (MM215)
علم النفس الارتقائي (EPSY 203)
طرق التدريس العامة (EPSY 201)
لغة إنجليزية2 (EN101)
حاسوب2 (CS101)
مقدمة في علم الاحتمالات (ST102)
لغة عربية 2 (AR104)
أسس المناهج (EPSY 202)
منطق رياضي (MM317)
علم النفس التربوي (EPSY 200)
لغة عربية3 (AR105)
معادلات تفاضلية عادية 1 (MM202)
استاتيكا (MM206)
رياضة عامة 3 (MM211)
معادلات تفاضلية عادية 2 (MM311)
تحليل متجهي (MM214)
الأحصاء الرياضي (ST202)
نظرية المجموعات (MM213)
لغة عربية4 (AR106)
طرق البحث العلمي (EPSY301)
القياس والتقويم (EPSY 302)
طرق تدريس الرياضيات (MM208)
وسائل تعليمية (EPSY 303)
معالجة النصوص (CS 202)
الصحة النفسية (EPSY 401)
رياضة مدرسية1 (MM309)
تحليل مركب1 (MM305)
تحليل حقيقي1 (MM303)
ديناميكا (MM207)
جبر مجرد1 (MM302)
تحليل مركب2 (MM306)
رياضة مدرسية 2 (MM310)
تحليل حقيقي2 (MM304)
جبر مجرد 2 (MM403)
تحليل عددي (MM308)
نظرية القياس (MM410E)
معادلات تكاملية (MM409E)
بحوث عمليات (MM408E)
تاريخ الرياضيات (MM407E)
تحليل دالي (MM406E)
البرمجة الخطية (MM405E)
معادلات تفاضلية جزئية (MM401)
تطبيقات تدريسية (MM400)
مشروع التخرج (MM404)
التربية العملية (EPSY 402)