Langsung ke konten utama

Logika Dasar Pemrograman

Pada postingan sebelum ini saya membahas tentang penngertian logika pemrograman, namun kali ini saya akan membahas tentang logika dasarnya pemrograman.

Langsung saja ke pembahasan logika dasar pemrograman ini terbagi menjadi beberapa bagian yang saling berkaitan satu sama lainnya. bagian - bagian tersebut antara lain  adalah sebagai berikut:


  • Propositions

Bagian ini adalah dasar pembentuk kalimat logika (sentence). Membentuk kalimat deklaratif ~ yaitu kalimat yang dapat ditentukan nilai kebenarannya (truth value), true atau false tetapi tidak keduanya.
contohnya adalah:
  1. Jakarta adalah ibu kota negara Indonesia
  2. 3 adalah bilangan prima yang pertama
  3. 6+9>20
Dinyatakan dengan:

  1. Truth value, (misal: true dan false)
  2. Proportional Simbils, (misal: p,q,r,s,t..)

  • Sentence
Bagian ini dibangun dari proposisi - proposisi dengan menggunakan "Proporsitional connectives", yaitu: not, and, or, if-than, -if and only if-, if-than-else
Aturan pembentukan sentence adalah sebagai berukut:
  1. Proporsional                         (p)
  2. Negation proposisi p,      (not p)
  3. Conjunction,                (p and q)
  4. Disjunction,                    (p or q)
  5. Implication,              (if p then q)
  6. Equivalence,   (p if and only if q)
  7. Conditional,     (if p then q else r)


  • Notation
notasi dari 6 connective:


Contoh penulisan notasi konvensional:
(if ((p or q) and (if q then r) then (if (p and q) then (not r)))
adalah: ((p V q) ^ (q -> r) -> ((p ^q) -> ~r)

  • Interpretation
Bagian ini adalah pemberian truth value pada setiap simbol proposisi dari suatu kalimat logika.
contoh: not p or q
maka interpretasi untuk proporsisi p dan q adalah:
P - true
P - false
atau 
Q - true 
Q - false
  • Semantic Rule (cont)





Nah begitulan ulasan yang dapat saya bagikan kepada kawan - kawan sekalian, semoga bermanfaat dikehidupa kita amin. :D
silahkan berkomentar sesuka hati anda dan saya akan membantu jika diperlukan. terimaksaih. :D



Daftar payperpost disini bisa dapat uang hanya dengan melakukan posting.

Komentar

Posting Komentar

Postingan populer dari blog ini

Implementasi Has-a Relationship “Aggregation”

Pada postingan sebelumnya, kita sudah pernah membuat class Author yang bisa kita gunakan lagi (reuse) dengan “has a relationship” (Aggregation / Composition). Sebagai contoh asumsikan sebuah buku (Book) ditulis oleh seorang penulis (Author). Step by step : Asumsikan bahwa anda telah mendefinisikan/mempunyai class Author sebelumnya. (menggunakan kembali class Author yang sudah ada). Selanjutnya anda akan mendefinisikan sebuah class baru yaitu class Book. Buatlah atribut-atribut, constructor-constructor dan method-method pada class Book seperti pada class diagram diatas, terpadat 4 member variable, yaitu: name (String), author (merupakan instance dari class Author yang sudah diciptakan), asumsikan bahwa tiap buku hanya ditulis oleh satu Author), price (double), dan  qtyInStock (int) 2 overloading constructor Getter/Setter: getName(), getAuthor(),getPrice(), setPrice(), getQtyInStock(),setQtyInStock() Sebuah method toString() yang menge...
Posting Komentar
Baca selengkapnya

Defining Classes and Objects (Part I)

Pada postingan kali ini, bertujuan untuk membuat dan mengimplementasikan pendefinisian suatu class dan cara bagaimana membuat atau menginstansiasi suatu objek dari suatu class. Diketahui definisi sebuah class yang dimodelkan dalam class diagram dibawah ini. Misalnya membuat program untuk membuat lingkaran dengan jari-jari dan warna tertentu, serta menghitung dan menampilkan luas dan keliling dari lingkaran tersebut.   Langkah-langkah membuat dan mendefinisikan class dan menciptakan suatu obyek dari class tersebut adalah : Declaring a Class in Java Diketahui sebuah nama class dari class diagram tersebut yaitu Class Circle. Class Circle berisi definisi class lingkaran yang meliputi atribut-atribut dan method yang dapat didefinisikan dari lingkaran. Menentukan dan mendeklarasikan nama class nya terlebih dahulu. Menentukan dan mendeklarasikan atribut-atribut dan method dari class tersebut. Nama constructor sama dengan nama class. Kemudian inisialisasikan nilai da...
Posting Komentar
Baca selengkapnya