เมนูหลัก

คศ205ตรรกศาสตร์เชิงคณิตศาสตร์เบื้องต้น
Introduction to Mathematical Logic
สังกัดวิทยาศาสตร์, คณิตศาสตร์
หน่วยกิต3 (3-0-6)
สถานะรายวิชา:ใช้งาน
รายวิชาต่อเนื่อง:คพ251, คพ251, คศ281, คศ281
เลือก ปีการศึกษา: 1 / 2552 
รายชื่อ  

 เชียงใหม่
ปริญญาตรี ปกติ
กลุ่มวันเวลาห้องอาคารเรียนที่นั่ง(เปิด-ลง-เหลือ)หมวด  
  01 จันทร์14:30-16:00Lab คณิต 4105C704624W    
  พฤหัสบดี14:30-16:00Lab คณิต 4105C      
อาจารย์ / เจ้าหน้าที่/เอกสารประกอบการสอน: ผู้ช่วยศาสตราจารย์จินตนา จูมวงษ์
สำรองให้:วิทยาการคอมพิวเตอร์ ชั้นปี 260-44-16
ผู้คุมสอบกลางภาค:
สอบปลายภาค:
ผู้คุมสอบปลายภาค:
  02 จันทร์16:00-17:30Lab คณิต 4105C70637W    
  พฤหัสบดี16:00-17:30Lab คณิต 4105C      
อาจารย์ / เจ้าหน้าที่/เอกสารประกอบการสอน: ผู้ช่วยศาสตราจารย์จินตนา จูมวงษ์
ผู้คุมสอบกลางภาค:
สอบปลายภาค:
ผู้คุมสอบปลายภาค:
  03 จันทร์11:00-12:30Lab คณิต 4105C705119W    
  พฤหัสบดี11:00-12:30Lab คณิต 4105C      
อาจารย์ / เจ้าหน้าที่/เอกสารประกอบการสอน: ผู้ช่วยศาสตราจารย์จินตนา จูมวงษ์
สำรองให้:เทคโนโลยีสารสนเทศ ชั้นปี 245-42-3
ผู้คุมสอบกลางภาค:
สอบปลายภาค:
ผู้คุมสอบปลายภาค:
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 = - ยังไม่กำหนด




  
สกอ. | กยศ. | ศมส. | Runahead | Vision Net Co.Ltd. | 
Powered by Vision Net, 1995 - 2010   Contact Staff : กลุ่มภารกิจทะเบียนเรียน ประมวลผล และรับเข้า 0-5387-3458 47