| 1 |
معرفی گزاره ها، جدول ارزش و رابط های گزاره ای "و" و "یا شمول" |
|
| 2 |
معرفی رابط های گزاره ای "یا مانع جمع"، "شرطی" و "دو شرطی" و خواص آنها |
|
| 3 |
معرفی "راستگو"، "دروغگو" و استلزام و بیان روابط بین این مفاهیم و رابط های گزاره ای |
|
| 4 |
مرور قاعده های استنتاج و بیان استدلال قیاسی |
|
| 5 |
معرفی گزاره نما، دامنه سخن و سورها. معرفی سورهای وجودی و عمومی و ارزش آنها |
|
| 6 |
نقیض سورها و روابط سورها با رابط های گزاره ای |
|
| 7 |
بیان مفهوم برهان درستی و حل مثالهایی از آن |
|
| 8 |
حل مثالهایی بیشتر از برهان درستی |
|
| 9 |
بیان اصل استقرای ریاضی و روش به کاربردن آن در مسائل |
|
| 10 |
بیان مفهوم مجموعه و خواص مقدماتی آن |
|
| 11 |
اصل تصریح مجموعه ها و مجموعه توانی |
|
| 12 |
اجتماع و اشتراک مجموعه ها و خواص آنها |
|
| 13 |
مجموعه جهانی یا مرجع، تفاضل مجموعه ها و مجموعه متمم و روابط آنها |
|
| 14 |
نمودار ون و روش استفاده از آن |
|
| 15 |
خانواده های مجموعه های اندیسدار و خواص آنها |
|
| 16 |
پارادوکس راسل |
|
| 17 |
تعریف حاصلضرب دکارتی دو مجموعه، بیان خواص و روابط آن و تعریف رابطه |
|
| 18 |
تعریف رابطه هم ارزی و بیان مثالهای متنوع |
|
| 19 |
تعریف افراز و ارتباط آن با رابطه هم ارزی |
|
| 20 |
تعریف رابطه ترتیب و مثالهایی از آن |
|
| 21 |
تعریف روابط ترتیب جزئی و کلی و بیان خواص و تفاوتهای آنها |
|
| 22 |
تعریف مفاهیم کران بالا، کران پایین، ماکسیمم، می نیمم، ماکسیمال و می نیمال و بیان مثالهای متنوع |
|
| 23 |
تعریف ترکیب روابط و ارتباط آن با ان.اع رابطه های تعریف شده |
|
| 24 |
تعریف تابع و بیان اصطلاحات مربوط به تابع و بیان خواص مقدماتی آن |
|
| 25 |
بیان خواص و قضایای بیشتر تابع |
|
| 26 |
تصویر و تصویر معکوس مجموعه تحت تابع و خواص آنها |
|
| 27 |
توابع یک به یک، پوشا و دوسویی و خواص و روابط آنها |
|
| 28 |
ترکیب توابع و ارتباط آن با مفاهیم قبلی |
|
| 29 |
معرفی اصول پئانو و تعریف اعداد طبیعی بر اساس آن، تعریف جمع در اعداد طبیعی و بیان و اثبات خواص آن |
|
| 30 |
تعریف ضرب در اعداد طبیعی و بیان و اثبات خواص آن تعریف رابطه کوچکتری و بیان و اثبات خواص آن |
|
| 31 |
معرفی مجموعه اعداد صحیح و تعریف جمع، ضرب و رابطه کوچکتری روی آن |
|
| 32 |
بیان و اثبات خواص جمع، ضرب و رابطه کوچکتری روی اعداد صحیح |
|