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

این آموزش در فرادرس توسط مولف ارائه شده و در اینجا صرفا جهت معرفی عنوان گردید.