• همه دسته بندی ها
  • تحصیلی
  • برنامه نویسی و IT
  • زبان های خارجی
  • مهندسی
  • علوم پایه و پزشکی
  • علوم انسانی
  • هنر
  • مدیریت و کسب و کار
  • مالی و سرمایه گذاری
  • تربیت بدنی
اولین موتور جستجوی آموزشی در ایران

منطق ریاضی یا منطق جدید (Mathematical logic) شاخه‌ای از ریاضیات است که به ارتباط ریاضی و منطق می‌پردازد.

نام‌های دیگر آن عبارتند از منطق جدید، منطق صوری، منطق نمادی، منطق نمادین، منطق علامتی، منطق کلاسیک.

ریشه‌های پیدایش این منطق به کارهای جوزپه پئانو ریاضیدان ایتالیایی و قبل از او لایب نیتز و لامبرت می‌رسد.

منطق ریاضی امروزه در فلسفه تحلیلی، ریاضیات، زیست‌شناسی، زبانشناسی، جامعه‌شناسی، فیزیک، روانشناسی، روش‌شناسی، علوم کامپیوتری، علم اخلاق، هوش مصنوعی، متافیزیک و حقوق کاربرد دارد.

در این مجموعه ویدیوها به تدریس این درس پرداخته شده است.

فایل های سرفصل 1

1   معرفی درس منطق ریاضی از نگاه تاریخی
1 معرفی درس منطق ریاضی از نگاه تاریخی (رایگان)
حجم فایل: 218 مگابایت و 620 کیلوبایت مدت زمان: 1 ساعت و 28 دقيقه
2 معرفی منطق گزاره هازبان
2 معرفی منطق گزاره هازبان (رایگان)
حجم فایل: 225 مگابایت و 260 کیلوبایت مدت زمان: 1 ساعت و 30 دقيقه
3  معناشناسی
3 معناشناسی (رایگان)
حجم فایل: 385 مگابایت و 340 کیلوبایت مدت زمان: 1 ساعت و 15 دقيقه
4  ادامه ی معناشناسی
4 ادامه ی معناشناسی (رایگان)
حجم فایل: 403 مگابایت و 930 کیلوبایت مدت زمان: 1 ساعت و 20 دقيقه
5  شروع نظریه برهان
5 شروع نظریه برهان (رایگان)
حجم فایل: 435 مگابایت و 640 کیلوبایت مدت زمان: 1 ساعت و 30 دقيقه
6  نظریه برهان روش اصل موضوعی
6 نظریه برهان روش اصل موضوعی (رایگان)
حجم فایل: 241 مگابایت و 150 کیلوبایت مدت زمان: 1 ساعت و 31 دقيقه
7  معرفی دستگاه استنتاج طبیعی برای منطق گزاره هاNP
7 معرفی دستگاه استنتاج طبیعی برای منطق گزاره هاNP (رایگان)
حجم فایل: 224 مگابایت و 990 کیلوبایت مدت زمان: 1 ساعت و 27 دقيقه
8  قضیه تمامیت
8 قضیه تمامیت (رایگان)
حجم فایل: 295 مگابایت و 460 کیلوبایت مدت زمان: 1 ساعت و 48 دقيقه
9  اثبات قضیه تمامیت
9 اثبات قضیه تمامیت (رایگان)
حجم فایل: 232 مگابایت و 300 کیلوبایت مدت زمان: 1 ساعت و 29 دقيقه
10  فعل شناسی جبری
10 فعل شناسی جبری (رایگان)
حجم فایل: 231 مگابایت و 260 کیلوبایت مدت زمان: 1 ساعت و 26 دقيقه
11  تمامیت جبری
11 تمامیت جبری (رایگان)
حجم فایل: 232 مگابایت و 50 کیلوبایت مدت زمان: 1 ساعت و 29 دقيقه
12  روشی تابلو برای منطق گزاره ای
12 روشی تابلو برای منطق گزاره ای (رایگان)
حجم فایل: 182 مگابایت و 200 کیلوبایت مدت زمان: 1 ساعت و 10 دقيقه
13  منطق مرتبه اولمعرفی زبان و فرمول
13 منطق مرتبه اولمعرفی زبان و فرمول (رایگان)
حجم فایل: 460 مگابایت و 560 کیلوبایت مدت زمان: 1 ساعت و 32 دقيقه
14  منطق مرتبه اولمعنا شناسی
14 منطق مرتبه اولمعنا شناسی (رایگان)
حجم فایل: 478 مگابایت و 110 کیلوبایت مدت زمان: 1 ساعت و 27 دقيقه
15  منطق مرتبه اول  ادامه
15 منطق مرتبه اول ادامه (رایگان)
حجم فایل: 442 مگابایت و 470 کیلوبایت مدت زمان: 1 ساعت و 20 دقيقه
16  نشاندن و زیر ساخت
16 نشاندن و زیر ساخت (رایگان)
حجم فایل: 206 مگابایت و 150 کیلوبایت مدت زمان: 1 ساعت و 19 دقيقه
17 حل سوالات میان ترم
17 حل سوالات میان ترم (رایگان)
حجم فایل: 179 مگابایت و 630 کیلوبایت مدت زمان: 1 ساعت و 9 دقيقه
18 جانشینی در منطق مرتبه اول
18 جانشینی در منطق مرتبه اول (رایگان)
حجم فایل: 206 مگابایت و 320 کیلوبایت مدت زمان: 1 ساعت و 19 دقيقه
19 نظریه برهان برای منطق مرتبه اول
19 نظریه برهان برای منطق مرتبه اول (رایگان)
حجم فایل: 531 مگابایت و 500 کیلوبایت مدت زمان: 1 ساعت و 36 دقيقه
20 نظریه برهان برای منطق مرتبه اول
20 نظریه برهان برای منطق مرتبه اول (رایگان)
حجم فایل: 211 مگابایت و 490 کیلوبایت مدت زمان: 1 ساعت و 21 دقيقه
21 قضیه تمامیت مرتبه اول جلسه اول
21 قضیه تمامیت مرتبه اول جلسه اول (رایگان)
حجم فایل: 228 مگابایت و 390 کیلوبایت مدت زمان: 1 ساعت و 28 دقيقه
22 اثبات قضیه تمامیتبخش پایانی
22 اثبات قضیه تمامیتبخش پایانی (رایگان)
حجم فایل: 197 مگابایت و 500 کیلوبایت مدت زمان: 1 ساعت و 15 دقيقه
23 نتایج قضیه تمامیت و فشردگی
23 نتایج قضیه تمامیت و فشردگی (رایگان)
حجم فایل: 190 مگابایت و 280 کیلوبایت مدت زمان: 1 ساعت و 13 دقيقه
24 قضیه لوفن هایم اسکولم و نتایج ان
24 قضیه لوفن هایم اسکولم و نتایج ان (رایگان)
حجم فایل: 193 مگابایت و 770 کیلوبایت مدت زمان: 1 ساعت و 15 دقيقه
25 خوانا نیست
25 خوانا نیست (رایگان)
حجم فایل: 268 مگابایت و 70 کیلوبایت مدت زمان: 1 ساعت و 43 دقيقه
26 معرفی منطق LTL
26 معرفی منطق LTL (رایگان)
حجم فایل: 214 مگابایت و 210 کیلوبایت مدت زمان: 1 ساعت و 22 دقيقه
27 معانی شناسی منطق زمان
27 معانی شناسی منطق زمان (رایگان)
حجم فایل: 265 مگابایت و 870 کیلوبایت مدت زمان: 1 ساعت و 42 دقيقه
28 فرمول های هم ارز در LTL
28 فرمول های هم ارز در LTL (رایگان)
حجم فایل: 447 مگابایت و 60 کیلوبایت مدت زمان: 1 ساعت و 31 دقيقه
29 صوری سازی برهان با ایزابل
29 صوری سازی برهان با ایزابل (رایگان)
حجم فایل: 192 مگابایت و 350 کیلوبایت مدت زمان: 1 ساعت و 15 دقيقه

دوره های مشابه

آنالیز برداری
رایگان
14 ساعت و 22 دقيقه
بیشتر کمیات فیزیکی که در فیزیک و علوم مهندسی با آنها مواجه می‌شویم، به دو صورت اسکالر (نرده‌ای) و برداری هستند. یک کمیت اسکالر تنها با بیان بزرگی و همراه با یکای خود ، اگر داشته باشد، کاملا مشخص می‌شود.

آنالیز برداری جمال کزازی ریاضی

آموزش ریاضی متوسطه دوم
رایگان
12 ساعت و 34 دقيقه
درس ریاضیات از مهم‌ترین دروس متوسطه دوم می باشد. در صورتی که شما دانش آموزان در این پایه تحصیلی تمرین بیشتری روی درس ریاضیات داشته باشید و از همان ابتدای سال‌ بر این مباحث تمرکز کنید، در سال‌های آینده با مشکلات کمتری مواجه خواهید شد.

دنباله ها ریاضی ریاضی متوسطه دوم علوانیان مثلثات مجموعه ها

آموزش و حل تمرین ریاضی 2 دانشگاه
رایگان
14 ساعت و 17 دقيقه
سلام به همراهان عزیز، خیلی خوشحالیم که دوباره کنار هم هستیم برای یادگیریه درس ریاضی 2.

ریاضی ریاضی ۲ ریاضی ۲ دانشگاه ریاضی عمومی 2

آموزش و حل تمرین ریاضی 1 دانشگاه
رایگان
17 ساعت و 36 دقيقه
سلام دوستان فصل جدید چنل‌پی با تدریس ریاضی دانشگاهی آغاز شده تا دانشجوها بتونن به کمک این ویدیوها مطالب ریاضی1 رو بهتر و دقیق‌تر یاد بگیرن.

ریاضی ریاضی 1 ریاضی 1 دانشگاهی ریاضی عمومی 1 ریاضی عمومی ۱ دانشگاه

آموزش ریاضیات مهندسی
رایگان
12 ساعت و 9 دقيقه
این درس از دروس مشترک اکثر رشته های فنی مهندسی است وشامل دو بخش کلی آنالیز فوریه و توابع مختلط می شود.

math درس ریاضی مهندسی ریاضی ریاضی مهندسی ریاضیات مهندسی

درس ریاضیات از مهم‌ترین دروس سال هشتم تحصیلی می باشد. در صورتی که شما دانش آموزان در این پایه تحصیلی تمرین بیشتری روی درس ریاضیات داشته باشید و از همان ابتدای سال‌ بر این مباحث تمرکز کنید، در سال‌های آینده با مشکلات کمتری مواجه خواهید شد.

پایه هشتم ریاضی ریاضی پایه هشتم علوانیان

دیدگاه خود را از طریق فرم زیر ارسال نمایید