คำอธิบาย
การประยุกต์ตรรกะเชิงรูปแบบในวิทยาการคอมพิวเตอร์ ตรรกะสัญลักษณ์เช่นแคลคูลัสตัวพจน์แบบคลาสสิกถูกใช้เพื่อแทนความรู้ในโดเมน เพื่อจำลองปัญหาการคำนวณ และเพื่อแก้ปัญหาโดยตัวพิสูจน์อัตโนมัติ การประยุกต์รวมถึงปัญญาประดิษฐ์ วิศวกรรมซอฟต์แวร์ การจัดการข้อมูล และการตรวจสอบฮาร์ดแวร์
รายวิชาก่อนหน้า
- วิชาเตรียมความพร้อม: COMP 2804 .
เงื่อนไขและข้อกำหนด
- วิชาเตรียมความพร้อม: COMP 2804 .
- บรรยายสามชั่วโมงต่อสัปดาห์
ข้อความอ้างอิงในภาษาต้นฉบับ
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/undergrad/courses/COMP/