Administrator

Admin

Terakhir diupdate:

November 18, 2024

Jumlah SKS:

3 SKS

Deskripsi Mata Kuliah

Mata kuliah ini memberikan pemahaman tentang konsep dasar logika, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika dan analisis argumen, kuantor, dan rangkaian logika, serta materi himpunan, operasi himpunan, sifat-sifat himpunan. Selain itu, dibahas juga mengenai relasi, fungsi dan sistem pembuktian dalam matematika.

  • Pokok Bahasan / Bahan Kajian
  • Himpunan

    Relasi dan Fungsi

    Logika Matematika

    Metode Pembuktian

    Himpunan dan Logika dalam Al-Qur’an

  • Pustaka
  • 1. Theresia MH Tirta. 1990. Pengantar Dasar Matematika (Logika dan Teori Himpunan). Depdikbud: Jakarta
    2. Murray R, Spiegel. 1990. Matematika Dasar. Erlangga: Jakarta
    3. Kam-tim Leung and Doris Lai-Cheue Chen, 1992, Elemetery Set Theory, Hongkong University Press
    4. Haym Kruglak, John T. Moore, and Ramon A. Mata-Toledo, 1998, Schaum’s Outline Of Theory And Problems Of Basic Mathematics, Second Edition, Mcgraw-Hill
    5. Thomas Forster, 2002, Logic, Computation and Set Theory, Cambridge 
    6. Alan Graham, 2010, Basic Mathematics, US: McGraw-Hill Companies, Inc.
    7. Kam-Tim Leung and Doris Lai-Chue Chen. 1967. Elementary Set Theory. Hongkong: Hngkong University Press.
    8. Rachmat, S. 2004. Pengantar Logika Matematika. Jakarta: Informatika 
    9. Yunus, M. 2007. Logika: Suatu Pengantar. Yogyakarta: Graha Ilmu
    10. Soekadijo,R.G.2001. Logika Dasar: Tradisional, Simbolik, dan Induktif. Jakarta:PT.Gramedia Pustaka Utama

    PPT, LCD dan Proyektor

    dosen-konsep-dasar-matematika
    Dr. Moh. Hafiyusholeh, M.Si., M.PMat.
    198002042014031001
    Preview
    • Koordinator :
      -
    • Dosen Pengajar :1
    • Durasi :1 Semester