Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size blue color orange color green color Sign In

Matematika IPB

 
  back
Back 		 
Mata Kuliah
 
Mata Kuliah : Pengantar Logika Matematika
Kode Mata Kuliah : MAT115
Tahun Kurikulum : 2014
Jumlah SKS : 3 (2-2)
Silabus : pokok bahasan meliputi: prinsip dasar logika matematika (proposisi dan perangkayannya, logika predikat, metode pembuktian)dan topik logika dalam beberapa pembahasan matematika(himpunan dan sifat-sifatnya relasi ekuivalensi, operasi biner pada suatu himpunan dan sifat-sifatnya. 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 : Wajib
Koordinator : Dr. Ir. Amril Aman, M.Sc.
Prasyarat : MAT101
Semester Genap : 2

Random Quotes

Berbuat baik akan mendapatkan pahala, banyak berbual tidak membawa apapun.

anonim