Deskripsi
Aplikasi logika formal dalam ilmu komputer. Logika simbolik seperti kalkulus predikat klasik digunakan untuk merepresentasikan pengetahuan domain, memodelkan masalah komputasi dan menyelesaikannya dengan penalar otomatis. Aplikasi termasuk kecerdasan buatan, rekayasa perangkat lunak, manajemen data dan verifikasi perangkat keras.
Prasyarat
- Prasyarat: COMP 2804 .
Syarat dan ketentuan
- Prasyarat: COMP 2804 .
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/undergrad/courses/COMP/