คณะ
คณะวิศวกรรมศาสตร์
ภาควิชา/กลุ่มวิชา/สาขาวิชา
สาขาวิชาวิศวกรรมหุ่นยนต์และปัญญาประดิษฐ์
รูปแบบรายวิชา
LECT
หน่วยกิต
3
สอบกลางภาค
29 ก.ย. 2564 08:30 - 11:30
สอบปลายภาค
01 ธ.ค. 2564 13:00 - 16:00
เงื่อนไขรายวิชา
-
วิธีการวัดผล
Letter Grade
คำอธิบายรายวิชา (ภาษาไทย)
การคํานวณด้วยเหตุผล, การใช้ตรรกะทฤษฎีเซต, ทฤษฎีจํานวน, ทฤษฎีกราฟจีบราส์, ออโตเมต้า ภาษาของตรรกะลําดับแรก ทฤษฎีแบบจําลองและการเขียนโปรแกรมตรรกะ ปัญหาของการอนุมาน อุปนัยในกรอบของแคลคูลัสเรียงความลําดับแรกและแคลคูลัสความน่าจะเป็น; ทฤษฎีการเรียนรู้เชิง คํานวณ
คำอธิบายรายวิชา (ภาษาอังกฤษ)
Computing with logic; using logic set theory, number theory, algebras graph theory, automata; language of first order logic, model theory and logic programming; problems of inductive inference in the framework of first-order predicate calculus and the probability calculus; introduction of computational learning theory.
ข้อมูลคำอธิบายรายวิชาที่แสดงไม่ได้เป็นข้อมูลล่าสุด อาจมีการเปลี่ยนแปลงได้ โปรดตรวจสอบกับรายวิชาอีกครั้ง