PR 1 METODE FORMAL (CIG4F3) Semester Ganjil
|
|
- Iwan Gunardi
- 7 tahun lalu
- Tontonan:
Transkripsi
1 PR 1 METODE FORMAL (CIG4F3) Semester Ganjil Dikumpulkan paling lambat pukul 15:00, Jumat, 25 September 2015, di slot pengumpulan PR di idea (softcopy) atau Loker Pengumpulan PR Metode Formal (hardcopy). Lokasi loker berada di antara toilet dan ruang E 108 (IF ). Petunjuk pengerjaan: 1. Sebagaimana telah dijelaskan di awal perkuliahan, bobot seluruh nilai PR yang diberikan dalam satu semester untuk perkuliahan Metode Formal pada semester ganjil direncanakan sebesar 25% dari nilai akhir. 2. Gunakan PR sebagai sarana berlatih untuk menghadapi ujian. Oleh karenanya, kerjakan PR ini dengan serius. Jangan hanya memberi jawaban dan argumen untuk PR ini tanpa memahaminya dengan baik. 3. PR dikerjakan secara individu. Meskipun begitu, Anda diperkenankan berdiskusi dengan teman sekelas, teman sekampus, atau teman yang berasal dari kampus lain. Tuliskan nama-nama orang yang Anda ajak berdiskusi lengkap dengan asal institusinya pada bagian referensi yang mungkin perlu ditambahkan pada bagian akhir PR. 4. PR ini terdiri dari 6 (enam) soal dengan bobot masing-masing soal yang bervariasi. Anda akan dinilai tidak hanya pada jawaban akhir saja, tetapi juga pada argumen dan tata bahasa penulisan ilmiah yang Anda tuliskan. 5. Berkas PR dikumpulkan dalam bentuk softcopy saja, atau softcopy dan hardcopy. 6. Pengumpulan berkas softcopy dilakukan pada slot yang telah disediakan di idea, batas waktu unggah adalah Jumat 25 September 2015 pukul 15:00 waktu idea. Berkas yang diunggah berformat.pdf dengan format penamaan PR1MetFor-<NIM>-Nama_Panggilan. Contoh: PR1MetFor Indra. 7. PR boleh dikerjakan dengan cara: Ditulis dengan tulisan tangan sendiri, kemudian hasilnya dipindai (scan) dan dijadikan berkas.pdf. Kertas yang boleh dipakai adalah kertas A4, HVS, atau folio bergaris. Jawaban boleh ditulis dengan pensil 2B, pensil HB, atau pulpen bertinta hitam/ biru. Diketik rapi. Usahakan untuk memakai notasi yang telah diajarkan diperkuliahan. Jika tidak, jelaskan terlebih dulu notasi yang Anda pakai. halaman 1 dari 8
2 8. Jika Anda berniat untuk mengumpulkan berkas hardcopy, berkas dikumpulkan di loker pengumpulan PR Metode Formal yang terdapat pada loker dosen KK ICM di depan ruang E 108 (IF ). Batas pengumpulan berkas hardcopy adalah Jumat 25 September 2015 pukul 15:00 waktu idea. 9. Selamat berlatih dan mengerjakan PR. Semoga beruntung ketika ujian. halaman 2 dari 8
3 Soal 1 ( = 20) Diberikan proposisi p, q, dan r. (a). [5 poin] Buatlah tabel kebenaran untuk proposisi (p q) r. (b). [5 poin] Buatlah tabel kebenaran untuk proposisi p (q r). (c). [2poin] Apakah merupakan operator logika proposisi yang bersifat asosiatif? Jelaskan jawaban Anda. (d). [6 poin] Buatlah tabel kebenaran untuk (p q r) ( p q r) ( p q r). (e). [2 poin] Apakah p q r ekuivalen dengan (p q r) ( p q r) ( p q r)? halaman 3 dari 8
4 Soal 2 ( = 10) Misalkan a, s, dan n adalah proposisi-proposisi berikut: a : sistem dijalankan dalam administrator mode s : sistem dijalankan dalam safe mode n : sistem dijalankan dalam normal mode Translasikan pernyataan-pernyataan berikut ke dalam formula logika proposisi menggunakan proposisi a, s, dan n yang telah dijelaskan serta operator-operator logika,,,,, dan. (a). [2 poin] Sistem tidak dapat dijalankan dalam administrator mode bila sistem dijalankan dalam safe mode. (b). [2 poin] Ketika sistem dijalankan dalam normal mode, maka sistem dijalankan dalam tepat salah satu dari administrator mode atau safe mode. (c). [2 poin] Sistem selalu dijalankan dalam administrator mode dan normal mode secara bersamaan. (d). [2 poin] Sistem dapat dijalankan dalam administrator mode jika tidak dijalankan dalam safe mode. (e). [2 poin] Sistem dapat dijalankan dalam tepat salah satu dari administrator mode, safe mode, atau normal mode. (Petunjuk: perhatikan kembali Soal 1 (d) dan (e)). halaman 4 dari 8
5 Definisi 1 Misalkan φ adalah sebuah formula logika proposisi: (a). formula φ dikatakan absah (valid) apabila φ selalu bernilai benar untuk setiap interpretasi I (b). formula φ dikatakan terpenuhi (satisfiable) apabila φ dapat bernilai benar untuk suatu interpretasi I (c). formula φ dikatakan kontradiksi (contradictory) apabila φ selalu bernilai salah untuk setiap interpretasi I (d). formula φ dikatakan tersalahkan (falsifiable) apabila φ dapat bernilai salah untuk suatu interpretasi I (e). formula φ dikatakan kontingensi (contingency) apabila φ bukan formula yang bersifat absah dan bukan pula formula yang bersifat kontradiksi. Soal 3 ( = 20) Diberikan formula-formula φ 1, φ 2, φ 3, φ 4, dan φ 5 berikut: (a). [4 poin] φ 1 := (p q) ( q r) ( r s) p s (b). [4 poin] φ 2 := p q r s p q r s (c). [4 poin] φ 3 := p (q r) (p q r) (d). [4 poin] φ 4 := ( p q r) (p q r) (p q r) (e). [4 poin] φ 5 := ( p q r) ( p q r) (p q r) Berikan tanda pada baris dan kolom yang bersesuaian untuk Tabel 1 bila formula φ i memenuhi sifat-sifat yang telah dijelaskan pada Definisi 1. Berikan bukti dan argumen yang mendukung jawaban Anda. φ 1 φ 2 φ 3 φ 4 φ 5 valid satisfiable contradiction falsifiable contingency Tabel 1: Tabel Sifat-sifat Formula halaman 5 dari 8
6 Soal 4 (5 + 5 = 10) Periksa apakah himpunan-himpunan formula berikut konsisten atau tidak. Jelaskan jawaban Anda. (a). [5 poin] A = {p q, p, p q, q} (b). [5 poin] B = { p q, p r, q s, p s} halaman 6 dari 8
7 Soal 5 ( = 20) Ubahlah formula logika proposisi berikut menjadi formula yang ekuivalen dan hanya memakai operator dan saja. Verifikasi jawaban Anda dengan tabel kebenaran. (a). [5 poin] p q (b). [5 poin] p q (c). [5 poin] p q (d). [5 poin] p q halaman 7 dari 8
8 Soal 6 ( = 20) Periksa apakah pasangan formula-formula φ dan ψ berikut ekuivalen atau tidak. Berikan argumen pada jawaban Anda. (a). [5 poin] φ := p (q r) dan ψ := q (p r) (b). [5 poin] φ := p (q (r s)) dan ψ := ((p q) r) s (c). [5 poin] φ := p (q (r s)) dan ψ := p q r s (d). [5 poin] φ := p (q r s) dan ψ := (p q) (p r) (p s) halaman 8 dari 8
(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil
(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 25 September 2015, di slot pengumpulan PR di idea (softcopy) atau Loker Pengumpulan PR
Lebih terperinciPR 2 METODE FORMAL (CIG4F3) Semester Ganjil
PR 2 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 16 Oktober 2015, di slot pengumpulan PR di idea (softcopy, format.pdf, ukuran berkas tidak lebih dari
Lebih terperinciTUGAS I HIMPUNAN Matematika Diskrit (MUG2A3)
Program Studi S1 Teknik Informatika Fakultas Informatika, Telkom University Instruksi: TUGAS I HIMPUNAN Matematika Diskrit (MUG2A3) 1. Batas akhir pengumpulan tugas ini adalah Rabu, 10 Februari 2016 pukul
Lebih terperinciTugas 2: Logika Predikat Logika Matematika (MUG2B3)
Program Studi S1 Teknik Informatika Fakultas Informatika, Universitas Telkom Tugas 2: Logika Predikat Logika Matematika (MUG2B3) Tim Dosen: BBD, BDP, DDR, GIA, MDS, MZI, RJL, SSD, SWD Instruksi: 1. Batas
Lebih terperinciTUGAS 1: Logika Proposisi Logika Matematika (MUG2B3)
Program Studi S1 Teknik Informatika Fakultas Informatika, Telkom University TUGAS 1: Logika Proposisi Logika Matematika (MUG2B3) Instruksi: 1. Batas akhir pengumpulan tugas ini adalah Jumat, 18 September
Lebih terperinciLogika Predikat (Kalkulus Predikat)
Logika Predikat (Kalkulus Predikat) Kuliah (Pengantar) Metode Formal Semester Ganjil 2015-2016 M. Arzaki Fakultas Informatika Telkom University FIF Tel-U November 2015 MZI (FIF Tel-U) Logika Predikat (Kalkulus
Lebih terperinciLOGIKA. Arum Handini Primandari
LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian
Lebih terperinciBAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen
BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang
Lebih terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) CIG4F3 METODE FORMAL Disusun oleh: Muhammad Arzaki PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana Pembelajaran
Lebih terperinciPEMBAHASAN. Teorema 1. Tidak ada bilangan asli N yang lebih besar dari semua bilangan bulat lainnya.
PEMAHAAN 1. Pengertian Kontradiksi Kontradiksi adalah dua pernyataan yang bernilai salah untuk setiap nilai kebenaran dari setiap komponen-komponennya. 2. Pembuktian dengan Kontradiksi Kontradiksi merupakan
Lebih terperinciLogika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi
Logika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University
Lebih terperinciPANDUAN PENGUNGGAHAN LAPORAN KEMAJUAN, CATATAN HARIAN, DAFTAR PENGELUARAN PENELITIAN DAN PENGABDIAN MASYARAKAT TAHUN 2013 MELALUI SIM-LITABMAS
PANDUAN PENGUNGGAHAN LAPORAN KEMAJUAN, CATATAN HARIAN, DAFTAR PENGELUARAN PENELITIAN DAN PENGABDIAN MASYARAKAT TAHUN 2013 MELALUI SIM-LITABMAS Ketentuan Umum : 1. Format standar laporan mengacu pada Buku
Lebih terperinciMatematika Industri I
LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai
Lebih terperinciEKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang
Lebih terperinciKALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc
KALKULUS PERNYATAAN Totologi & Kontradiksi Nur Insani, M.Sc Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru lewat penggunaan operator logika: negasi (-), dan (^), atau
Lebih terperinciPROGRAM STUDI MANAJEMEN FAKULTAS EKONOMI DAN BISNIS UNIVERSITAS KATOLIK INDONESIA ATMA JAYA
PANDUAN MAGANG PROGRAM STUDI MANAJEMEN FAKULTAS EKONOMI DAN BISNIS UNIVERSITAS KATOLIK INDONESIA ATMA JAYA 2017 Kata Pengantar Mulai Semester Ganjil 2017/2018 magang menjadi mata kuliah wajib di Prodi
Lebih terperinciSTMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto
1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula
Lebih terperinciBUKU SUPLEMEN & RESUME SEMINAR PENDIDIKAN AGAMA ISLAM
BUKU SUPLEMEN & RESUME SEMINAR PENDIDIKAN AGAMA ISLAM NAMA : NIM : KELAS / PRODI : FAKULTAS : TUTORIAL PAI-SPAI UNIVERSITAS PENDIDIKAN INDONESIA 1 TEMA PEKANAN SPAI 1. Radikalisme 2. Pluralisme 3. Sekulerisme
Lebih terperinciLogika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.
Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu
Lebih terperinciMETHOD OF PROOF Lecture 7. DR. Herlina Jayadianti, ST.MT
MEHOD OF PROOF Lecture 7 DR. Herlina Jayadianti, S.M Review Sifat Kalimat dan Substitusi 1. Valid sentence / autology 2. Satisfiable sentence 3. Contingent sentence 4. Contradictory sentence / Kontradiksi
Lebih terperinciKompetensi Aplikasi Komputer (FISIP)
Tugas 4 Kompetensi Aplikasi Komputer (FISIP) Dosen Pengampu: Putra Pandu A., S.Kom Universitas Brawijaya Malang 2012 Daftar Isi Daftar Isi... i Kompetensi Aplikasi Komputer... 1 Deskripsi Tugas... 1 Tujuan
Lebih terperinciLogika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)
Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak
Lebih terperinciPendahuluan Perkuliahan Matematika Diskret
Pendahuluan Perkuliahan Matematika Diskret Kuliah Matematika Diskret Semester Genap 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Januari 2015 MZI (FIF Tel-U) Pendahuluan Perkuliahan Januari
Lebih terperinciProgram Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com
Lebih terperinciBAB I PENDAHULUAN. 1.1 Latar Belakang
BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional
Lebih terperinciPRAKTIK KERJA LAPANGAN (PKL) 2017
PEDOMAN PELAKSANAAN PRAKTIK KERJA LAPANGAN (PKL) 2017 PROGRAM STUDI D3 OTOMASI SISTEM INSTRUMENTASI DEPARTEMEN TEKNIK FAKULTAS VOKASI UNIVERSITAS AIRLANGGA Kampus B Jalan Srikana 65 Surabaya 60286 Telp:
Lebih terperinciPENALARAN INDUKTIF DAN DEDUKTIF
Unit 6 PENALARAN INDUKTIF DAN DEDUKTIF Wahyudi Pendahuluan U nit ini membahas tentang penalaran induktif dan deduktif yang berisi penarikan kesimpulan dan penalaran indukti deduktif. Dalam penalaran induktif
Lebih terperinciPERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
Lebih terperinciBUKU PANDUAN SKRIPSI. Versi 0.1
BUKU PANDUAN SKRIPSI Versi 0.1 Buku Panduan Skripsi Buku ini dibuat dengan tujuan untuk memudahkan mahasiswa dalam menjalani proses skripsi, terutama dalam hal administrasi. Dalam buku ini dijelaskan prosedur
Lebih terperinciKALIMAT MAJEMUK DAN KONEKTIVITAS
KALIMAT MAJEMUK DAN KONEKTIVITAS Dosen & Asisten Dr. Julan HERNADI & (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 2 FONDASI MATEMATIKA DEFINISI DAN MACAM KONEKTIVITAS
Lebih terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).
Lebih terperinciArgumen premis konklusi jika dan hanya jika Tautolog
INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut
Lebih terperinciKULIAH KERJA LAPANGAN (KKL)
KULIAH KERJA LAPANGAN (KKL) Kuliah Kerja Lapangan atau KKL adalah suatu bentuk program pendidikan yang dilaksanakan oleh Jurusan Ilmu Pemerintahan FISIP UNIKOM dalam upayanya meningkatkan isi dan bobot
Lebih terperinciPANITIA LKTI DAN NATIONAL EDUCATION PERHIMPUNAN MAHASISWA SOSIAL EKONOMI PERTANIAN FAKULTAS PERTANIAN UNIVERSITAS BRAWIJAYA - MALANG
Pendahuluan PANITIA PANDUAN LOMBA LKTI DAN NATIONAL EDUCATION 2015 Indonesia adalah negara yang memiliki banyak kekayaan. Sumberdaya yang melimpah menjadikan bangsa Indonesia sebagai tempat pembangunan
Lebih terperinciPetunjuk Penggunaan UjiKomKu untuk Institusi
Petunjuk Penggunaan UjiKomKu untuk Institusi Log masuk Setelah berlangganan, setiap institusi akan mendapatkan satu akun log masuk untuk admin institusi yang berupa: ID Akun Kata sandi Kode institusi Setelah
Lebih terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:
Lebih terperinciMATERI 1 PROPOSITIONAL LOGIC
MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di
Lebih terperinciSINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012
SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi
Lebih terperinciPEDOMAN TUGAS AKHIR JURUSAN TEKNIK SISTEM PERKAPALAN
PEDOMAN TUGAS AKHIR JURUSAN TEKNIK SISTEM PERKAPALAN MARINE ENGINEERING Daftar isi 1. PENDAHULUAN... 1 1.1. TUJUAN... 1 1.2. MATERI POKOK... 1 1.3. PRASYARAT... 1 2. PROPOSAL TUGAS AKHIR... 1 2.1. UMUM...
Lebih terperinciPertemuan 5 PEMILIHAN/PERCABANGAN
ALGORITMA PEMROGRAMAN (Semester 1 - IF6110202) Pertemuan 5 PEMILIHAN/PERCABANGAN Jadwal: Selasa, 24/10/2017, 10:20-12.00 (2 sks) Dosen:Condro Kartiko CAPAIAN PEMBELAJARAN UMUM Setelah mengikuti mata kuliah
Lebih terperinciMODUL PRAKTIKUM ALGORITMA DAN PEMROGRAMAN
MODUL PRAKTIKUM ALGORITMA DAN PEMROGRAMAN TIM PENYUSUN : GERLAN A. MANU, ST., M.Kom ELLEN TANTRISNA, SKom., MMS YONLY A. BENUFINIT, S.Kom.,MT DIANA Y.A FALLO, S.Kom.,M.T PROGRAM STUDI PENDIDIKAN INFORMATIKA
Lebih terperinciBAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran
BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan
Lebih terperinciLOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.
LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.
Lebih terperinciLogika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik
Lebih terperinciKOMPETISI STATISTIKA NASIONAL (KSN) The 12 th STATISTIKA RIA
KOMPETISI STATISTIKA NASIONAL (KSN) The 12 th STATISTIKA RIA TUJUAN 1. Menumbuhkan motivasi peserta kompetisi The 12 th Statistika Ria untuk berprestasi khususnya dalam bidang statistika. 2. Melatih mahasiswa
Lebih terperinciLogika Pembuktian. Matematika Informatika 3 Onggo
Logika Pembuktian Matematika Informatika 3 Onggo Wr @OnggoWr Metode Pembuktian 1. Metode Pembuktian Langsung (Direct Proof) 2. Metode Pembuktian Tak-Langsung (Indirect Proof) a. Proof by Contrapositive
Lebih terperinciHidayah-Nya sehingga kita bisa beraktivitas sehari-hari. Shalawat serta salam
No : 334/LPPM/INT/XI/2016 Lampiran : 5 (Lima) Hal : Pendaftaran KKM Tahun 2016/2017 Kepada Mahasiswa STIE Bina Bangsa Di tempat ب س م ا لل الر ح م ن الر ح يم Segala puji syukur kehadirat Allah atas limpahan
Lebih terperinciBerdasarkan tabel 1 diperoleh bahwa p q = q p.
PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus
Lebih terperinciBIDANG STUDI : MATEMATIKA
BERKAS SOAL BIDANG STUDI : MADRASAH TSANAWIYAH SELEKSI TINGKAT PROVINSI KOMPETISI SAINS MADRASAH NASIONAL 2013 Petunjuk Umum 1. Tuliskan identitas Anda (Nama, Asal Sekolah dan Kabupaten/Kota Sekolah) secara
Lebih terperinciFM-UDINUS-PBM-08-04/R0
SILABUS MATAKULIAH Revisi : 0 Tanggal Berlaku : Mei 2009 A. Identitas 1. Nama Matakuliah : A22.53112/ Logika Matematika 2. Program Studi : Teknik Informatika-D3 3. Fakultas : Ilmu Komputer 4. Bobot sks
Lebih terperinciPERATURAN BADAN PENGAWAS PEMILIHAN UMUM NOMOR 07 TAHUN 2008 TENTANG TATA NASKAH DINAS DI LINGKUNGAN BADAN PENGAWAS PEMILIHAN UMUM
PERATURAN BADAN PENGAWAS PEMILIHAN UMUM NOMOR 07 TAHUN 2008 TENTANG TATA NASKAH DINAS DI LINGKUNGAN BADAN PENGAWAS PEMILIHAN UMUM BADAN PENGAWAS PEMILIHAN UMUM, Menimbang Mengingat : bahwa untuk tertib
Lebih terperinciPENUGASAN PESERTA STUDENT DAY MAHASISWA BARU FAKULTAS KEDOKTERAN HEWAN UNIVERSITAS UDAYANA TAHUN 2017
PENUGASAN PESERTA STUDENT DAY MAHASISWA BARU FAKULTAS KEDOKTERAN HEWAN UNIVERSITAS UDAYANA TAHUN 2017 Student Day Fakultas Kedokteran Hewan Universitas Udayana 2017 merupakan sebuah jalan untuk membangun
Lebih terperinciNomer : Fakultas : Semester : PETUNJUK PENGISIAN
Nomer : Fakultas : Semester : PETUNJUK PENGISIAN 1. Bacalah pernyataan-pernyataan pada lembar berikut, kemudian jawablah dengan sungguh-sungguh sesuai dengan keadaan yang sebenarnya. 2. Jawablah semua
Lebih terperinciHarap diperhatikan bagi mahasiswa yang mengajukan SEMINAR USUL/SEMINAR HASIL/UJIAN SKRIPSI : 1. Semua berkas pada saat pendaftaran tersusun rapi dan
Harap diperhatikan bagi mahasiswa yang mengajukan SEMINAR USUL/SEMINAR HASIL/UJIAN SKRIPSI : 1. Semua berkas pada saat pendaftaran tersusun rapi dan Harus Dilakukan Lewat Loket Administrasi 2. Semua berkas
Lebih terperinciMODUL 1 PERANCANGAN PRODUK PROSEDUR STANDAR OPERASIONAL PRAKTIKUM MANUFAKTUR TERINTEGRASI I
MODUL 1 PERANCANGAN PRODUK PROSEDUR STANDAR OPERASIONAL PRAKTIKUM MANUFAKTUR TERINTEGRASI I 1. KETENTUAN Ketentuan Umum: 1. Praktikan adalah mahasiswa/i Teknik Industri Universitas Dian Nuswantoro yang
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) CSG2B1 PRAKTIKUM ALGORITMA DAN STRUKTUR DATA Disusun oleh: Tim Dosen Algoritma dan Struktur Data PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY
Lebih terperinciPEDOMAN TEKNIS PENULISAN TUGAS AKHIR MAHASISWA
PEDOMAN TEKNIS PENULISAN TUGAS AKHIR MAHASISWA Disusun Oleh : Pusat Pengembangan Pembelajaran dan Penjaminan Mutu Pendidikan (P4MP) POLITEKNIK NEGERI BALIKPAPAN BALIKPAPAN 2012 DAFTAR ISI Halaman BAB I
Lebih terperinciPANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA
PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA PERATURAN PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA NOMOR 01 TAHUN 2014 TENTANG PENDAFTARAN CALON PESERTA
Lebih terperinciBAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?
BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti
Lebih terperinciSOAL UJIAN SELEKSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2016 TINGKAT PROVINSI
HAK CIPTA DILINDUNGI UNDANG-UNDANG SOAL UJIAN SELEKSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2016 TINGKAT PROVINSI BIDANG INFORMATIKA/KOMPUTER SESI - 1 Waktu : 20 Menit KEMENTERIAN PENDIDIKAN DAN KEBUDAYAAN
Lebih terperinciPendahuluan Perkuliahan Logika Matematika
Pendahuluan Perkuliahan Logika Matematika Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Pendahuluan Perkuliahan Agustus
Lebih terperinciRencana Perkuliahan. Kuliah Aljabar Linier Semester Ganjil MZI. Fakultas Informatika Telkom University. FIF Tel-U.
Rencana Perkuliahan Kuliah Aljabar Linier Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Rencana Perkuliahan Agustus 2015 1 / 22 Acknowledgements
Lebih terperinciuntuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus
ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan
Lebih terperinci: Pengantar Intelegensi Buatan
TUGAS AKHIR TAHAP 1 MATA KULIAH PENGANTAR INTELEGENSI BUATAN I. PETUNJUK TEKNIS a. Tugas ini bersifat KELOMPOK, maksimal beranggotakan 5 orang (tidak boleh lebih). b. Pembagian kelompok sudah bisa dilaksanakan
Lebih terperinciMatematika diskrit Bagian dari matematika yang mempelajari objek diskrit.
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita
Lebih terperinciCP : (Malna) (Laila) PETUNJUK TEKNIS CERDAS CERMAT
HIMPUNAN MAHASISWA PROGRAM STUDI AKUNTANSI FAKULTAS EKONOMI DAN BISNIS UNISNU JEPARA HMPSA UNISNU JEPARA Sekretariatan : Kampus UNISNU Jepara (Gedung UKK FEB Lt. 2) Jl. Taman Siswa (Pekeng) Tahunan Jepara
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) MUG2B3 LOGIKA MATEMATIKA Disusun oleh: Bedy Purnama PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana Pembelajaran
Lebih terperinciPengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM
Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar
Lebih terperinciKuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar
Lebih terperinciDASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit
DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi
Lebih terperinciPANDUAN LOMBA KARYA TULIS ILMIAH MAHASISWA D3 FARMASI SE-INDONESIA PHARMODIA 2017 JURUSAN FARMASI POLTEKKES KEMENKES BANDUNG
PANDUAN LOMBA KARYA TULIS ILMIAH MAHASISWA D3 FARMASI SE-INDONESIA PHARMODIA 2017 JURUSAN FARMASI POLTEKKES KEMENKES BANDUNG I. Deskripsi Lomba Karya Tulis Ilmiah Mahasiswa D3 Farmasi Se-Indonesia merupakan
Lebih terperinciSilogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C
MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda
Lebih terperinciGUIDELINES LOMBA KARYA TULIS ILMIAH SCIENCE FESTIVAL 2012
GUIDELINES LOMBA KARYA TULIS ILMIAH SCIENCE FESTIVAL 2012 CP: Ahdinar Rosdiana Dewi (08523688939) A. KETENTUAN UMUM Peserta SCIENCE FESTIVAL 2012 adalah sebagai berikut: a. Peserta adalah mahasiswa S1
Lebih terperinciTATA CARA MENGIKUTI WIDYA SABHA TAHUN 2017
UNIVERSITAS PENDIDIKAN GANESHA KELUARGA MAHASISWA HINDU DHARMA YOWANA BRAHMA VIDYA PANITIA PELAKSANA WIDYA SABHA TAHUN 2017 Sekretariat: Jalan Sahadewa Nomor 14 Singaraja, Telepon (0362) 31383 e-mail:
Lebih terperinciI. Aljabar Himpunan Handout Analisis Riil I (PAM 351)
I. Aljabar Himpunan Aljabar Himpunan Dalam bab ini kita akan menyajikan latar belakang yang diperlukan untuk mempelajari analisis riil. Dua alat utama analisis riil, yakni aljabar himpunan dan fungsi,
Lebih terperinciPANDUAN PENGAJUAN PROPOSAL
PANDUAN PENGAJUAN PROPOSAL HIBAH e-learning IDB-UNSYIAH TAHUN 2015 DAFTAR ISI A. Ringkasan Eksekutif... 1 B. Latar Belakang... 1 C. Tujuan Hibah... 1 D. Output... 2 F. Waktu... 2 G. Besaran dana Hibah...
Lebih terperinciSoal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika
Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Mata Ujian : Logika dan Algoritma Dosen : Heri Sismoro, S.Kom., M.Kom. Hari, tanggal : Selasa, 07 Agustus 2007 Waktu : 100 menit
Lebih terperinciDaftar Kuesioner Penelitian
Daftar Kuesioner Penelitian No urut perawat : Petunjuk pengisian : a. Beri tanda ( ) pada kolom yang disediakan b. pilihlah salah satu jawaban yang ada pada setiap pertanyaan dengan memberi tanda ( ) pada
Lebih terperinciLampiran 1 FORMAT PENULISAN LAPORAN
Lampiran 1 FORMAT PENULISAN LAPORAN Laporan harus dijilid dalam bentuk jilid langsung dengan memperhatikan aturan sebagai berikut : SAMPUL Sampul laporan PKP Apoteker dibuat tebal dengan kertas asturo
Lebih terperinciPenugasan Peserta Student Day Mahasiswa Baru Fakultas Kedokteran Hewan Universitas Udayana Tahun 2016
Penugasan Peserta Student Day Mahasiswa Baru Fakultas Kedokteran Hewan Universitas Udayana Tahun 2016 Student Day Fakultas Kedokteran Hewan Universitas Udayana 2016 merupakan sebuah jalan untuk membangun
Lebih terperinciTEKNIK DAN TATA CARA PENULISAN LAPORAN STUDI BANDING/ MAGANG
TEKNIK DAN TATA CARA PENULISAN LAPORAN STUDI BANDING/ MAGANG A. Jenis dan Ukuran Kertas Bahan meliputi bahan untuk : naskah dan sampul a. Naskah Naskah diketik pada kertas ukuran A4 (+ 210 mm x 297 mm)
Lebih terperinciREPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
Lebih terperinciLOGIKA MATEMATIKA I. PENDAHULUAN
LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan
Lebih terperinciPusat Pengembangan Pendidikan Universitas Gadjah Mada 1
2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki
Lebih terperinciPANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA
PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA PERATURAN PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA NOMOR 02 TAHUN 2014 TENTANG PERUBAHAN ATAS PERATURAN
Lebih terperinciLogika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012
Jurusan Informatika FMIPA Unsyiah September 26, 2012 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya
Lebih terperinciPANDUAN PENGAJUAN PROPOSAL
PANDUAN PENGAJUAN PROPOSAL HIBAH e-learning IDB-UNSYIAH TAHUN 2017 DAFTAR ISI A. Pendahuluan... 1 B. Tujuan... 1 C. Luaran... 1 D. Waktu Pelaksanaan... 2 E. Besaran dana Hibah... 2 F. Ketentuan... 2 G.
Lebih terperinciDESKRIPSI MATA KULIAH
DESKRIPSI MATA KULIAH Nama Mata Kuliah : Logika Matematika Kode Mata Kuliah : IF33216 (Strata 1) Kredit : 3 SKS (3 x 45 menit) Deskripsi: Mata Kuliah logika matematika ini membahas mengenai himpunan, Aljabar
Lebih terperinci2. Tunjukan bahwa proposisi ~ (p q) dan ~p v ~q adalah ekuivalen. Jawaban : p q ~p ~q ~pv ~q. p q p q ~(p q) T T T T F F F T T T F T F
1. entukan nilai kebenaran dari setiap pernyataan berikut : a. Jika 7 < dari 2 maka 2 < -7 b. 2 + 2 = 5 jika dan hanya jika 4 + 4 = 10 c. Jika 1 + 1 = 2 maka 2 + 3 = 6 d. 1 + 1 = 2 jika dan hanya jika
Lebih terperinciPANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA
PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA PERATURAN PANITIA PEMILIHAN RAYA IKATAN KELUARGA MAHASISWA UNIVERSITAS INDONESIA NOMOR 02 TAHUN 2015 TENTANG PENDAFTARAN CALON PESERTA
Lebih terperinciPrioritas (Berdasarkan GBPP) Nama Tugas Deskripsi Tugas. Makalah Proses Keperawatan
Prioritas (Berdasarkan GBPP) Nama Tugas Deskripsi Tugas 1. Menumbuhkan jiwa kedisiplinan keputusan atau perencanaan bersama dalam menyelesaikan suatu masalah 3. Membangun rasa percaya diri di dalam tim
Lebih terperinciMateri-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences
Materi-3 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences 1 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika Ada 3 sifat, yaitu: 1. Valid 2.
Lebih terperinciOPERATOR, PERULANGAN DAN SELEKSI KONDISI
PRAKTIKUM KE 2 OPERATOR, PERULANGAN DAN SELEKSI KONDISI TUJUAN PRAKTIKUM 1. Praktikan mengerti macam macam operator yang tersedia dalam bahasa C / C++. 2. Praktikan mengerti apa yang dimaksud dengan perulangan.
Lebih terperinciPERATURAN PRAKTIKUM PROSES MANUFAKTUR I
PERATURAN PRAKTIKUM PROSES MANUFAKTUR I A.Tata Tertib dan Sanksi Kegiatan Praktikum 1. Praktikan diharapkan hadir 15 menit sebelum pelaksanaan praktikum. 2. Praktikan harus memakai pakaian kerja (cattlepack)
Lebih terperinciPRAKTIKUM MESIN LISTRIK : GENERATOR ASINKRON/INDUKSI
PANDUAN PRAKTIKUM PRAKTIKUM MESIN LISTRIK : GENERATOR ASINKRON/INDUKSI LABORATORIUM TEKNIK TENAGA LISTRIK JURUSAN TEKNIK ELEKTRO DAN TEKNOLOGI INFORMASI UNIVERSITAS GADJAH MADA YOGYAKARTA TATA TERTIB/KETENTUAN
Lebih terperinciJALUR TES GELOMBANG I 2 Jan Mei 2017
JALUR TES GELOMBANG I 2 Jan 2017 5 Mei 2017 Berlaku bagi : I. Lulusan SMA/SMK/MA/ sederajat tahun 2014, 2015, 2016, dan 2017 dengan nilai < 80,00. II. Lulusan SMA/SMK/MA/ sederajat sebelum tahun 2014.
Lebih terperinciBAB III DASAR DASAR LOGIKA
BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2
Lebih terperinciA. Standar Kompetensi Memahami bentuk aljabar, persamaan dan pertidaksamaan linear satu variabel.
RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Sekolah : SMP Bhaktiyasa Singaraja Mata Pelajaran : Matematika Kelas/Semester : VII / Ganjil Tahun Ajaran : 2013-2014 A. Standar Kompetensi Memahami bentuk aljabar,
Lebih terperinciProsedur Penetapan Uang Kuliah Tunggal (UKT) Calon Mahasiswa Baru T.A. 2017/2018 diatur dengan ketentuan sebagai berikut:
Pekanbaru, 27 April 2017 PENGUMUMAN NOMOR : Un.04/R/KU.03.2/1005/2017 Dari : Rektor Universitas Islam Negeri Sultan Syarif Kasim Riau Kepada : Calon mahasiswa baru UIN Suska Riau T.A. 2017/2018 Tentang
Lebih terperinci