คำอธิบาย
ตรรกะเชิงสัญลักษณ์ บัญญัติไตรยานุกรมแบบประพิเษกและแบบตัวยืนยัน ทฤษฎีเซต และทฤษฎีแบบจำลอง ความครบถ้วน
รายวิชาก่อนหน้า
- ข้อกำหนดเบื้องต้น: 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/