MILA DWI ANDINI

Program Linear Program linear  adalah suatu metode penentuan nilai optimum dari suatu persoalan linear. Nilai optimum (maksimal atau minimum) diperoleh dari nilai dalam suatu himpunan penyelesaiaan persoalan linear. Di dalam persoalan linear terdapat fungsi linear yang bisa disebut sebagai  fungsi  objektif. Persyaratan, batasan, dan kendala dalam persoalan linear merupakan sistem pertidaksamaan linear. Model Matematika Program Linear Persoalan dalam program linear yang masih dinyatakan dalam kalimat-kalimat pernyataan umum, kemudian diubah kedalam model matematika. Model matematika merupakan pernyataan yang menggunakan peubah dan notasi matematika. Sebagai ilustrasi,  produsen  sepatu membuat 2 model sepatu menggunakan 2 bahan yang berbeda. Komposisi model pertama terdiri dari 200 gr bahan pertama dan 150 gr bahan kedua. Sedangkan komposisi model kedua terdiri dari 180 gr bahan pertama dan 170 gr bahan kedua. Persediaan di gudang bahan pertama 72 kg dan bahan k...

PEMBUKTIAN: LANGSUNG, TAK LANGSUNG, KONTRADIKSI, INDUKSI MATEMATIKA 27 juli 2020 Nama : Mila dwi andini Kelas : XI-IPS 3 1. Pembuktian Langsung dilakukan dengan menguraikan premis dengan   dilandasi oleh definisi, fakta, aksioma yang ada   untuk sampai pada suatu kesimpulan (konklusi)   Contoh :   Buktikan bahwa : “jika n bilangan ganjil, maka n 2  bilangan ganjil”. Bukti :     Diketahui bahwa n bilangan ganjil maka dapat dituliskanbahwa n = 2k+1 dengan k bilangan bulat sehingga n² = (2k+1) 2 = 4k² + 4k + 1 = 2(2k²+2)+1 Bentuk 2(2k²+2k)+1 adalah bilangan ganjil Jadi, n² adalah bilangan ganjil 2. Pembuktian Tidak Langsung   dilakukan dengan 2 cara yaitu: a. kontraposisi digunakan untuk membuktikan pernyataan implikasi. untuk membutikan pernyataan implikasi kita cukup membuktikan kontraposisi dari implikasi pernyataan tersebut. secara simbolik:  p → q ≡ ~q → ~p   contoh:  buktikan bahwa  “jika n 2 ...

LOGIKA MATEMATIKA 13 JULI 2020 Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis, dengan tema utama kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. Pernyataan Dalam logika matematika, kita akan belajar untuk menentukan nilai dari suatu pernyataan. Pernyataan sendiri merupakan kalimat yang sudah pasti mempunyai nilai benar atau sudah pasti mempunyai nilai salah, tetapi tidak sekaligus keduanya. Pernyataan tertutup dan pernyataan terbuka Pernyataan lalu dibagi lagi menjadi dua jenis,  pernyataan tertutup (kalimat tertutup)  dan...