Rabu, 18 November 2015

Tugas MATIF Teori Pembuktian

Tugas Kelompok Matematika Informatika 3

TUGAS KELOMPOK MATEMATIKA INFORMATIKA 3
KELOMPOK III
2IA14
TEKNIK INFORMATIKA
UNIVERSITAS GUNADARMA

Anggota Kelompok III
                                          50414432    ||   AGENG SEPTIAN PRASETIO
                                          50414943    ||   AMELIA
                                          51414507    ||   ARDIYANO OKTAFIYANTO
                                          53414093    ||   DIMAS BAYU PANGESTU
                                          57414341    ||   MUHAMMAD INDRA YUDHA PUTR
                                          55414575    ||   JAFAR SHADIQ
                                          59414089    ||   RESSA WAHYU RAMADHAN
                                          59414376    ||   RIFQI MAULANA EFFENDI
                                          5A414710   ||   TEGUH PRABOWO


Materi  : BAB 3
             : Logika Pembuktian

Soal 1
Tentukan kesimpulan argumentasi berikut :
Premis 1 : Jika Ibu ulang tahun, maka Ayah memberi hadiah
Premis 2 : Ibu ulang tahun
Jawaban yang benar adalah?
A.   Ibu ulang tahun
B.   Ayah tidak memberi hadiah
C.   Ibu tidak ulang tahun
D.   Ayah memberi hadiah
E.    Tidak ada jawaban yang benar

Soal 2
Tentukan kesimpulan dari pernyataan berikut :
Jika saya jujur, maka usaha saya berhasil
Jika usaha saya berhasil, maka hidup saya senang
Jawaban yang benar adalah?
A.   Jika saya jujur, hidup saya senang
B.   Jika saya jujur, maka usaha saya berhasi
C.   Jika saya tidak jujur, hidup saya tidak senang
D.   Jika usaha saya berhasil, maka hidup saya senang
E.    Jika saya tidak jujur, hidup saya senang

Soal 3
Yang manakah yang termasuk dalam metode pembuktian tidak langsung…? 
A.   Metode kontraposisi
B.   Metode Disjungsi
C.   Metode Equivalen
D.   Metode Ingkarang
E.    Metode Eliminasi

Soal 4
Jika  2 + 4 + 6 + …. + 2n=n(n+1), apakah terbukti benar jika n = 1 ?
A.   Benar
B.   Salah
C.   a dan b benar
D.   a dan b salah
E.    tidak ada jawaban yang benar

Soal 5
Pernyataan berikut yang sesuai dengan metode pembuktian kontradiksi adalah ?
A. Membuat pemisalan jika p maka q adalah benar
B. Jika ~q benar maka ~p juga harus benar
C. Jika p benar maka q benar
D. Suatu pembuktian untuk pernyataan yang memuat bilangan asli
E. Tidak ada jawaban yang benar

Soal 6
Merupakan pembuktian deduktif atau sering dipergunakan untuk pernyataan-pernyataan yang menyangkut bilangan-bilangan asli. Merupakan pengertian dari ?
A.   Induksi Matematika
B.   Deduktif Matematika
C.   Relasi Rekursi
D.   Algoritma Rekursi
E.    Operasi Biner

Soal 7
Berikut adalah pernyataan yang benar mengenai prinsip induksi sederhana , kecuali…
A. P(1) bernilai benar
B. N ≥ 1 untuk bilangan bulat positif
C. N ≥ 1 untuk bilangan ganjil
D. P(n) harus bernilai benar
E. P(n +1) harus bernilai benar

Soal 8
Apakah N3 + 2n adalah kelipatan 3 berlaku untuk n = 1 dan berlaku kelipatan 3 untuk setiap bilangan bulat postitif n (menggunakan induksi matematika)…?
A. Ya dan ya
B. Ya dan tidak
C. Tidak dan bisa jadi
D. Tidak ada jawaban benar
E. Tidak dan tidak

Soal 9
Merupakan konsep pengulangan yang penting dalam ilmu computer atau Mempunyai arti suatu proses yang bisa memanggil dirinya sendiri.
Merupakan definisi dari ?
A.   Sistem Al Jabar
B.   Definisi Rekursi
C.   Operasi Biner
D.   Prinsip Inklusi – Eksklusi
E.    Sitem Linear

Soal 10
Pada soal berikut gunakanlah algoritma untuk menghitung deret 2*n program untuk menghitung deret S = 2+4+6+8+10+...+2n menggunakan function rekursif.
Dibawah ini jawaban yang benar adalah ?
      A. Function S(input n:integer) --> integer
           Deklarasi Lokal
          {tidak ada} 
           Deskripsi
           If (n= =1) Then
           return (2)
           Else
           return (2*n + S(n-1))
           Endif

  
      B. k : integer;
          if (i<j) then
          Partisi(a,i,j,k) { Ukuran (a) > 1}
          QuickSort(a,i,k)
          QuickSort(a,k+1,j)
          Endif

      C. pivot,temp : integer 
          while a[p] < pivot do
          p <- p+1
          endwhile
         {Ap >= pivot}
         while a[q] > pivot do
         q <-q-1
         endwhile
         { Aq >=pivot)
         if (P<=q) then
         (pertukaran a[p] dengan a[q]}
         temp <- a[p]
         a[p] <- a[q]
         a[q] <- temp
         {tentukan awal pemindaian berikutnya}
         p<- p+1
         q <- q-1
         end if
         until p>q

    D. int faktorial(int n){
         if((n= =0)|| (n = = 1)){
          return 1;  
         }else{
         return n* faktorial(n-1)
         }

     E. If (n < r) Then
          return (0)
          Else
          return (Faktorial(n)/Faktorial(r)*Faktorial(n-r))
          Endif