คำอธิบาย
หลักสูตรบัณฑิตพื้นฐานในตรรกะคณิตศาสตร์ ตรรกะประพจน์และควอนติเฟอร์ ทฤษฎีบทพิสูจน์ การกำจัดคัทของเกนเทิน ความสมบูรณ์ ความหนาแน่น แบบจำลองเฮงคิน ทฤษฎีแบบจำลอง เลขคณิตและความไม่สามารถตัดสินใจได้ หัวข้อพิเศษ (ถ้าเวลาเอื้ออำนวย) ขึ้นกับความสนใจของผู้สอนและผู้เรียน
ข้อความอ้างอิงในภาษาต้นฉบับ
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/grad/courses/MATH/