เมนูหลัก
|
|
คศ205 | ตรรกศาสตร์เชิงคณิตศาสตร์เบื้องต้น |
| Introduction to Mathematical Logic |
| สังกัด | วิทยาศาสตร์, คณิตศาสตร์ |
| หน่วยกิต | 3 (3-0-6) |
| สถานะรายวิชา: | ใช้งาน | | เลือก ปีการศึกษา: 2 / 2565 | | รายชื่อ | |
|
รายวิชานี้ไม่เปิดสอน ภาคการศึกษาที่2 / 2565 หรือ ข้อมูลกำลังอยู่ในระหว่างเตรียมการ | 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 = - ยังไม่กำหนด |
| |