Mô tả
Ứng dụng của logic hình thức trong khoa học máy tính. Các logic ký hiệu như phép tính tiền đề cổ điển được dùng để biểu diễn kiến thức miền, mô tả các vấn đề tính toán và giải quyết chúng bằng các công cụ suy luận tự động. Ứng dụng bao gồm trí tuệ nhân tạo, kỹ thuật phần mềm, quản lý dữ liệu và xác minh phần cứng.
Tiền đề
- Điều kiện tiên quyết: COMP 2804 .
Điều kiện và thủ tục
- Điều kiện tiên quyết: COMP 2804 .
- Ba giờ giảng mỗi tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/undergrad/courses/COMP/