آموزش مقدماتی منطق - آخرین آپدیت

بخش اول: مقدمه Unit 1 - Introduction

• مرور کلی دوره Overview of the Course

• اختیاری: استنفورد CS 157 سال ۲۰۲۱ - جلسه اول Optional: Stanford CS 157 2021 - Lecture 1

بخش دوم: منطق گزاره‌ای Unit 2 - Propositional Logic

• بازی بزرگ The Big Game

• منطق باکس (مبحث تکمیلی) Box Logic (out of focus)

بخش سوم: منطق رابطه‌ای Unit 3 - Relational Logic

بخش چهارم: منطق تابعی Unit 4 - Functional Logic

بخش پنجم: جمع‌بندی Unit 5 - Conclusion