Gudang Materi

Daftar Menu Restoran - Pemrograman C++

Untuk membuat sebuah program C++ tidaklah mudah, tapi jika anda telah mempelajarinya anda pasti bisa dan akan mudah untuk menekuni bidang Pemrograman ini , jika anda baelum tahu apa itu Pemrograman C++ anda dapat menyimak materi Borland C++ kami ini. Bagi yang telah mengerti mari kita lanjutkan. Untuk membuat pemrograman C++ akan kita mulai dengan membuat

:

#include

Kemudian mendeklarasikan variabel :

main() {
int i,pil,tothrg,byr,hrg,jml,kmb;
char menu;
printf("Warung Cak Kar\n");
printf("Menu Makanan Harga\n");
for (i=0; i<32;>
printf("-");
printf("\n");

Mendeklarasikan isi :

printf("1. Sate Kelinci Rp.15000\n");
printf("2. Ayam Kremes Rp.12000\n");
printf("3. Coto Makassar Rp.12000\n");
printf("4. Lontong Sayur Rp.13500\n");
printf("5. Rendang Daging Rp.18000\n");
printf("6. Es Teh Manis Rp.2500\n");
printf("7. Es Jeruk Rp.3500\n");

printf("\n");
printf("Pilihan Anda adalah ");
scanf("%d", &pil);

if (pil==1)
hrg=15000;
if (pil==2)
hrg=12000;
if (pil==3)
hrg=12000;
if (pil==4)
hrg=13500;
if (pil==5)
hrg=18000;
if (pil==6)
hrg=2500;
if (pil==7)
hrg=3500;

printf("\n");
printf("Menu Pilihan\n");
for (i=0; i<22;>
printf("-");
printf("\n");
printf("\n");

if (pil==1)
printf("Sate Kelinci\n");
if (pil==2)
printf("Ayam Kremes\n");
if (pil==3)
printf("Coto Makassar\n");
if (pil==4)
printf("Lontong Sayur\n");
if (pil==5)
printf("Rendang Daging\n");
if (pil==6)
printf("Es Teh Manis\n");
if (pil==7)
printf("Es Jeruk\n");

printf("\n");
printf("Jumlah yang Dipesan ");
scanf("%d", &jml);
tothrg = jml * hrg;
printf("Harga Total : Rp. %d\n", tothrg);
printf("Dibayar : Rp. ");
scanf("%d", &byr);
kmb = byr - tothrg;
printf("Uang Kembalian : Rp. %d", kmb);

Kami menyediakan program .cpp yang dapat dijalankan pada Borland C++

, yang dapat anda download disini : restofkr.cpp .. Untuk memakainya, setelah mendownload ubahlah / save as dalam bentuk .cpp !!
We served program .cpp that can run in Borland C++ , that you can download in : that link.. For used , after download you must to convert in .cpp mode !!

Baca Selengkapnya ..

Pendidikan Anti Korupsi

Pentingnya Pendidikan Antikorupsi Sejak Dini

Oleh
Stevani Elisabeth/ Wahyu Dramastuti

Jakarta - Orang tua, dalam hal ini ayah dan ibu, harus menanamkan pendidikan antikorupsi kepada anak sejak dini, bahkan sejak anak masih berada di dalam kandungan.

Pendidikan ini dapat dilakukan dengan berbagai cara seperti melalui dongeng, buku cerita maupun buku pelajaran, serta melalui contoh sehari-hari.
Deputi II Bidang Peningkatan Kualitas Hidup Perempuan, Kementerian Pemberdayaan Perempuan (KPP), Setiawati J Arifin, mengemukakan hal itu kepada SH, di ruang kerjanya di Kantor KPP, Jakarta, baru-baru ini.

Menurutnya, sejak awal anak harus dilatih untuk bersikap jujur. Upaya menamankan kejujuran pada anak bukan hanya dibebankan pada ibu, tetapi juga kepada ayah. “Mendidik anak merupakan tugas ayah dan ibu. Saya tidak setuju kalau pola pengasuhan anak hanya ditekankan pada ibu saja,” lanjutnya. Pendidikan sejak dini akan dapat membentuk pola pikir anak supaya menjadi pribadi yang juga antikorupsi.

Khusus untuk remaja, Setiawati mengatakan, perlu dilakukan sosialisasi agar mereka menolak harta benda atau uang dari orang tuanya yang diduga merupakan hasil korupsi. Mereka juga harus diberi tahu, bahwa jika mereka membawa uang yang bukan miliknya maka harus segera mengembalikan kepada pemiliknya, meskipun pemilik uang itu adalah orang tuanya sendiri.
Sedangkan bagi ayah atau ibu yang sudah telanjur melakukan korupsi dan dipenjara, bisa memberikan efek jera bagi anaknya. “Anak yang melihat orang tuanya masuk bui karena korupsi, akan jadi takut melakukan hal tersebut. Dia akan berpikir dia juga korupsi seperti ayah atau ibunya, maka hukumannya masuk bui,” lanjutnya.

Kearifan Lokal
Setiawati berpendapat bahwa korupsi merupakan bentuk penyimpangan moral dari nilai-nilai budaya bangsa Indonesia yang telah disepakati oleh pendiri bangsa lewat Pancasila. Dampak korupsi telah menghancurkan sendi-sendi kehidupan berbangsa. Oleh karena itu, Kantor Kementerian Pemberdayaan Perempuan (KPP) telah mengadakan program Bina Keluarga Balita (BKB).
Melalui BKB, nilai-nilai antikorupsi pada anak sudah diperkenalkan kepada para orang tua. Ini karena gerakan BKB merupakan upaya meningkatkan pengetahuan dan keterampilan orang tua dan anggota keluarga lainnya dalam mengasuh dan membina tumbuh kembang anak secara optimal untuk mewujudkan sumber daya manusia (SDM) yang berkualitas.

Selain itu, dalam kegiatan BKB orang tua disadarkan untuk memberikan contoh yang baik dalam kehidupan sehari-hari. “Anak selalu melihat apa yang diperbuat oleh orang tuanya. Kalau orang tuanya tidak jujur, jangan mengajarkan kepada anak untuk tidak mencuri. Kalau orang tuanya tidak berdoa, jangan mengajarkan anaknya supaya rajin berdoa,” tegas Setiawati.

Ia juga mengatakan, sebetulnya pendidikan antikorupsi dapat disesuaikan dengan nilai-nilai kearifan lokal yang ada pada masing-masing etnis, sehingga masyarakat lebih mudah memahami pengertian, bahaya dan perilaku yang tidak baik tentang korupsi.

Contohnya bagi masyarakat Bugis yang masih memegang budaya siri’. Siri’ berarti jiwa, harga diri dan martabat orang Bugis. Tidak ada nilai yang paling berharga dan patut dipertahankan selain siri’. Korupsi merupakan perbuatan melawan hukum yang bertentangan dengan budaya siri’, dan sebaliknya budaya melayani dan berbuat jujur merupakan implementasi dari siri’.
“Masih banyak kearifan lokal di Indonesia yang bisa digali, dikembangkan dan dilestarikan untuk memasukkan pendidikan antikorupsi. Dengan begitu, penanaman nilai-nilai antikorupsi akan lebih mudah dipahami dan diterima oleh semua kalangan di masyarakat Indonesia,” Setiawati mengingatkan.

Untuk itu memperingati hari Anti Korupsi Internasional , kami segenap pengurus Blog ini, menghimbau agar para Pemuda - Pemudi , marilah kita untuk bersatu padu memberantas korupsi dari diri kita dan dari Indonesia. Merdeka..!!

Baca Selengkapnya ..

Deduksi Alami

Deduksi Alami

Falsum

Simbol falsum dulu digunakan untuk menyatakan “kebohongan”. Dapat juga digunakan untuk menunjukkan “kemustahilan”, seperti A dan bukan A. Didefinisikan bahwa ~A = A→ falsum.

Tabel kebenaran.

Aturan-aturan Deduksi Alami ada 11 aturan yang anda dapat download disini :
11 Aturan Deduksi Alami

Pembuktian Teorema

Teorema di sini adalah suatu bentuk ekspresi logika atau wff, yang diperoleh dari aturan deduksi alami yang berasal dari asumsi-asumsi tertentu.

Asumsi-asumsi ini bisa berbentuk premis-premis atau sekumpulan premis yang disebut teori.

Premis-premis dari teori dinamakan aksioma-aksioma dan kesimpulan yang dibuktikan dari aksioma adalah teorema.

Dan ada 13 Teorema Deduksi Alami yang dapat anda download di :
13 Teorema Deduksi Alami

Terima kasih , telah membaca artikel saya ini. Ada baiknya mencantumkan nama Blog saya ini sebagai sumber referensi. Download Materi Deduksi Alami ( Falsum )

Baca Selengkapnya ..

Resolusi

Resolvent

Dua literal, misalnya p dan ~p disebut pasangan literal yang saling melengkapi. Jika ada dua klausa yang masing-masing memiliki satu dari pasangan tersebut, maka klausa tersebut dapat di-resolved menjadi satu klausa baru (resolvent clause)

Sebagai contoh, klausa {p1, ~p2, p3} dengan {p2, p3} dapat di-resolved mejadi {p1, p3}

Operator “–” adalah operator pembeda himpunan, yang hasilnya adalah himpunan yang berasal dari argumen pertama dengan (sub) himpunan dari argumen kedua yang dihilangkan.

Sebagai contoh resolvent dari {1, 2, 3, 4} – {2} adalah {1, 3, 4}

Teorema Prinsip Resolusi

Resolvent dua klausa, C1 dan C2 adalah konsekuensi logis dari C1^C2, yakni ditulis: C1^C2 |= res(C1, C2)

Deduksi Resolusi

Definisi: deduksi resolusi klausa C dari himpunan klausa S adalah sederetan klausa-klausa (C1, C2, …, Ci, …, Cn) = C, yang setiap Ci, adalah anggota dari S atau resolvent dari dua klausa yang diperoleh dari S atau anggota awal dari deretan tersebut.

Contoh

Buktikan:
{(p1→p2), (~(p2→p3)→~p1)} |= (p1→p3)

Pembuktian:

Langkah 1:
Ubahlah menjadi bentuk klausa (CNF)

1. p1→p2
= ~p1p2

2.(p2→p3)→~p1
= ~~(~p2 V p3)V ~p1
= ~p2 V p3 V~p1

3. p1→p3
= ~p1 V p3

Langkah 2:
Selanjutnya, akan berbentuk:
{{~p1Vp2}, {~p2 V p3 V ~p1}} |={~p1 V p3}

Langkah 3:
Buatlah pohon resolusinya.

{ ~p1 V p2 } {~p2 V p3 V ~p1 }
\ /
{ ~p1 V p3 }

Terbukti bahwa (~p1, p3) adalah hasil resolusi dari (~p1, p2) dan (~p2, p3, ~p1)

Contoh Validitas Argumen

Argumen yang hendak dibuktikan validitasnya dengan deduksi resolusi.

Contoh
Jika pejabat melakukan korupsi, maka rakyat tidak akan marah atau kejaksaan akan memeriksanya. Jika kejaksaan tidak akan memeriksanya, maka rakyat akan marah. Kejaksaan akan memeriksanya. Dengan demikian, pejabat tidak melakukan korupsi.

Pembuktian

Langkah 1:
Menentukan variabel-variabel proposisional dan membuat ekspresi logikanya.
A = Pejabat melakukan korupsi.
B = Rakyat akan marah.
C = Kejaksaan akan memeriksanya.

Maka akan menjadi:
A→(~B V C)
~C→B
C
~A
Ekspresi logikanya adalah
(A→(~B V C)) ~(~C→B) ~C |= ~A

Langkah 2:
Ubahlah ekspresi logika tersebut dengan strategi pembalikan yang menegasi kesimpulan untuk menghasilkan falsum .
(A→(~B V C)) ~(~C→B) ~C ^ ~~A |= falsum

Langkah 3:
Mengubah menjadi klausa-klausa CNF:
1. (A→(~B V C))
= (~A V (~B V C))
= (~A V~B V C)

2. (~C→B)
= (~~C V B)
= (C V B)
3. C
4. ~~A
= A

Selanjutnya, bentuknya menjadi seperti berikut:
(~A V ~B V C) ^ (C V B) ^ C ^ A |= falsum

Langkah 4:
Susunlah pohon resolusinya seperti berikut:

Jadi tidak mungkin me-resolved C dengan C untuk menghasilkan klausa kosong sehingga argumen dipastikan tidak valid.

Terima kasih , telah membaca materi saya ini. Ada baiknya mencantumkan nama Blog saya ini sebagai sumber referensi. Untuk download materi ini klik Materi Resolusi

Baca Selengkapnya ..

Bentuk Normal ( Normal Form )

Bentuk normal (normal form) adalah bentuk standar untuk ekspresi logika

Bentuk normal mempunyai dua jenis, yaitu bentuk normal konjungtif dan bentuk normal disjungtif

Bentuk normal sangat penting difahami karena kebanyakan aplikasi logika, misalnya merancang rangkaian elektronika atau sirkuit menggunakan bentuk normal, khususnya bentuk normal disjungtif

Bentuk normal disebut juga bentuk kanonikal (canonical form)

Bentuk normal hanya berisi perangkai ~, ^ , dan V, dengan proposisi dasar yang dikomposisikan dalam bentuk rumus atomik atau atom-atom.

Literal adalah atom dan atau negasi dari atom

Bentuk Normal Konjungtif

Definisi: suatu ekspresi logika (wff) berbentuk normal konjungtif (CNF) bila ia merupakan konjungsi dari disjungsi literal-literal. Bentuknya seperti berikut:
(a1 V a2) ^ (a3 V a4) .. ^ (an V an+1)

Bentuk CNF pada nomor (1), (2), (3), dan (4) di atas tetap dapat disebut bentuk normal konjungtif. Untuk nomor (4) diterima sebagai default.

Bentuk Normal Disjungtif
Suatu ekspresi logika (wff) berbentuk bentuk normal disjungtif (DNF) bila ia merupakan disjungsi dari konjungsi literal-literal. Bentuknya seperti berikut:
(a1 ^ a2) V (a3 ^ a4) .. V (an ^ an+1)

Bentuk DNF pada nomor (1), (2), (3), dan (4) di atas tetap dapat disebut bentuk normal disjungtif. Untuk nomor (4) diterima sebagai default.

Bentuk Normal dan Tabel Kebenaran

Untuk membuat DNF dari suatu ekspresi logika yang dibuat dengan tabel kebenaran cukup mudah, yakni hanya mengambil nilai-nilai T dari ekspresi logika tersebut.
Contoh
~(A ^ B) ↔ (~A V ~C)

Darii tabel kebenaran di atas, hanya mengambil dari ~(A ^ B) ↔ (~A V C) yang bernilai T, yakni ada 6 (lihat nomor urut), kemudian jadikan DNF sesuai urutan nomor:
(~A ^ ~B ^ ~C) V (~A ^ ~B ^C) V (~A ^ B ^ ~C) V (~A ^ B ^ C) V (A ^ ~B ^ ~C) V (A ^ B ^C)

Bentuk normal di atas disebut full disjunctive normal form (FDNF)

Untuk CNF sama saja, yakni mengambil nilai F dari tabel kebenaran dan membuatnya menjadi full conjunctive normal form (FCNF), dengan catatan nilai variabel-variabel proposisionalnya terbalik dari pasangan pada tabel kebenaran. T menjadi F dan F menjadi T
CNF disusun sebagai berikut:
(~A V B V ~C) ^ (~A V ~B V C)
Teknik di atas pada DNF sebenarnya menggunakan pasangan variabel proposisional yang berada di tabel kebenaran dan yang memiliki nilai T, yang disebut minterm.

minterm adalah konjungsi dari literal-literal dengan variabel yang hanya dinyatakan satu kali.
Contoh
Misal ada 3 variabel proposisional A, B, dan C. berikut adalah contoh minterm
(A ^ B ^ C); (~A ^ ~B ^~C); (~A ^ B ^ C)
Contoh bukan minterm
(A^A^C); (~A^~B^B); (~A^C); B

Klausa

Klausa adalah disjungsi dari literal-literal. Setiap klausa dapat berisi sekurang-kurangnya satu literal, misalnya A dan ~A, dan setiap literal disebut klausa unit (unit clause)
Contoh klausa-klausa unit

1. (p2^p5^~p3)
2. (~p1 ^ p3)
3. ~p2
4. p10

Pembahasan tentang klausa dan CNF memegang peranan penting untuk melakukan deduksi resolusi (resolution deduction)

Bentuk Normal Konjungtif dan Complementation

Sebelum membahas Complementation, sebaiknya kita mengenal dulu konsep dualitas.
Dualitas adalah kembaran suatu ekspresi. Jika memiliki V perangkai akan diganti ^, dan jika bernilai T akan diganti bernilai F, demikian sebaliknya.
Contoh dualitas
A V~A = T hukum tautologi
A ^~A = F hukum kontradiksi

Konsep dualitas berhubungan erat dengan complementation dan dengan konsep ini akan dibuat CNF dari tabel kebenaran.

Setiap literal mempunyai complement. Jika ada literal A maka complement-nya ~A, jika literalnya ~B maka complement-nya B.

Complementation adalah penegasian suatu ekspresi dengan memakai complement-nya.

Contoh

Negasikan P = (A^B)V ~C dengan complementation.

Penyelesaian:

Langkah 1:
Cari dualitas dari P, yaitu: (A^B)V ~C
Hanya mengganti perangkai, tetapi literalnya tidak diubah.

Langkah 2:
Lakukan complementation dengan mencari complement-nya. Caranya dengan menghapus semua literal dan diganti dengan complement-nya dan menghasilkan (~A V ~B)^C.

Jika masih ragu dengan hasilnya, maka pembuktiannya bisa juga dilakukan dengan cara berikut:
~P = ~((A^B)V~C)
(~(A^B)^~~C)
((~AV~B)^C)
(~AV~B)^C
Ternyata sama.

Complementation dapat digunakan untuk mencari CNF dari suatu ekspresi atau fungsi R. maka buatlah dulu DNF dari ~R, jika hasil DNF adalah P, maka P = ~R dan complement dari P adalah negasinya yang pasti ekuivalen secara logis dengan R.

Perhatikan tabel kebenaran dari suatu ekspresi atau fungsi R

Berdasarkan tabel di atas, R adalah bernilai benar atau pada tabel kebenaran di atas adalah pada nilai-nilai F yang berada pada baris 2, 5, dan 6 dengan pasangan nilainya sebagai berikut:
Baris-2: A = F B = F C = T
Baris-5: A = T B = F C = F
Baris-6: A = T B = F C = T
Maka ekspresi DNF yang diperoleh adalah:
(~A^~B^C) V (A^~B^~C) V (A^~B^C)

Selanjutnya lakukan langkah-langkah berikut:
Langkah 1:
Cari dualitasnya, maka hasilnya:
(A V~B V C)^(A V ~B V~C)^(A V~B V C)
Langkah 2:
Lakukan complementation dengan memberi complement-nya pada setiap literalnya, sehingga hasilnya:
(A V B V ~C) ^ (~A V B V C) ^ (~A V B V~C)

Terima kasih anda telah membaca materi kami ini, kami berharap anda mencantumkan Blog kami sebagai sumber referensi anda. Untuk mendownload klik disini .. Materi Bentuk Normal

Baca Selengkapnya ..