MY BLOG (FCB): TENTANG LOGIKA INFORMATIKA

DEFINISI LOGIKA INFORMATIKA

Dari arti kata logika dalam bahasa yunani, logike/logos berarti ilmu/pikiran, logika bisa diartikan sebagai perkataan sebagai manifestasi dari pikiran manusia. Atau,logika berarti ilmu yg mempelajari jalan pikiran yang diungkapkan dalam bahasa.

Dua versi definisi logika :

Ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Studi tentang criteria-kriteria untuk mengevaluasi argument-agrumen dengan menentukan mana yang valid dan tidak valid, dan membedakan antara argument-agrumen yang baik dan tidak baik.

Logika infromatika dapat diartikan :

Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yangdipergunakan untuk membuktikan validitas suatu argumen.
Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yangdipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika

LOGIKA HIMPUNAN

Himpunan adalah Kumpulan benda atau objek yang didefinisikan (diterangkan) dengan jelas Himpunan dilambangkan dengan huruf kapital misalnya A, B, C, D, …,Z dan objek-objek dari himpunan itu ditulis diantara dua kurung kurawal dan dipisahkan dengan tanda koma Yang dimaksud diterangkan dengan jelas adalah benda atau objeknya jelas mana yang merupakan anggota dan mana yang bukan anggota dari himpunan itu Contoh: A adalah himpunan bilangan asli kurang dari 10 A = { 1,2,3,4,5,6,7,8,9 }

LOGIKA SAMAR

Logika Fuzzy ( logika samar ) merupakan logika yang berhadapn langsung dengan konsep kebenaran sebagian, dimana logika klasik menyatakan bahwa segala hal dapat di ekspresikan dalam binary 0 atau 1. logika fuzzy memungkinkan nilai keanggotaan antara 0 dan 1. Karena alasan diatas maka pada penelitian ini akan dibuat perancangan perangkat lunak dan perangkat keras robot avoider dengan mengunakan aplikasi Fuzzy Logic sebagai kendali sistem.

Perlu diketahui bahwa Teori Himpunan Samar dan Logika Samar sangat berkembang pesat pada saat ini. Banyak sekali masalah-masalah nyata yang lebih tepat diselesaikan menggunakan Teori Himpunan Samar dan Logika Samar. Banyak sekali muncul teori-teori baru pada saat ini misalnya: Topologi Fuzzy, Analisa Fuzzy, Aljabar Fuzzy (Fuzzy Semi Group, Fuzzy Ring, Fuzzy Group, dan sebagainya).

LOGIKA PERNYATAAN

Pernyataan adalah kalimat yang mempunyai nilai kebenaran yaitu benar atau salah.

Contoh:

1. Bensin mudah terbakar.

2. Cristiano Ronaldo adalah pemain bulu tangkis.

3. 5 adalah bilangan genap

4. Bandung merupakan ibukota jawa jawa barat.

Pernyataan 1 dan 5 bernilai benar sedangkan yang no2 dan no3 bernilai salah. Tidak semua kalimat merupakan pernyataan, dengan kata lain tidak semua kalimat mempunyai nilai kebeneran. Kalimat tanya, kalimat perintah, kaliamat seruan bukanlah pernyataan.

LOGIKA PREDIKAT

Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam

matematika,filosofi linguistika, dan ilmu computer

Jika membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya:

· Sokrates adalah seorang manusia

· Plato adalah seorang manusia

Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan p dan q. Dalam LTP, keduanya dihubungkan dengan satu sifat, yaitu Manusia(x), artinya x adalah seorang manusia. Bila x = Socrates kita mendapatkan proposisi pertama, p; dan jika x = Plato kita mendapatkan proposisi kedua, q.

PERBEDAAN DAN PERSAMAAN MATEMATIKA DAN FILSAFAT

Persamaan filsafat dan matematika:

Kerja Filosof adalah berpikir konsep.

Kerja Matematikawan adalah memperjelas konsep yang dikembangkan oleh filosof.

Perbedaan filsafat dan matematika:

Filsafat bebas menerapkan berbagai metode rasional.

Matematikawan hanya menerapkan metode deduksi.

Contoh 1 :

Misalkan : p menyatakan kalimat “ Mawar adalah nama bunga”

Q menyatakan kalimat “ Apel adalah nama buah”

Maka kalimat “ Mawar adalah nama bunga dan Apel adalah nama buah “

Dinyatakan dengan simbol p Ù q