เมนูหลัก
|
|
10305205 | ตรรกศาสตร์เชิงคณิตศาสตร์เบื้องต้น |
| Introduction to Mathematical Logic |
| สังกัด | วิทยาศาสตร์, คณิตศาสตร์ |
| หน่วยกิต | 3 (3-0-6) |
| สถานะรายวิชา: | ใช้งาน | | เลือก ปีการศึกษา: 2 / 2566 | | รายชื่อ | |
|
| | เชียงใหม่ | | ปริญญาตรี ปกติ | | กลุ่ม | วัน | เวลา | ห้อง | อาคาร | เรียน | ที่นั่ง(เปิด-ลง-เหลือ) | หมวด | | | | 01 | | จันทร์ | 09:30-11:00 | 3104 | 141 | C | 70 | 59 | 11 | W | | | | | | พฤหัสบดี | 09:30-11:00 | 3104 | 141 | C | | | | | | | | | | อาจารย์ / เจ้าหน้าที่/เอกสารประกอบการสอน: | รองศาสตราจารย์ ดร.ดารา ภูสง่า | | | | ผู้คุมสอบกลางภาค: | | | | | สอบปลายภาค: | | | | | ผู้คุมสอบปลายภาค: | | | | 02 | | จันทร์ | 13:00-14:30 | 3104 | 141 | C | 70 | 70 | 0 | W | | | | | | พฤหัสบดี | 13:00-14:30 | 3104 | 141 | C | | | | | | | | | | อาจารย์ / เจ้าหน้าที่/เอกสารประกอบการสอน: | รองศาสตราจารย์ ดร.ดารา ภูสง่า | | | | ผู้คุมสอบกลางภาค: | | | | | สอบปลายภาค: | | | | | ผู้คุมสอบปลายภาค: | | |
|
| 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 = - ยังไม่กำหนด |
| |