SITUS INYONG

WWW.EKOMARDIANTO.BLOGSPOT.COM

Jumat, 14 Desember 2012

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 :
  
  1. Ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.                                                                                                                                                                             
  2. 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 :
 
  1. Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yangdipergunakan untuk membuktikan validitas suatu argumen.
  2.  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
Contoh 2 :
Misalkan  p: hari ini hari minggu
                 q: hari ini libur
 
nyatakan kalimat dibawah ini dengan simbol logika :
Hari ini tidak hari minggu tetapi libur
Hari ini tidak hari minggu dan tidak libur
Tidak benar bahwa hari ini hari minggu dan libur

Tidak ada komentar:

Poskan Komentar