PROBLEM ELIMINASI CUT PADA LOGIKA. Bayu Surarso Jurusan Matematika FMIPA UNDIP Jl. Prof. H. Soedarto, SH Tembalang Semarang 50275
|
|
- Hengki Hermawan
- 7 tahun lalu
- Tontonan:
Transkripsi
1 PROBLEM ELIMINASI CUT PADA LOGIKA LBB ' I Bayu Surarso Jurusa Mateatika FMIPA UNDIP Jl Prof H Soedarto, SH Tebalag Searag Abstract I the preset paper we study the proble of cut eliiatio i logics LBB ' I, ie logics obtaied fro LBB I by addig a rule called ( k rule It is kow that the cut eliiatio theore for LBB I ad its stadard extesios ca be proved usig soe odificatios of the ethod used by Getze i 1935 to prove the cut eliiatio theore for Ituitioistic Logic We exted the odificatios to show that LBB ' I ejoy the cut eliiatio theore whe k=1 O the other side, we give a couter exaple sequet to show that the cut eliiatio theore does ot work for LBB ' I whe k>1 Keywords: Teorea eliiasi cut, LBB I, atura ( k 1 PENDAHULUAN Pada tahu 1994 Koori eperkealka siste Getze LBB I, lihat [3] Sequet Kalkulus LBB ' I tersebut dituruka dari logika iplikasioal BB ' I yag erupaka pegebaga dari logika yag palig sipel yaitu logika BI LBB ' I egadug suatu operasi yag biasaya disebut dega guarded erge yag cukup kopleks, diaa dua forula digabugka ejadi satu, tetapi harus tetap epertahaka uruta dari keucula forula pada kedua forula tersebut Kodisi lai dari operasi tersebut adalah pada Γ, forula yag ucul palig kaa haruslah forula yag yag ucul palig kaa di Γ Meskipu forulasiya cukup kopleks, pada [1] peulis berhasil eberika bukti bahwa teorea eliiasi cut berlaku pada LBB IK, LBB IW da LBB IKW, logika-logika tersebut berturutturut adalah logika yag diperoleh dega eabah atura weakeig, cotraksi da kedua atura struktural tersebut sekaligus Dapat dicek bahwa ereka asigasig ekuivale dega logika iplikasioal BB IK, BB IW da BB IKW Pada [2] Hori, Oo da Schellix eperkealka suatu atura iferesi yag keudia diotasika sebagai atura ( k yag diforulasika sebagai berikut: Γ, A,, A, B Γ, A,, A, B k Sebagai catata, disii k > 0 da k k adalah erupaka atura Atura ( weakeig ketika = 0 da k= 1 serta erupaka atura kotraksi ketika =1 da k=2 Sedagka ketika < k atura tersebut erupaka suatu betuk terbatas dari atura weakeig da ketika > k erupaka suatu betuk terbatas dari atura kotraksi Tulisa ii erupaka kelajuta da pegebaga dari [1], diaa aka dipelajari asalah eliiasi cut pada logika-logika LBB ' I yag diperoleh dega eabahka atura ( k pada logika LBB I Pada tulisa ii diaggap pebaca sudah failiar dega [1] Notasi-otasi da teriologi-teriologi dala tulisa ii egikuti yag disapaika pada [1] 2 Teorea Eliiasi Cut utuk LBB ' I ( 1 112
2 Bayu Surarso (Proble Eliiasi Cut Pada Logika LBB ' I Berikut ii aka dibuktika bahwa teorea eliiasi cut berlaku utuk LBB ' I bila k=1 Teorea 21 Teorea eliiasi cut berlaku utuk LBB ' I ( 1 Bukti Utuk ebuktika teorea ii aka diperkealka suatu atura yag disebut ulti-cut* Defiisi 22 Atura ulti-cut* adalah sebuah atura iferesi sebagai berikut: Γ A, A, ( ulti cut * { Γ}, diaa harus kosog ketika Γ kosog Disii isalka Γ A 1,A 2,,A k da 1, 2,, k Maka { Γ} adalah suatu dereta forula dala betuk 1,A 1, 2,A 2,, k,a k Forula A disebut forula ulti-cut* dari atura ulti-cut* diatas Mudah dilihat bahwa atura cut adalah betuk khusus dari atura ulti-cut* Sebalikya setiap aplikasi dari ulti-cut* dapat digatika dega kali pegulaga dari aplikasi atura cut Oleh karea itu, sebuah bukti tapa atura ulti-cut* pada LBB ' I erupaka bukti tapa atura ( 1 cut pada LBB ' I da sebalikya ( 1 Sehigga, dega argue yag saa dega [1] utuk ebuktika Teorea 21 tersebut cukup dibuktika lea berikut : Lea 23 Jika P adalah bukti ( pada LBB ' I dari sebuah sequet S yag ( 1 egadug sebuah atura ulti-cut* yag ucul sebagai atura iferesi palig bawah pada P, aka S dapat dibuktika tapa aplikasi atura ulticut* Lea di atas dibuktika dega etode yag saa dega etode pada [1] sebagai berikut: Misalka P adalah bukti dari sequet S yag euat ulti-cut* sebagai atura iferesi palig bawah sebagai berikut: S1 S2 ( ulti cut* S Selajutya lea 23 dibuktika degadobel iduksi atas grade da rak dari P yag didefiisika sebagai berikut: grade dari P adalah bayakya sibol logika dari forula ulti-cut* rak dari P adalah bayakya sequet yag ucul di atas sequet bawah dari atura ulti-cut* Pebuktia dibagi ejadi 4 kasus sebagai berikut: Kasus 1 S 1 atau S 2 adalah iisial sequet Trivial Kasus 2 S 1 atau S 2 adalah sequet bawah 1 dari atura ( Sub-kasus 21 S 1 adalah sequet bawah 1 dari atura ( Bagia akhir dari bukti P aka berbetuk: Γ1, C, Γ2 A ( 1 Γ1, C, Γ2 A, A, ulti cut * { ( Γ1, C, Γ2}, diaa harus kosog jika Γ 1 da Γ 2 kosog ( Bukti P tersebut dapat ditrasforasika ke suatu bukti dega baia akhir sebagai berikut: Γ1, C, Γ2 A, A, ( * ulti cut { ( Γ1, C, Γ2}, kali aplikasi dari atura ( 1 { ( Γ1, C, Γ2}, diaa grade dari bukti teresbut saa dega grade P, sedagka rak-ya lebih 113
3 Jural Mateatika Vol 10, No3, Deseber 2007: kecil dari pada rak P Maka dega hipotesis iduksi, atura ulti-cut*-ya dapat dieliiasi Catata: Jika Γ 1 da Γ 2 kosog, Bagia akhir dari bukti P aka berbetuk: C A ( 1 C A A, ( ulti cut* C, ( Bukti P tersebut dapat ditrasforasika ejadi: C A A, ( * ulti cut { ( C }, kali aplikasi dari atura ( 1, ( C Grade dari bukti tersebut saa dega grade P, sedagka rak-ya lebih kecil dari rak P Maka dega hipotesis iduksi, atura ulti-cut*-ya dapat dieliiasi Sub-kasus 22 S 2 adalah sequet bawah 1 dari atura ( Bagia akhir dari bukti P aka berbetuk:, A, ( 1 Γ A, A, ( ulti cut * ΓΣ, B diaa harus kosog, ketika Γ kosog Misalka julah dari forula yag terkadug di dala Γ adalah k, aka bukti P tersebut dapat ditrasforasika ejadi: Γ A, A, ( ulti cut * { Γ}, k kali aplikasi dari atura ( 1 Γ, grade-ya saa dega grade P, sedagka rak-ya lebih kecil dari pada rak P Maka dega hipotesis iduksi, atura ulti-cut* dapat dieliiasi Catata: Misalka Γ kosog aka bagia terakhir dari P aka berbetuk: A, ( 1 A A, ( ulti cut * aka bukti P tersebut dapat ditrasforasika ejadi: A A, ( ulti cut* grade dari bukti tersebut saa dega grade P, sedagka rak-ya lebih kecil dari pada rak P Maka dega hipotesis iduksi, atura ulti-cut*-ya dapat dieliiasi Kasus 3 S 1 da S 2 adalah sequet bawah dari atura iplikasi sedeikia higga prisipal forula dari kedua atura tersebut adalah forula ulti-cut* Dala kasus ii S 1 adalah sequet bawah dari ( da S 2 adalah sequet bawah dari ( Misalka A A1, Γ C 1,C 2,,C k, 1 Σ D1, D2,, Dl ',( A1,, Dl, 2 0, 1,, l ',( A1,, l Bagia akhir dari P adalah betuk: Γ, A1 A 2 Σ A 1, A2, Λ B ( ( Γ A 1 A2 A 1 A2 ΣΛ, B ( ulti cut * Π { Γ}, Π, Λ B ( Diaa Π1 0, D1, 1, D2,, l ', Dl ' da Π2 l ' + 1, Dl ' + 1,, l, Dl Dala hal ii Σ tidak boleh kosog, sedagka 0, 1,, l ' harus kosog jika Γ kosog Bukti P tersebut dapat ditrasforasika ejadi: Γ A 2 Σ ( a Π3 ( 1ΓΠ, 4 A1 Γ, A1 A 2 Γ A 2,A, 2Λ B ( b ( c Π 3 {( Γ}, Π 4 A2 Π5 ( 2ΓΠ, 6,A, 2Λ B ( d Π {( Γ}, ΠΛ, B
4 Bayu Surarso (Proble Eliiasi Cut Pada Logika LBB ' I Diaa Π3 D1, D2,, Dl ', Π4 Dl ' + 1,, Dl, Π5 0, 1,, l ', da Π6 l ' + 1,, l grade dari (a da (c saa dega grade P, sedagka rak-ya lebih kecil dari Rak P Grade dari (b da (d lebih kecil dari grade P Maka dega hipotesis iduksi, kita dapat egeliiasi atura ulti-cut* (a, (b, (c da (d Kasus 4 S 1 atau S 2 adalah sequet bawah dari atura iplikasi kecuali kasus 3 Subkasus 41 S 1 adalah sequet bawah dari atura iplikasi kecuali kasus 3 Jika S 1 adalah sequet bawah dari ( Bagia akhir dari P adalah betuk: Γ, A2, Λ B ( ( A1 A 2 ΓΛ, B Σ1, B, ( ulti cut * Σ { ( ( A1 A 2 ΓΛ, }, Σ C 1 2 diaa Γ tidak boleh kosog Bukti P tersebut dapat ditrasforasika ejadi:, A2, Λ B Σ1, B, ( ulti cut * Γ A 1 Σ1 { (, A2, Λ}, ( Σ1 { ( A1 A2 ΓΛ, }, grade-ya saa dega grade P, sedagka rak-ya lebih kecil dari pada rak P Sehigga dega hipotesis iduksi, atura ulti-cut*-ya dapat dieliiasi Sub-kasus 42 S 2 adalah sequet bawah dari atura iplikasi kecuali kasus 3 Pada tulisa ii aka diberika bukti utuk bagia akhir dari P berbetuk: 1,B,A1 Γ B 1,B 1 { Γ} diaa 1 harus kosog jika Γ kosog Bukti P tersebut dapat ditrasforasika ejadi: ( ( ulti cut* Γ B 1,B, 2,A1 1 { Γ}, 2,A1 1 { Γ} grade-ya saa dega grade P, sedagka rak-ya lebih kecil dari pada rak P Sehigga dega hipotesis iduksi, atura ulti-cut* dapat dieliiasi ( ulti cut* 3 Masalah Eliiasi Cut pada LBB ' I utuk k > 1 Sebeluya telah dibuktika bahwa teorea eliiasi cut berlaku utuk LBB ' I Berikut, berbalika dega ( 1 hasil tersebut aka dibuktika teorea berikut ii: Teorea 31 Teorea Eliiasi Cut tidak berlaku utuk LBB ' I ketika k > 1 Bukti Diberika sequet S(p,q berikut ii, diaa p da q adalah variabel proposisi : k p p q p q p 1,,,, q S(p,q = ( p Dega batua atura cut, S(p,q udah dibuktika sebagai berikut: q q p p p p p p kali aplikasi kali aplikasi ( ( ( q p,q p p p,p p k k q p,q p p p,p p k 1 p p,q p, q,p,q p ( cut Selajutya aka ditujukka bahwa S(p,q tidak dapat dibuktika dala LBB ' I tapa atura cut, ketika k > 1 Jika = 0, aka S(p,q berbetuk ( k 1 p, p, q, p, q, p,, q, p, q p Jelas bahwa tapa aplikasi atura cut, sequet tersebut tidak dapat dibuktika Utuk > 1, isal terdapat bukti P tapa atura cut dari S(p,q Kita aka cek P dari bawah ke atas (secara botto up Perlu diperhatika bahwa atecedet dari 115 (
5 Jural Mateatika Vol 10, No3, Deseber 2007: S(p,q euat forula q p, aka P harus euat aplikasi dari (, dega prisipal forula q i p, diaa i = 1,2, Aplikasi dari ( tersebut harus terbetuk dala alur yag saa Diberika alur T, da diberika S i (p,q sebagai dala alur T sequet bawah dari ( yag prisipal forulaya adalah q i p Maka udah dicek bahwa S (p,q harus euat sebayak k kali keucula forula q (Disii keucula dari q sebagai subforula sejati dari sebuah forula tidak diperhatika Selajutya bisa dicek pula bahwa jika S i (p,q euat sebayak kali keucula forula q, aka S i-1 (p,q harus euat tepat sebayak -1 kali keucula forula q Dari sii diabil kesipula: - utuk kasus < k, S i (p,q harus euat k-(-1 forula q Maka S i (p,q buka sequet yag bisa dibuktika Kotradiksi dega peryataa bahwa P adalah bukti dari S(p,q - utuk kasus > k, S -k (p,q tidak boleh euat forula q Maka S -k (p,q yag buka sequet bawah dari ( prisipal forulaya q k p Kotradiksi dega defiisi dari S -k (p,q Dega adaya kedua kotradiksi yag di atas, teorea 31 terbukti Sebagai catata, sequet S(p,q terbukti dala LBB ' I tapa atura cut ketika k = 1, seperti ditujukka dala bukti berikut ii: p p p p kali aplikasi ( ( p p, p p q q p p, p p kali aplikasi ( p p,q p,q p 1 1 p p,q p, q, p,q p ( 1 ( 1 4 PENUTUP Seperti pada LBB I, LBB IK, LBB W da LBB KW, teorea eliiasi cut berlaku juga pada LBB ' I ketika =1 Tetapi hasil tersebut tidak dapat diperluas pada LBB ' I apabila >1 Pada keyataaya teorea eliiasi cut tidak berlaku pada LBB ' I ketika > 1 Pada bayak kasus berlakuya teorea eliiasi cut pada suatu siste sequet beriplikasi pada berlakuya teorea iterpolasi pada siste tersebut Dega terbuktiya teorea eliiasi cut pada LBB ' I, selajutya earik ( 1 utuk dipelajari lebih lajut asalah iterpolasi pada siste-siste tersebut 5 DAFTAR PUSTAKA [1] Bayu Surarso (2004, Getze-type systes for logic BB I ad its ocoutative stadard extesios, Jural Mateatika, 10(2, [2] Hori, R, Oo, H, Schellix (1994, Extedig ituitioistic liier logic with kotted structural rules, Notre Dae Joural of Foral Logic 35, [3] Koori, Y (1994, Sytactical Ivestigatios i BI logic ad BB I logic, Studia Logica 53,
PROBLEM ELIMINASI CUT PADA LOGIKA LBB I nk
Jural Mateatia, Vol. 10 No. 3, Deseber 007, ISSN 1410-8518 PROBLEM ELIMINASI CUT PADA LOGIKA LBB I Bayu Surarso Jurusa Mateetia FMIPA UNDIP Jl. Prof. H. Soedarto, SH Tebalag Searag 5075 Abstract. I the
Lebih terperinciTEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FL gc DAN FL w,gc
Jurnal Mateatika Vol 0 No Agustus 007:39-4 ISSN: 40-858 TEOREMA ELIMINASI CUT PAA SISTEM LOGIKA FL gc AN FL wgc Bayu Surarso Jurusan Mateatika FMIPA UNIP Jl Prof H Soedarto SH Tebalang Searang 5075 Abstract
Lebih terperinciJurnal Matematika Murni dan Terapan Vol. 4 No.2 Desember 2010: 1-13 TEOREMA TITIK TETAP BANACH PADA RUANG METRIK-D
Jural Mateatika Muri da Terapa Vol 4 No Deseber : - 3 TEOREMA TITIK TETAP BANACH PADA RUANG METRIK-D Muhaad Ahsar Kari, Dewi Sri Susati, da Nurul Huda Progra Studi Mateatika Uiversitas Labug Magkurat Jl
Lebih terperinciI. PENDAHULUAN II. LANDASAN TEORI
5 I PENDAHULUAN Latar Belakag Persaaa diferesial adalah suatu persaaa ag egadug sebuah fugsi ag tak diketahui dega satu atau lebih turuaa [Stewart, 3] Persaaa diferesial dapat dibedaka eurut ordea, salah
Lebih terperinciDISTRIBUSI BINOMIAL. (sukses sebanyak x kali, gagal sebanyak n x kali)
DISTRIBUSI BINOMIAL Distribusi bioial berasal dari percobaa bioial yaitu suatu proses Beroulli yag diulag sebayak kali da salig bebas. Distribusi Bioial erupaka distribusi peubah acak diskrit. Secara lagsug,
Lebih terperinciAbstract: Given a graph G ( V,
PELABELAN SUPER GRACEFUL UNTUK BEBERAPA GRAF KHUSUS Prias Tri Ajar Ajai, Robertus Heri SU, Bayu Surarso,, Jurusa Mateatika Uiversitas Dipoegoro Jl. Prof. Soedarto, SH, Tebalag, Searag 7 Abstract: Give
Lebih terperinciPenerapan Teorema Perron-Frobenius pada Penentuan Distribusi Stasioner Rantai Markov
Vol. 3, No., 85-9, Juli 6 Peerapa Teorea Perro-Frobeius pada Peetua Distribusi Stasioer Ratai Markov Jusawati Massalesse Abstrak Perilaku suatu ratai Markov setelah berala ukup laa dapat diketahui elalui
Lebih terperinciMENENTUKAN PENYELESAIAN PERTIDAKSAMAAN DENGAN METODE TITIK PEMECAH. Warsito. Program Studi Matematika FMIPA Universitas Terbuka.
MENENTUKAN PENYELESAIAN PERTIDAKSAMAAN DENGAN METODE TITIK PEMECAH Warsito Progra Studi Mateatika FMIPA Uiversitas Terbuka warsito@ut.ac.id Abstrak Peyelesaia pertidaksaaa ( x- a, a Î R adalah x a (egguaka
Lebih terperinci6. Pencacahan Lanjut. Relasi Rekurensi. Pemodelan dengan Relasi Rekurensi
6. Pecacaha Lajut Relasi Rekuresi Relasi rekuresi utuk dereta {a } adalah persamaa yag meyataka a kedalam satu atau lebih suku sebelumya, yaitu a 0, a,, a -, utuk seluruh bilaga bulat, dega 0, dimaa 0
Lebih terperinciInduksi matematik untuk memecahkan problema deret dan bilangan bulat bentuk kuadrat sempurna
Iduksi matematik utuk memecahka problema deret da bilaga bulat betuk kuadrat sempura Oleh: Sutopo Jurusa Fisika FMIPA UM sutopo@fisika.um.ac.id Ditulis pada sekitar bula Februari 2011. Diuggah pada 3 Desember
Lebih terperinciMAKALAH TUGAS AKHIR DIMENSI PARTISI PADA PENGEMBANGAN GRAPH KINCIR DENGAN POLA K 1 +mk n
MAKALAH TUGAS AKHIR DIMENSI PARTISI PADA PENGEMBANGAN GRAPH KINCIR DENGAN POLA K 1 +K Oleh : MOHAMMAD IQBAL 1 0 100 01 Pebibig : Drs. Suhud Wahyudi, M.Si. 1900109 198701 1 001 ABSTRAK Graph adalah hipua
Lebih terperinciBAB II TEORI DASAR. Definisi Grup G disebut grup komutatif atau grup abel jika berlaku hukum
BAB II TEORI DASAR 2.1 Aljabar Liier Defiisi 2. 1. 1 Grup Himpua tak kosog G disebut grup (G, ) jika pada G terdefiisi operasi, sedemikia rupa sehigga berlaku : a. Jika a, b eleme dari G, maka a b eleme
Lebih terperinciTAKSIRAN INTERVAL PARAMETER BENTUK DARI DISTRIBUSI PARETO BERDASARKAN METODE MOMEN DAN MAKSIMUM LIKELIHOOD
TAKSIRAN INTERVAL PARAMETER BENTUK DARI DISTRIBUSI PARETO BERDASARKAN METODE MOMEN DAN MAKSIMUM LIKELIHOOD Jailah * Firdaus Sigit Sugiarto Mahasiwa Progra S Mateatika Dose Jurusa Mateatika Fakultas Mateatika
Lebih terperinciSUBGELANGGANG KOMUTATIF MAKSIMAL DARI GELANGGANG POLINOM MIRING
SUBGELANGGANG KOMUTATIF MAKSIMAL DARI GELANGGANG POLINOM MIRING Prof. Dr. Amir Kamal Amir, M.Sc Dra. Nur Erawaty, M.Si Filawati, S.Si Jurusa Matematika, Fakultas Matemetika da Ilmu Pegetahua Alam, Uiversitas
Lebih terperinciLIMIT. = δ. A R, jika dan hanya jika ada barisan. , sedemikian hingga Lim( a n
LIMIT 4.. FUNGSI LIMIT Defiisi 4.. A R Titik c R adalah titik limit dari A, jika utuk setiap δ > 0 ada palig sedikit satu titik di A, c sedemikia sehigga c < δ. Defiisi diatas dapat disimpulka dega cara
Lebih terperinciMATHunesa (Volume 3 No 3) 2014
MATHuesa (Volume 3 No 3) 014 MINIMUM PENUTUP TITIK DAN MINIMUM PENUTUP SISI PADA GRAF KOMPLIT DAN GRAF BIPARTIT KOMPLIT Yessi Riskiada Kusumawardai Program Studi S1 Matematika, Fakultas Matematika da Ilmu
Lebih terperinciBAB II LANDASAN TEORI. Dalam tugas akhir ini akan dibahas mengenai penaksiran besarnya
5 BAB II LANDASAN TEORI Dalam tugas akhir ii aka dibahas megeai peaksira besarya koefisie korelasi atara dua variabel radom kotiu jika data yag teramati berupa data kategorik yag terbetuk dari kedua variabel
Lebih terperinciTEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FL w
TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FL w Bayu Surarso Jurusan Matematika FMIPA UNDIP Jl. Prof. H. Soedarto S.H Semarang 5075 Abstract. In 96 Maehara introduced a proof-theoretical
Lebih terperinciBAB II LANDASAN TEORI. Pada bab ini akan dibahas mengenai definisi suatu ring serta
BAB II LANDASAN TEORI Pada bab ii aka dibahas megeai defiisi suatu rig serta beberaa sifat yag dierluka dalam embahasa oliomial ermutasi Pejelasa megeai rig dimulai dega defiisi dari suatu sistem matematika
Lebih terperinciHendra Gunawan. 12 Februari 2014
MA1201 MATEMATIKA 2A Hedra Guawa Semester II, 2013/2014 12 Februari 2014 Bab Sebelumya 8. Betuk Tak Tetu da Itegral Tak Wajar 8.1 Betuk Tak Tetu 0/0 82 8.2 Betuk Tak Tetu Laiya 8.3 Itegral Tak Wajar dg
Lebih terperinciMata Kuliah : Matematika Diskrit Program Studi : Teknik Informatika Minggu ke : 4
Program Studi : Tekik Iformatika Miggu ke : 4 INDUKSI MATEMATIKA Hampir semua rumus da hukum yag berlaku tidak tercipta dega begitu saja sehigga diraguka kebearaya. Biasaya, rumus-rumus dapat dibuktika
Lebih terperinciPerbaikan Bagan Kendali Pergerakan Data (Data Driven)
Bab 3 Perbaika Baga Kedali Pergeraka Data Data Drive) 3.1 Pedahulua Baga kedali klasik utuk eoitorig rataa didasarka pada asusi keorala. Ketika syarat keorala tidak dipeuhi, baga kedali klasik ii tidak
Lebih terperinciSIFAT-SIFAT FUNGSI YANG TERINTEGRAL MCSHANE DALAM RUANG EUCLIDE BERDIMENSI N UNTUK FUNGSI-FUNGSI BERNILAI BANACH
βeta p-issn: 2085-5893 / e-issn: 2541-0458 http://juralbeta.ac.id Vol. 5 No. 1 (Mei) 2012, Hal. 21-29 βeta 2012 SIFAT-SIFAT FUNGSI YANG TRINTGRAL MCSHAN DALAM RUANG UCLID BRDIMNSI N UNTUK FUNGSI-FUNGSI
Lebih terperinciSemigrup Matriks Admitting Struktur Ring
Semigrup Matriks dmittig Struktur ig K a r y a t i Jurusa Pedidika Matematika FMIP, Uiversitas Negeri Yogyakarta Email: yatiuy@yahoo.com bstrak Diberika adalah rig komutatif dega eleme satua da adalah
Lebih terperinciISIAN SINGKAT! 1. Diberikan hasil kali digit digit dari n harus sama dengan 25
head office : Kompleks Sawaga Permai Blok A5 No.1A, Sawaga, Depok 16511 Telp.01-951 1160. cotact perso : 0-878787-1-8585 / 081-8691-10 Bidag Studi Kode Berkas Waktu : Matematika : MA-L01 (solusi) : 90
Lebih terperinciBAB 1 PENDAHULUAN. 1.1 Latar Belakang
BAB 1 PENDAHULUAN 1.1 Latar Belakag Kehidupa ausia seatiasa diarahka pada kodisi yag aka datag, yag keberadaaya tidak dapat diketahui secara pasti. Sehigga ausia berusaha elakuka kegiata kegiata dega berorietasi
Lebih terperinciHALAMAN Dengan definisi limit barisan buktikan limit berikut ini : = 0. a. lim PENYELESAIAN : jadi terbukti bahwa lim = 0 = 5. b.
Didowload dari ririez.blog.us.ac.id HALAMAN 36 37 5. Dega defiisi limit barisa buktika limit berikut ii : a. lim = 0 lim 1 2 + 3 = 0 > 0 h 1 = 2 + 3 0 = 1 2 + 3 1 2 1 2 1 2 < jadi terbukti bahwa lim =
Lebih terperinciBAB III RUANG HAUSDORFF. Pada bab ini akan dibahas mengenai ruang Hausdorff, kekompakan pada
8 BAB III RUANG HAUSDORFF Pada bab ii aka dibahas megeai ruag Hausdorff, kekompaka pada ruag Hausdorff da ruag regular legkap. Pembahasa diawali dega medefiisika Ruag Hausdorff da beberapa sifatya kemudia
Lebih terperinciGRUP TERURUT PARSIAL PADA MATRIKS SIMETRI BERUKURAN 2 2
Jural LOG!K@, Jilid 7, No, 7, Hal 46-5 ISSN 978 8568 GRU ERURU ARSIAL ADA MARIKS SIMERI BERUKURAN Irmatul Hasaah Uiversitas Islam Negeri Sulta Maulaa Hasauddi Bate Email: irmatulhasaah@uibateacid Abstract:
Lebih terperinciMA1201 MATEMATIKA 2A Hendra Gunawan
MA1201 MATEMATIKA 2A Hedra Guawa Semester II, 2016/2017 3 Februari 2017 Bab Sebelumya 8. Betuk Tak Tetu da Itegral Tak Wajar 8.1 Betuk Tak Tetu 0/0 8.2 Betuk Tak Tetu Laiya 8.3 Itegral Tak Wajar dg Batas
Lebih terperinciBeberapa Sifat Semigrup Matriks Atas Daerah Integral Admitting Struktur Ring 1
Beberapa Sifat Semigrup Matriks Atas Daerah Itegral Admittig Struktur ig K a r y a t i Jurusa Pedidika Matematika FMIPA, Uiversitas Negeri Yogyakarta Email: yatiuy@yahoo.com Abstrak Diberika adalah daerah
Lebih terperinciHUBUNGAN PELABELAN GRACEFUL PADA DIGRAF BIDIRECTIONAL G DAN GRAF UNDERLYING DARI G
J Sais MIPA Desember 7 Vol 1 No Hal: 197 - ISSN 1978-187 ABSTRACT HUBUNGAN PELABELAN GRACEFUL PADA DIGRAF BIDIRECTIONAL G DAN GRAF UNDERLYING DARI G Kristiaa Wijaya Jurusa Matematika FMIPA Uiversitas Jember
Lebih terperinciRUANG BASIS SOLUSI. Ini disusun untuk memenuhi tugas mata kuliah. Aljabar Linier DISUSUN OLEH : DONNA SEPTIAN CAHYA RINI (08411.
RUANG BASIS SOLUSI Ii disusu utuk memeuhi tugas mata kuliah Aljabar Liier DISUSUN OLEH : DONNA SEPIAN CAHYA RINI (08411.114) FIRIA ASUI (08411.133) NURUL AISYAH (08411.211) SULIS SEYOWAI (08411.260) SULISIANI
Lebih terperinciHUBUNGAN ANTARA KONVERGEN HAMPIR PASTI, KONVERGEN DALAM PELUANG, DAN KONVERGEN DALAM SEBARAN
Jural Matematika UNAND Vol. 2 No. 2 Hal. 0 6 ISSN : 2303 290 c Jurusa Matematika FMIPA UNAND HUBUNGAN ANTARA KONVERGEN HAMPIR PASTI, KONVERGEN DALAM PELUANG, DAN KONVERGEN DALAM SEBARAN VIRA AGUSTA, DODI
Lebih terperinciTEOREMA WEYL UNTUK OPERATOR HYPONORMAL
Jural UJMC, Volume 3, Nomor, Hal. - 6 pissn : 460-3333 eissn : 579-907X TEOREMA WEYL UNTUK OPERATOR HYPONORMAL Guawa Uiversitas Muhammadiyah Purwokerto, gu.oge@gmail.com Abstract This paper aims at describig
Lebih terperinciBAB II LANDASAN TEORI. Pada bagian ini akan dibahas tentang teori-teori dasar yang. digunakan untuk dalam mengestimasi parameter model.
BAB II LANDASAN TEORI Pada bagia ii aka dibahas tetag teori-teori dasar yag diguaka utuk dalam megestimasi parameter model.. MATRIKS DAN VEKTOR Defiisi : Trace dari matriks bujur sagkar A a adalah pejumlaha
Lebih terperinciDefinisi Integral Tentu
Defiisi Itegral Tetu Bila kita megedarai kedaraa bermotor (sepeda motor atau mobil) selama 4 jam dega kecepata 50 km / jam, berapa jarak yag ditempuh? Tetu saja jawabya sagat mudah yaitu 50 x 4 = 200 km.
Lebih terperinciPERTEMUAN 13. VEKTOR dalam R 3
PERTEMUAN VEKTOR dalam R Pegertia Ruag Vektor Defiisi R Jika adalah sebuah bilaga bulat positif, maka tupel - - terorde (ordered--tuple) adalah sebuah uruta bilaga riil ( a ),a,..., a. Semua tupel - -terorde
Lebih terperinciSEMI MODUL POLINOMIAL FUZZY ATAS ALJABAR MAX-PLUS FUZZY
JMP : Volume 3 Nomor 1, Jui 2011 SEMI MODUL POLINOMIAL FUZZY ATAS ALJABAR MAX-PLUS FUZZY Ari Wardayai da Suroto Prodi Matematika, Jurusa MIPA, Fakultas Sais da Tekik Uiversitas Jederal Soedirma (email
Lebih terperinciKARAKTERISTIK OPERATOR HIPONORMAL-p PADA RUANG HILBERT. Gunawan Universitas Muhammadiyah Purwokerto
JMP : Volue 6 Noor, Deseber 014, hal. 105-114 KARAKERISIK OPERAOR HIPONORMAL- PADA RUANG HILBER Guawa Uiversitas Muhaadiyah Purwokerto Eail: gu.oge@gail.co ABRAC. his article discusses the defiitio ad
Lebih terperinciJURNAL MATEMATIKA DAN KOMPUTER Vol. 6. No. 2, 77-85, Agustus 2003, ISSN : DISTRIBUSI WAKTU BERHENTI PADA PROSES PEMBAHARUAN
JURAL MATEMATKA DA KOMPUTER Vol. 6. o., 77-85, Agustus 003, SS : 40-858 DSTRBUS WAKTU BERHET PADA PROSES PEMBAHARUA Sudaro Jurusa Matematika FMPA UDP Abstrak Dalam proses stokhastik yag maa kejadia dapat
Lebih terperinciSistem Bilangan Real. Modul 1 PENDAHULUAN
Modul 1 Sistem Bilaga Real Prof. R. Soematri D PENDAHULUAN alam modul ii aka dibahas sifat-sifat pokok bilaga real. Meskipu pembaca sudah akrab bear dega bilaga real amu modul ii aka membahasya lebih cermat
Lebih terperinciHomomorfisma Pada Semimodul Atas Aljabar Max-Plus
Homomorfisma Pada Semimodul Atas Aljabar Max-Plus A 14 Oleh : Musthofa Jurusa Pedidika Matematika FMIPA UNY Abstrak Kosep homorfisma telah bayak dibahas pada beberapa struktur aljabar yaitu pada ruag vektor
Lebih terperinciInduksi Matematika. Pertemuan VII Matematika Diskret Semester Gasal 2014/2015 Jurusan Teknik Informatika UPN Veteran Yogyakarta
Iduksi Matematika Pertemua VII Matematika Diskret Semester Gasal 2014/2015 Jurusa Tekik Iformatika UPN Vetera Yogyakarta Metode pembuktia utuk peryataa perihal bilaga bulat adalah iduksi matematik. Cotoh
Lebih terperinciBAHAN AJAR ANALISIS REAL 1 Matematika STKIP Tuanku Tambusai Bangkinang 5. DERET
Pertemua 7. BAHAN AJAR ANALISIS REAL Matematika STKIP Tuaku Tambusai Bagkiag 5. da kekovergeaya 5. DERET Diberika sebuah barisa a, dapat didefeisika barisa bilaga real S N dega S N := N a = a + a 2 +...
Lebih terperinciPEMBUKTIAN SIFAT RUANG BANACH PADA B 1/4 (K) Malahayati
Jural Matematika Muri da Terapa εpsilo Vol. 07, No.01, (2013), Hal. 33 44 PEMBUKTIAN SIFAT RUANG BANACH PADA B 1/4 (K) Malahayati Program Studi Matematika Fakultas Sais da Tekologi UIN Sua Kalijaga Yogyakarta
Lebih terperinciKARAKTERISTIK MATRIKS CENTRO-SIMETRIS THE CHARACTERISTICS OF CENTROSYMMETRIC MATRICES
ural Ilu Mateatika da erapa Deseber 206 Volue 0 Noor 2 Hal 69 76 KAAKEIIK MAIK CENO-IMEI Bery Pebo oasouw urusa Mateatika FMIPA Uiversitas Pattiura l Ir M Putuhea, Kapus Upatti, Poka-Abo, Idoesia e-ail:
Lebih terperinciSIFAT-SIFAT FUNGSI EKSPONENSIAL BERBASIS BILANGAN NATURAL YANG DIDEFINISIKAN SEBAGAI LIMIT
Jural Matematika UNAND Vol. 4 No. 1 Hal. 12 22 ISSN : 2303 2910 c Jurusa Matematika FMIPA UNAND SIFAT-SIFAT FUNGSI EKSPONENSIAL BERBASIS BILANGAN NATURAL YANG DIDEFINISIKAN SEBAGAI LIMIT ENIVA RAMADANI
Lebih terperinciPelabelan E-cordial pada Graf Hasil Cartesian Product
Pelabela E-cordial pada Gra Hasil Cartesia Product Kholis Widyasmedi, R. Heri Soelistyo Program Studi Matematika Jurusa Matematika Fakultas Sais da Matematika Uiversitas Dipoegoro Email: widyasmedi@gmail.com
Lebih terperinciBAB 4: PELUANG DAN DISTRIBUSI NORMAL.
BAB 4: PELUANG DAN DISTRIBUSI NORMAL. PELUANG Peluag atau yag biasa juga disebut dega istilah keugkia, probablilitas, atau kas eujukka suatu tigkat keugkia terjadiya suatu kejadia yag diyataka dala betuk
Lebih terperinciProgram Perkuliahan Dasar Umum Sekolah Tinggi Teknologi Telkom. Barisan dan Deret
Program Perkuliaha Dasar Umum Sekolah Tiggi Tekologi Telkom Barisa da Deret Barisa Defiisi Barisa bilaga didefiisika sebagai fugsi dega daerah asal merupaka bilaga asli. Notasi: f: N R f( ) a Fugsi tersebut
Lebih terperinciJurnal Matematika Murni dan Terapan Vol. 6 No.1 Juni 2012: 9-16 KRITERIA KEKONVERGENAN CAUCHY PADA RUANG METRIK KABUR INTUITIONISTIC
Jural Matematika Muri da Teraa Vol. 6 No.1 Jui 01: 9-16 KRITERIA KEKONVERGENAN CAUCHY PADA RUANG METRIK KABUR INTUITIONISTIC Muhammad Ahsar Karim 1 Faisal Yui Yulida 3 [1,,3] PS Matematika FMIPA Uiversitas
Lebih terperinciBab 2. Sistem Bilangan Real Aksioma Bilangan Real Misalkan adalah himpunan bilangan real, P himpunan bilangan positif dan fungsi + dan.
Bab Sistem Bilaga Real.. Aksioma Bilaga Real Misalka adalah himpua bilaga real, P himpua bilaga positif da fugsi + da. dari ke da asumsika memeuhi aksioma-aksioma berikut: Aksioma Lapaga Utuk semua bilaga
Lebih terperinciMatriks atas Aljabar Max-Plus Interval
Jural Natur Idoesia 13(2), Februari 211: 94-99 94 ISSN 141-9379, Jural Natur Keputusa Idoesia Akreditasi 13(2): No 94-99 65a/DIKTI/Kep/28 Rudhito, et al Matriks atas Aljabar Max-Plus Iterval Marcellius
Lebih terperinciTUGAS ANALISIS REAL LANJUT. a b < a + A. b + B < A B.
TUGAS ANALISIS REAL LANJUT NOVEMBER 207 () (a) Jika b > 0, B > 0, da a b < A, buktika ab < ba. Kemudia buktika B a b < a + A b + B < A B. (b) Buktika [ 2 (a + b)] 2 2 (a2 + b 2 ). Kemudia tujukka bahwa
Lebih terperinciBab IV Metode Alternating Projection
Bab IV Metode Alteratig Projectio Metode alteratig projectio megubah masalah feasibility o koveks mejadi masalah feasibility koveks Pada bab ii aka dicari matriks defiit positif da simetri X,Y yag diguaka
Lebih terperinciBAGIAN 2 TOPIK 5. andhysetiawan
BAGIAN OIK 5 adhyseiawa Isi Maeri Modulasi Aliudo AM Modulasi Frekuesi FM adhyseiawa MODULASI AMLIUDO DAN MODULASI ANGULAR SUDU Modulasi roses erubaha karakerisik aau besara gelobag ebawa, euru ola gelobag
Lebih terperinciDefinisi 2.3 : Jika max min E(X,Y) = min
Teori Peraia 22 Peelitia Operasioal II Defiisi 23 : Jika ax i E(X,Y) = z y i y ax E(X,Y) =E(x 0, y 0 ), aka (x 0, y 0 ) didefiisika z sebagai strategi uri dari peraia itu dega x 0 sebagai strategi optiu
Lebih terperinciJURNAL MATEMATIKA DAN KOMPUTER Vol. 6. No. 2, , Agustus 2003, ISSN : METODE PENENTUAN BENTUK PERSAMAAN RUANG KEADAAN WAKTU DISKRIT
Vol. 6. No., 97-09, Agustus 003, ISSN : 40-858 METODE PENENTUAN BENTUK PERSAMAAN RUANG KEADAAN WAKTU DISKRIT Robertus Heri Jurusa Matematika FMIPA UNDIP Abstrak Tulisa ii membahas peetua persamaa ruag
Lebih terperinci1 Persamaan rekursif linier non homogen koefisien konstan tingkat satu
Secara umum persamaa rekursif liier tigkat-k bisa dituliska dalam betuk: dega C 0 0. C 0 x + C 1 x 1 + C 2 x 2 + + C k x k = b, Jika b = 0 maka persamaa rekursif tersebut diamaka persamaa rekursif liier
Lebih terperinci) didefinisikan sebagai persamaan yang dapat dinyatakan dalam bentuk: a x a x a x b... b adalah suatu urutan bilangan dari bilangan s1, s2,...
SISEM PERSAMAAN LINIER DAN MARIKS. SISEM PERSAMAAN LINIER Secara umum, persamaa liier dega variabel ( x, x,..., x ) didefiisika sebagai persamaa yag dapat diyataka dalam betuk: a x a x a x b... dega a,
Lebih terperinciterurut dari bilangan bulat, misalnya (7,2) (notasi lain 2
Bab Bilaga kompleks BAB BILANGAN KOMPLEKS Defiisi Bilaga Kompleks Sebelum medefiisika bilaga kompleks, pembaca diigatka kembali pada permasalah dalam sistem bilaga yag telah dikeal sebelumya Yag pertama
Lebih terperinciFOURIER Juni 2014, Vol. 3, No. 1, TEOREMA TITIK TETAP PADA RUANG QUASI METRIK TERASING TANPA MENGGUNAKAN SIFAT KEKONTINUAN FUNGSI
FOURIER Jui 04, Vol. 3, No., 4 6 TEOREMA TITIK TETAP PADA RUANG QUASI METRIK TERASING TANPA MENGGUNAKAN SIFAT KEKONTINUAN FUNGSI Malahayati, Mutia Utami, Program Studi Matematika Fakultas Sais da tekologi
Lebih terperinciBAB 1 PENDAHULUAN Latar Belakang
BAB 1 PENDAHULUAN 1.1. Latar Belakag Dalam keadaa dimaa meghadapi persoala program liier yag besar, maka aka berusaha utuk mecari peyelesaia optimal dega megguaka algoritma komputasi, seperti algoritma
Lebih terperinciDISTRIBUSI SAMPLING. Oleh : Dewi Rachmatin
DISTRIBUSI SAMPLING Oleh : Dewi Rachmati Distribusi Rata-rata Misalka sebuah populasi berukura higga N dega parameter rata-rata µ da simpaga baku. Dari populasi ii diambil sampel acak berukura, jika tapa
Lebih terperinciI. DERET TAKHINGGA, DERET PANGKAT
I. DERET TAKHINGGA, DERET PANGKAT. Pedahulua Pembahasa tetag deret takhigga sebagai betuk pejumlaha suku-suku takhigga memegag peraa petig dalam fisika. Pada bab ii aka dibahas megeai pegertia deret da
Lebih terperinciBAB 2 DASAR TEORI. 2.1 Probabilitas
BAB DASAR TEORI. Probabilitas Probabilitas epuyai bayak persaaa seperti keugkia, kesepata da kecederuga. Probabilitas eujukka keugkia terjadiya suatu peristiwa yag bersifat acak. Suatu peristiwa disebut
Lebih terperinciII. TINJAUAN PUSTAKA. Secara umum apabila a bilangan bulat dan b bilangan bulat positif, maka ada tepat = +, 0 <
II. TINJAUAN PUSTAKA 2.1 Keterbagia Secara umum apabila a bilaga bulat da b bilaga bulat positif, maka ada tepat satu bilaga bulat q da r sedemikia sehigga : = +, 0 < dalam hal ii b disebut hasil bagi
Lebih terperinciEKSPANSI MULTINOMIAL, KOMBINASI, DAN PERMUTASI
EKSPANSI MULTINOMIAL, KOMBINASI, DAN PERMUTASI Oleh: Sutopo Jurusa Fisika FMIPA UM sutopo@fisika.um.ac.id Ditulis pada sekitar bula Maret 2011. Diuggah pada 3 Desember 2011 PROBLEM Gambar di bawah ii meyataka
Lebih terperinciBAB III ANALISIS LOOKBACK OPTIONS
BAB III : ANALII LOOKBACK OPION BAB III ANALII LOOKBACK OPION Pada Bab III ii aka dibahas egeai lookback opios da aalisisa Asusi ag kia pakai adalah saha ag diguaka (uderlig asse) idak eberika divide ipe
Lebih terperinciJURNAL MATEMATIKA DAN KOMPUTER Vol. 6. No. 1, 41-48, April 2003, ISSN : MATRIKS STOKASTIK GANDA DAN SIFAT-SIFATNYA
JURNAL MATEMATIKA DAN KOMPUTER Vol. 6. No., 4-48, April 00, ISSN : 40-858 MATRIKS STOKASTIK GANDA DAN SIFAT-SIFATNYA Suryoto Jurusa Matematika F-MIPA Uiversas Dipoegoro Semarag Abstrak Suatu matriks tak
Lebih terperinciBatas Bilangan Ajaib Pada Graph Caterpillar
J. Math. ad Its Appl. ISSN: 189-605X Vol. 3, No., Nov 006, 49 56 Batas Bilaga Ajaib Pada Graph Caterpillar Chairul Imro Jurusa Matematika FMIPA ITS Surabaya imro-its@matematika.its.ac.id Abstrak Jika suatu
Lebih terperinciMetode Beda Hingga dan Teorema Newton untuk Menentukan Jumlah Deret. Finite Difference Method and Newton's Theorem to Determine the Sum of Series
Jural ILM DASAR, Vol, No, Juli : 9-98 9 Metode Beda Higga da Teorema Newto utuk Meetuka Jumlah Deret Fiite Differece Method ad Newto's Theorem to Determie the Sum of Series Tri Mulyai,*), Moh Hasa ), Slami
Lebih terperinciModul 1. (Pertemuan 1 s/d 3) Deret Takhingga
Modul. (Pertemua s/d ) Deret Takhigga. Deret Tidak Terhigga. Pembicaraa kita sekarag deret pada umumya. Deret yag bayakya suku tak terbatas disebut deret tak higga, otasi : Masalah pokok pada deret tak
Lebih terperinciHimpunan. Himpunan 3/28/2012. Semesta Pembicaraan Semua mobil di Indonesia
Himpua Suatu himpua atau gugus adalah merupaka sekumpula obyek. Pada umumya aggota dari gugus tersebut memiliki suatu sifat yag sama. Suatu himpua bagia atau aak gugus merupaka sekumpula obyek yag aggotaya
Lebih terperinciJURNAL MATEMATIKA DAN KOMPUTER Vol. 4. No. 1, 41-45, April 2001, ISSN : KETERHUBUNGAN GALOIS FIELD DAN LAPANGAN PEMISAH
Vol. 4. No. 1, 41-45, Aril 2001, ISSN : 1410-8518 KETERHUBUNGAN GALOIS FIELD DAN LAPANGAN PEMISAH Bambag Irawato Jurusa Matematika FMIPA UNDIP Abstact I this aer, it was leared of the ecessary ad sufficiet
Lebih terperinciBAB 6. DERET TAYLOR DAN DERET LAURENT Deret Taylor
Bab 6 Deret Taylor da Deret Lauret BAB 6 DERET TAYLOR DAN DERET LAURENT 6 Deret Taylor Misal fugsi f aalitik pada - < R ligkara dega pusat di da jari-jari R Maka utuk setiap titik pada ligkara itu f dapat
Lebih terperinciII. LANDASAN TEORI. Pada bab ini akan diberikan beberapa istilah, definisi serta konsep-konsep yang
II. LANDASAN TEORI Pada bab ii aka diberika beberapa istilah, defiisi serta kosep-kosep yag medukug dalam peelitia ii. 2.1 Kosep Dasar Teori Graf Berikut ii aka diberika kosep dasar teori graf yag bersumber
Lebih terperinciBAB I PENDAHULUAN. , membentuk struktur ring terhadap operasi penjumlahan matriks dan operasi pergandaan matriks baku. Himpunan bagian dari
BB I PENDHULUN. Latar Belakag Masalah Struktur rig (gelaggag) R adalah suatu himpua R yag kepadaya didefiisika dua operasi bier yag disebut pejumlaha da pergadaa yag memeuhi aksioma-aksioma tertetu, yaitu:
Lebih terperinciSetelah mempelajari modul ini Anda diharapkan dapat: a. memeriksa apakah suatu pemetaan merupakan operasi;
Modul 1 Operasi Dr. Ahmad Muchlis B PENDAHULUAN erapakah 97531 86042? Kalau Ada megguaka kalkulator, jawabaya amat bergatug pada tipe kalkulator yag Ada pakai. 9 Kalkulator ilmiah Casio fx-250 memberika
Lebih terperinci3. Rangkaian Logika Kombinasional dan Sequensial 3.1. Rangkaian Logika Kombinasional Enkoder
3. Ragkaia Logika Kombiasioal da Sequesial Ragkaia Logika secara garis besar dibagi mejadi dua, yaitu ragkaia logika Kombiasioal da ragkaia logika Sequesial. Ragkaia logika Kombiasioal adalah ragkaia yag
Lebih terperinciInfinityJurnal Ilmiah Program Studi Matematika STKIP Siliwangi Bandung, Vol 2, No.1, Februari 2013
IfiityJural Ilmiah Program Studi Matematika STKIP Siliwagi Badug, Vol 2, No.1, Februari 2013 KEKONTINUAN FUNGSI PADA RUANG METRIK Oleh: Cece Kustiawa Jurusa Pedidika Matematika FPMIPA UPI, cecekustiawa@yahoo.com
Lebih terperinciHimpunan Kritis Pada Graph Caterpillar
1 0 Himpua Kritis Pada Graph Caterpillar Chairul Imro, Budi Setiyoo, R. Simajutak, Edy T. Baskoro {imro-its,budi}@matematika.its.ac.id, {rio,ebaskoro}@ds.math.itb.ac.id Ues, Semarag, 4 7 Juli 006 Abstrak
Lebih terperinciBARISAN DAN DERET. Nurdinintya Athari (NDT)
BARISAN DAN DERET Nurdiitya Athari (NDT) BARISAN Defiisi Barisa bilaga didefiisika sebagai fugsi dega daerah asal merupaka bilaga asli. Notasi: f: N R f( ) = a Fugsi tersebut dikeal sebagai barisa bilaga
Lebih terperinciPENERAPAN TEOREMA TITIK TETAP UNTUK MENUNJUKKAN ADANYA PENYELESAIAN PADA SISTEM PERSAMAAN LINEAR
PENERAPAN TEOREMA TITIK TETAP UNTUK MENUNJUKKAN ADANYA PENYELESAIAN PADA SISTEM PERSAMAAN LINEAR Nur Aei Prodi Matematika, FST-UINAM uraeiatullah@gmail.com Ifo: Jural MSA Vol. 3 No. 2 Edisi: Juli Desember
Lebih terperinciTINJAUAN PUSTAKA. 2.1 Ruang Vektor. Definisi (Darmawijaya, 2007) Diketahui (V, +) grup komutatif dan (F,,. ) lapangan dengan elemen identitas
II. TINJAUAN PUSTAKA 2.1 Ruag Vektor Defiisi 2.1.1 (Darmawijaya, 2007) Diketahui (V, +) grup komutatif da (F,,. ) lapaga dega eleme idetitas 1. V disebut ruag vektor (vector space) atas F jika ada operasi
Lebih terperinciIII BAB BARISAN DAN DERET. Tujuan Pembelajaran. Pengantar
BAB III BARISAN DAN DERET Tujua Pembelajara Setelah mempelajari materi bab ii, Ada diharapka dapat:. meetuka suku ke- barisa da jumlah suku deret aritmetika da geometri,. meracag model matematika dari
Lebih terperinciBAB I PENDAHULUAN. A. Latar Belakang Masalah
BAB I PENDAHULUAN A. Latar Belakag Masalah Struktur alabar adalah suatu himpua yag di dalamya didefiisika suatu operasi bier yag memeuhi aksioma-aksioma tertetu. Gelaggag ( Rig ) merupaka suatu struktur
Lebih terperinciSISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS
Prosidig Semiar Nasioal Peelitia, Pedidika da Peerapa MIPA, Fakultas MIPA, Uiversitas Negeri Yogyakarta, 4 Mei 0 SISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS Musthofa Jurusa Pedidika Matematika FMIPA
Lebih terperinciDeret Fourier. Modul 1 PENDAHULUAN
Modul Deret Fourier Prof. Dr. Bambag Soedijoo P PENDAHULUAN ada modul ii dibahas masalah ekspasi deret Fourier Sius osius utuk suatu fugsi periodik ataupu yag diaggap periodik, da dibahas pula trasformasi
Lebih terperinciSISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS. Abstrak
Prosidig Semiar Nasioal Peelitia, Pedidika da Peerapa MIPA, Fakultas MIPA, Uiversitas Negeri Yogyakarta, 4 Mei 0 SISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS Musthofa Jurusa Pedidika Matematika FMIPA
Lebih terperinciPENENTUAN SOLUSI RELASI REKUREN DARI BILANGAN FIBONACCI DAN BILANGAN LUCAS DENGAN MENGGUNAKAN FUNGSI PEMBANGKIT
Prosidig Semiar Nasioal Matematika da Terapaya 06 p-issn : 0-0384; e-issn : 0-039 PENENTUAN SOLUSI RELASI REKUREN DARI BILANGAN FIBONACCI DAN BILANGAN LUCAS DENGAN MENGGUNAKAN FUNGSI PEMBANGKIT Liatus
Lebih terperinciAji Wiratama, Yuni Yulida, Thresye Program Studi Matematika Fakultas MIPA Universitas Lambung Mangkurat Jl. Jend. A. Yani km 36 Banjarbaru
Jural Matematika Muri da Terapa εpsilo Vol.8 No.2 (24) Hal. 39-45 APLIKASI METODE DEKOMPOSISI ADOMIAN UNTUK MENENTUKAN FORMULA TRANSFORMASI LAPLACE Aji Wiratama, Yui Yulida, Thresye Program Studi Matematika
Lebih terperinciBAB III PENGGUNAAN METODE EMPIRICAL BEST LINEAR UNBIASED PREDICTION (EBLUP) PADA GENERAL LINEAR MIXED MODEL
BAB III PENGGUNAAN MEODE EMPIRICAL BES LINEAR UNBIASED PREDICION (EBLUP PADA GENERAL LINEAR MIXED MODEL Pada Bab III ii aka dibahas megeai taksira parameter pada Geeral Liear Mixed Model berdasarka asumsi
Lebih terperinciBAB I PENDAHULUAN. Matematika merupakan suatu ilmu yang mempunyai obyek kajian
BAB I PENDAHULUAN A. Latar Belakag Masalah Matematika merupaka suatu ilmu yag mempuyai obyek kajia abstrak, uiversal, medasari perkembaga tekologi moder, da mempuyai pera petig dalam berbagai disipli,
Lebih terperinciDISTRIBUSI SAMPLING (Distribusi Penarikan Sampel)
DISTRIBUSI SAMPLING (Distribusi Pearika Sampel) I. PENDAHULUAN Bidag Iferesia Statistik membahas geeralisasi/pearika kesimpula da prediksi/ peramala. Geeralisasi da prediksi tersebut melibatka sampel/cotoh,
Lebih terperinciBAB II CICILAN DAN BUNGA MAJEMUK
BAB II CICILAN DAN BUNGA MAJEMUK 2.1. Buga Majemuk Ada sedikit perbedaa atara suku buga tuggal da suku buga majemuk. Pada suku buga tuggal, besarya buga B = Mp tidak perah digabugka dega modal M. Sebalikya
Lebih terperinciBARISAN FIBONACCI DAN BILANGAN PHI
BARISAN FIBONACCI DAN BILANGAN PHI Fiboacci Matematikawa terbesar pada abad pertegaha adalah Leoardo dari Pisa, Italia (80 0). Ia lebih dikeal dega ama Fibo-acci. Artiya, aak Boaccio. Meara Pisa yag terkeal
Lebih terperinciCATATAN KULIAH Pertemuan I: Pengenalan Matematika Ekonomi dan Bisnis
CATATAN KULIAH Pertemua I: Pegeala Matematika Ekoomi da Bisis A. Sifat-sifat Matematika Ekoomi 1. Perbedaa Matematika vs. Nomamatematika Ekoomi Keutuga pedekata matematika dalam ilmu ekoomi Ketepata (Precise),
Lebih terperinciBAB 1 PENDAHULUAN. Universitas Sumatera Utara
BAB 1 PENDAHULUAN Persoala trasportasi yag serig ucul dala kehidupa sehari-hari, erupaka gologa tersediri dala persoala progra liier. Maka etode traportasi ii juga dapat diguaka utuk eyelesaika beberapa
Lebih terperinci