الوصف
المنطق الرمزي، حسابة القضايا والمقدِّرات، نظرية المجموعات ونظرية النماذج، الاكتمال.
المقررات السابقة
- المتطلب السابق: MATH 2100 أو إذن المدرسة.
الشروط والإجراءات
- المتطلب السابق: MATH 2100 أو إذن المدرسة.
- محاضرات ثلاث ساعات أسبوعيًا.
نص المرجع بلغته الأصلية
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/MATH/