Disusun Oleh :
Erisa Maulidah 10222086
Azam jibran H 10222072
M Faisal M 10222039
Puji dan syukur kita panjatkan kepada Allah SWT yang telah memberi
rahmat dan hidayah-Nya sehingga penyusunan Laporan Praktikum Logika
Informatika ini akhirnya bisa diselesaikan. Modul ini disusun sebagai panduan
untuk pelaksanaan praktikum Logika Informatika di lingkungan Program Studi
Teknik Informatika Sekolah Tinggi Teknologi Cipasung.
Terima kasih kepada semua pihak yang telah membantu baik secara
langsung ataupun tidak terhadap terselesaikannya petunjuk praktikum ini. Akhir
kata, insyaAllah dapat bermanfaat bagi siapa saja yang membutuhkannya.
Penyusun
DAFTAR ISI
KATA PENGANTAR.............................................................................................2
DAFTAR ISI............................................................................................................3
DAFTAR GAMBAR...............................................................................................4
DAFTAR TABEL....................................................................................................5
PENGANTAR MAPLE DAN EKSPRESI LOGIKA.............................................6
A. Pendahuluan..................................................................................................6
B. Teori Pendukung Pengantar Maple...............................................................6
C. Teori Pendukung Ekspresi Logika...............................................................8
D. Langkah Praktikum....................................................................................11
E. Evaluasi.......................................................................................................13
DAFTAR PUSTAKA............................................................................................15
DAFTAR GAMBAR
A. Pendahuluan
Maple adalah salah satu perangkat lunak (software) yang dibangun untuk
digunakan oleh para insinyur matematika. Di dalamnya terdapat fasilitas untuk
antar muka aljabar interaktif, kalkulus, matematika diskrit, grafik, perhitungan
kuantitatif, logika matematika dan ilmu matematika yang lainnya. Juga fasilitas
fasilitas untuk pengembangan program matematik yang menggunakan fungsi
dan operasi yang telah ada maupun dengan membangunnya sendiri.
Untuk informasi selebihnya tentang Maple dapat ditemukan pada
http://www.maplesoft.com.
B. Teori Pendukung Pengantar Maple.
1. Menu Utama
Maple 2023 memiliki menu-menu seperti yang ditampilkan pada gambar
dibawah ini.
Untuk melihat submenu yang ada di dalam menu utama Anda bisa
menggunakan Mouse (Klik kiri mouse pada menu yang dipilih) atau tombol
kombinasi Keyboard (Ex: Alt + F, untuk menu File dsb).
2. Toolbar Standard
Adalah salah satu area yang dimiliki Maple, yang berisi tombol-tombol
yang digunakan untuk melakukan tugas-tugas umum. Jendela toolbar dapat
disembunyikan atau ditampilkan.
3. Worksheet
Adalah jendela kerja untuk menuliskan dokumen Maple.
Gambar 1. 3 Worksheet Maple 2023
4. Menggunakan Help
Untuk menggunakan pertolongan, pilih menu Help dengan cara klik tombol
kiri mouse. Dan pilih Type bantuan yang diperlukan.
2. Operator Aritmatik
Operator ini hanya dapat dikenakan para operan bertipe bilangan bulat
atau real.
Tabel 1. 1 Operator Aritmatik
3. Operator Logika
Dalam aljabar logika operator ini sangat sering digunakan. Sesuai
namanya, operator ini dikenakan pada operan bertipe boolean. Sehingga tipe
operan dan tipe hasil operasinya adalah boolean. Beberapa operator boolean
terlihat pada tabel berikut:
Tabel 1. 2 Operator Boolean
b. Proposisi Majemuk
Beberapa proposisi atomik yang digabungkan dengan perangkai tertentu.
Contoh :
a. Jika saya malas kuliah maka saya tidak akan dapat nilai baik
b. Saya rajin berdiskusi dengan teman dan insyaAllah saya akan paham
D. Langkah Praktikum
1. Buka software Maple, disini saya menggunakan Maple tahun 2023.
Gambar 1. 6 Icon Maple 2023
Setelah dipilih maka akan mucul tampilan worksheetnya, seperti di bawah ini.
Gambar 1. 9 Tampilan Worksheet
3. Setelah itu kita mulai membuat operator aritmatika dan operator logikanya.
Pertama ketikkan with(Logic); untuk menggunakan operator logika.
Selanjunya kita akan menghitung dan menambahkan variabel (penambahan
variabel harus menggunakan := dan jika menambahkan variabel string harus
menggunakan “”) seperti di bawah ini.
Gambar 1. 10 Contoh operator aritmatik
5. Itulah beberapa operator yang kita praktekkan, tentunya masih banyak yang
lainnya.
E. Evaluasi
Ubah kedalam ekspresi logika dan ekspresi maple.
1. Jika saya tidak belajar maka saya tidak naik kelas, tetapi saya belajar jika
dan hanya jika saya mood saja.
a. Ekspresi logika
A = Saya tidak belajar
B = Saya tidak naik kelas
C = Saya mood saja
(A ⇒ B) ˄ ( ̴A ⇔ C)
b. Ekspresi maple
Gambar 1. 12 Ekspresi maple evaluasi 1
b. Ekspresi maple
Gambar 1. 13 Ekspresi maple evaluasi 2
DAFTAR PUSTAKA