Beranda 
Akademik Program Studi S1 Matematika & S1 Aktuaria Mata Kuliah
Akademik Program Studi S1 Matematika & S1 Aktuaria Mata Kuliah 
Mata Kuliah
| Mata Kuliah | : | Pengantar Logika Matematika |
| Kode Mata Kuliah | : | MAT213 |
| Tahun Kurikulum | : | 2000 |
| Jumlah SKS | : | 2 (2-0) |
| Silabus | : | Logika proposisi: tinjauan ulang, teknik pernyataan berimplikasi. Logika predikat: aturan inferensia, teknik pembuktian teorema berkuantifikasi. Teori logika orde pertama. |
| Strata | : | S1 |
| Departemen | : | Matematika |
| Mayor | : | Matematika |
| Kelompok Mata Kuliah | : | Keilmuan dan Ketrampilan |
| Koordinator | : | Dr. Ir. Amril Aman, M.Sc. |
| Prasyarat | : | MAT103 |
| Semester Ganjil | : | 3 |
Copyright © 2024 Matematika IPB
