Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2

Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2"— Transcript presentasi:

1 Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2
TEKNIK PARSING Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2 31/12/2011 Revisi 03 Logika Informatika

2 Revisi 03 Logika Informatika
TEKNIK PARSING Teknik menjabarkan suatu pernyataan menjadi proposisi proposisi atomik sehingga tidak bisa dijabarkan (dipecahkan) lagi. 31/12/2011 Revisi 03 Logika Informatika

3 CARA MENYEDERHANAKAN DENGAN TEKNIK PARSING
SKEMA (Schemas) PARSE TREE 31/12/2011 Revisi 03 Logika Informatika

4 Revisi 03 Logika Informatika
SKEMA Cara untuk menyederhanakan suatu proposisi majemuk yang rumit dengan memberi huruf tertentu untuk menggantikan satu subekspresi. Skema menggunakan konsep Well-Formed Formulae (wff) 31/12/2011 Revisi 03 Logika Informatika

5 Revisi 03 Logika Informatika
WELL FORM FORMULAE Memiliki proposisi majemuk : minimum satu perangkai (operator) dengan lebih dari satu variabel proposisional. Memiliki fpe (fully parenthesized expression) : Proposisi – proposisi dengan perangkai – perangkai yang berada di dalam tanda kurung. 31/12/2011 Revisi 03 Logika Informatika

6 Revisi 03 Logika Informatika
CONTOH SKEMA Jika Dewi rajin belajar maka ia lulus ujian serta mendapatkan hadiah istimewa. Dari kalkulus proposisi di atas, buatlah ekspresi logika nya. 31/12/2011 Revisi 03 Logika Informatika

7 Revisi 03 Logika Informatika
MenentukanVariabel–Variabel Proposisional nya terlebih dahulu: A= Dewi rajin belajar B= Dewi lulus ujian C= Dewi mendapat hadiah istimewa 31/12/2011 Revisi 03 Logika Informatika

8 Revisi 03 Logika Informatika
Pernyataan “Dewi lulus ujian” dan “Dewi mendapat hadiah istimewa” merupakan akibat dari “Dewi rajin belajar”. Sehingga Ekspresi Logika nya: A  ( B  C ) 31/12/2011 Revisi 03 Logika Informatika

9 Revisi 03 Logika Informatika
CONTOH SKEMA (P  Q) skop kiri perangkai utama skop kanan (( A  B )  ( A V B )) 31/12/2011 Revisi 03 Logika Informatika

10 Revisi 03 Logika Informatika
PARSE TREE Teknik memisah-misahkan pernyataan menjadi proposisi atomik dalam bentuk pohon. 31/12/2011 Revisi 03 Logika Informatika

11 Revisi 03 Logika Informatika
CONTOH PARSE TREE Jika Dewi lulus sarjana, orang tuanya akan senang, dan dia dapat segera bekerja, tetapi jika dia tidak lulus, semua usahanya akan sia-sia. 31/12/2011 Revisi 03 Logika Informatika

12 PENYELESAIAN PARSE TREE
1.1 Jika Dewi lulus sarjana, orang tuanya akan senang, dan dia dapat segera bekerja. dengan 1.2 Jika dia tidak lulus, semua usahanya akan sia-sia. 31/12/2011 Revisi 03 Logika Informatika

13 PENYELESAIAN PARSE TREE
1.1.1 Jika Dewi lulus sarjana dengan Orang tuanya akan senang, dan dia dapat segera bekerja. 31/12/2011 Revisi 03 Logika Informatika

14 Revisi 03 Logika Informatika
PENYELESAIAN Orang tuanya akan senang, dengan Dia dapat segera bekerja. 31/12/2011 Revisi 03 Logika Informatika

15 Revisi 03 Logika Informatika
PENYELESAIAN 1.2.1 Dia tidak lulus dengan Semua usahanya akan sia-sia 31/12/2011 Revisi 03 Logika Informatika

16 Revisi 03 Logika Informatika
PENYELESAIAN PARSE TREE 1 1.1 1.2 1.1.1 1.1.2 1.2.1 1.2.2 31/12/2011 Revisi 03 Logika Informatika