Pelatihan Peningkatan Pemahaman Logika dan Aplikasinya pada Pembuktian dalam Matematika untuk Dosen-Dosen Ilmu Komputer di PTS Bandar Lampung
DOI:
https://doi.org/10.36448/jpmtb.v4i1.134Kata Kunci:
Tabel kebenaran, hukum-hukum logika, operator logika, pembuktian dalam matematikaAbstrak
Logika adalah merupakan pengetahuan yang sangat penting dalam semua bidang, misal ilmu hukum, matematika, Bahasa, dan Ilmu computer. Dalam bidang matematika, logika berperan dalam memberikan cara atau metode atau langkah-langkah dalam pembuktian suatu teorema. Dalam ilmu computer logika sangat penting karena merupakan dasar matematika perangkat lunak: logika digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, serta untuk memverifikasi kebenaran program. Namum kelemahannya adalah bahwa materi logika umumnya tidak diajarkan dalam kurikulum di Ilmu Komputer dan tentu ini merupakan gap yang harus diatasi jika kita ingin membangun alumni yang berkualitas. Masalah adalah dosen-dosen umumnya belum memahami konsep dasar logika dan aplikasinya dalam cara pembuktian matematika. Untuk mengatasi kelemahan ini, maka diadakan kegiatan pemula, yaitu pelatihan konsep-konsep logika dasar dan aplikasinya dalam cara pembuktian dalam matematika. Kegiatan pengabdian ini dilakukan dengan metode ceramah dan diskusi serta latihan yang diikuti oleh peserta dosen-dosen ilmu computer dan mahasiswa.
Unduhan
Referensi
Ben-Ari, M.(2012). Mathematical Logic for Computer Sciences (3rd ed.). New York: Springer.
Caffera,R. (2011). Logic for Computer Science and Artificial Intelligence. New York: John Wiley &Sons.
Copi, I.M.(1973). Symbolic Logic (4th ed.). New York: Macmillan Publishing Co, Inc.
Davis R.E. (1989). Truth, Deduction, and Computation: Logic and Semantics for Computer Science. New York: Freeman and Company.
Gallier, J.H.(2003). Logic for Computer Science Foundation of Automatic Theorem Proving. University of Pennsylvania.
Klenk, V.(2008). Understanding Symbolic Logic (5th ed.). New Jersey: Upper Saddle River.
Makinson, D.(2008). Sets, Logic and Maths for Computing. New York: Springer.
Mendenhall, W.M., Sincich, T.L. (2016). Statistics for Engineering and the Sciences (6th ed.). New York: CRC Press.
Robert, C.E. (2010). Introduction to Mathematical Proofs: A Transition, New York: Chapman and hall.
Schoning, U. (1989). Logic for Computer Scientist. Berlin: Birkhauser.
Unduhan
Diterbitkan
Cara Mengutip
Terbitan
Bagian
Lisensi
Hak Cipta (c) 2025 Mustofa Usman, Wamiliana W, Warsono W, Edwin Russel
Artikel ini berlisensi Creative Commons Attribution-NonCommercial 4.0 International License.
Artikel paling banyak dibaca berdasarkan penulis yang sama
- Widiarti, Mustofa Usman, Wamiliana, Nuning Nurcahyani, Jani Master, Konservasi Anggrek Dan Peningkatan Peringkat Greenmetric Melalui Kegiatan Penanaman Anggrek Di Kampus , Jurnal Pengabdian Masyarakat Tapis Berseri (JPMTB): Vol 2 No 1 (2023): Jurnal Pengabdian Masyarakat Tapis Berseri (JPMTB) (Edisi April)
