Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 Revisi 03 Logika Informatika31/12/20111.

Presentasi serupa


Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 Revisi 03 Logika Informatika31/12/20111."— Transcript presentasi:

1 Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2 Revisi 03 Logika Informatika31/12/20111

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

3 1.SKEMA (Schemas) 2.PARSE TREE CARA MENYEDERHANAKAN DENGAN TEKNIK PARSING 331/12/2011Revisi 03 Logika Informatika

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

5  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. WELL FORM FORMULAE 531/12/2011Revisi 03 Logika Informatika

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

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

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

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

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

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

12 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. PENYELESAIAN PARSE TREE 1231/12/2011Revisi 03 Logika Informatika

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

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

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

16 PENYELESAIAN PARSE TREE 1631/12/2011Revisi 03 Logika Informatika


Download ppt "Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 Revisi 03 Logika Informatika31/12/20111."

Presentasi serupa


Iklan oleh Google