เมนูหลัก
|
|
คศ205 | ตรรกศาสตร์เชิงคณิตศาสตร์เบื้องต้น |
| Introduction to Mathematical Logic |
| สังกัด | วิทยาศาสตร์, คณิตศาสตร์ |
| หน่วยกิต | 3 (3-0-6) |
| สถานะรายวิชา: | ใช้งาน | | รายวิชาต่อเนื่อง: | คพ251, คพ251, คศ281, คศ281 |
| เลือก ปีการศึกษา: 3 / 2552 | | รายชื่อ | |
|
รายวิชานี้ไม่เปิดสอน ภาคการศึกษาที่3 / 2552 หรือ ข้อมูลกำลังอยู่ในระหว่างเตรียมการ | Course Description โครงสร้างทางคณิตศาสตร์ การอ้างเหตุผลโดยวิธีอุปนัยและนิรนัย วิธีของการพิสูจน์ การอ้างเหตุผลและความสมเหตุสมผลของประพจน์ ตรรกศาสตร์สัญลักษณ์และแผนภาพเวนน์ การวิเคราะห์ค่าความจริง การประยุกต์ของตรรกศาสตร์
Mathematical structure; reasoning; logic of propositions; logic of quantified statements; truth value analysis; proof of validity and invalidity; mathematical induction; and Boolean algebra with applications
หมายเหตุ เรียน C = Lecture L = Lab R = ประชุม S = Self Study T = ติว หมวด B = วิชาเสริมพื้นฐาน E = วิชาเลือกเฉพาะสาขา F = วิชาเลือกเสรี M = วิชาพื้นฐาน W = วิชาบังคับ X = - ยังไม่กำหนด |
| |