cover
Article Per Year (5 Year)
All
Home Page
OAI Link
Editorial Team
Contact
Reviewer
Google Scholar
Contact Name
-
Contact Email
-
Phone
-
Journal Mail Official
-
Editorial Address
-
Location
Kota semarang,
Jawa tengah
INDONESIA
MATEMATIKA
Published by Universitas Diponegoro
ISSN : -     EISSN : -     DOI : -
Core Subject : Education,
Mathematics
Arjuna Subject : -
Articles 6 Documents
 1 
Search results for , issue "Vol 7, No 2 (2004): JURNAL MATEMATIKA" : 6 Documents clear
INTERPOLATION THEOREM FOR NONCOMMUTATIVE STANDARD EXTENSIONS OF LOGIC BB’I Surarso, Bayu
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (37.594 KB)

Abstract

Maehara in [Maehara, 1960/1961] introduces a proof-theoretical method for proving the interpolation theorem for standard logics. In the present paper we modify Maehara’s method to prove the interpolation theorem for the systems LBB’IK, LBB’IW and LBB’IKW introduced in [Bayu Suraraso, 2005] and consequently the interpolation theorem holds for the logics BB’IK, BB’IW and BB’IKW.  
ALGORITMA GENETIKA UNTUK PENYELESAIAN MASALAH VEHICLE ROUTING sarwadi, Sarwadi; Krismi, Anjar
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (64.439 KB)

Abstract

Masalah vehicle routing (VRP) merupakan suatu permasalahan penting yang terdapat pada sistem transportasi yang bertujuan meminimalkan total jarak tempuh supaya biaya pengoperasian kendaraan minimal. Masalah vehicle routing termasuk ke dalam kelas NP-hard yang pada umumnya menggunakan pendekatan heuristik untuk mencari solusinya. Algoritma genetika merupakan salah satu metode heuristik yang analog dengan proses evolusi alam dengan tahap seleksi, crossover dan mutasi. Pada tulisan ini simulasi dilakukan dengan mencari solusi dari beberapa kasus VRP dengan jumlah titik N = 10 sampai dengan N = 100. Selanjutnya solusi dari kasus tersebut dibandingkan dengan hasil yang diperoleh dengan menggunakan Metode Saving. Hasil perbandingan memperlihatkan bahwa solusi yang dihasilkan algoritma genetika mempunyai kualitas lebih baik untuk jumlah titik yang kecil.
MODEL ASIMETRIS GABUNGAN INVENTORY DAN ROUTING UNTUK MINIMISASI HARGA KOMODITI sarwadi, Sarwadi; hariyanto, susilo
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (56.845 KB)

Abstract

Dalam penelitian ini, akan dirumuskan suatu model matematik yang merupakan gabungan antara masalah inventory dan routing. Model dibangun  dengan memperhatikan sifat asimetris matrik jarak antar kota. Masalah ini diselesaikan dengan menggunakan teori graph. Perumusan masalah dinyatakan ke model Mixed Integer Linier Programming. Model ini disusun untuk kasus minimisasi suatu harga komoditi. Selanjutnya, model yang dibangun dikaji karakteristik-karakteristiknya untuk membuktikan kesahihannya, sehingga diperoleh suatu model MILP yang valid untuk permasalahan inventory dan routing.
Perancangan dan Pengembangan Antarmuka Pengguna Berbasis Task Analysis Model widodo, Aris Puji
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (83.99 KB)

Abstract

Pada makalah ini diuraikan mengenai perancangan dan pengembangan antarmuka pengguna berdasarkan task analysis model, yaitu berdasarkan kategori spesifikasi pekerjaan yang dilakukan oleh pengguna terhadap perangkat lunak .Model pengembangan yang digunakan adalah model lifecycle, yang meliputi tahapan pembentukan problem domain, task analysis yang direpresentasikan dengan struktur pohon yang selanjutnya dijabarkan menjadi urutan aksi penguna, dan task design yang meliputi task synthesis, task optimation, pengelompokan task, state transition dan perancangan dialog untuk setiap antarmuka pengguna.
Studi Banding antara Metode Minimum Distance dan Gaussian Maximum Likelihood Sebagai Pengklasifikasi Citra Multispektral sarwoko, eko adi
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (347.319 KB)

Abstract

Metode Minimum Distance merupakan metode sederhana (metrik jarak) yang digunakan untuk alat pengklasifikasi pada masalah pengenalan pola. Demikian pula Metode Gaussian Maximum Likelihood, informasi yang ditunjukkan metode ini cukup lengkap, karena selain rata-rata, juga memperhitungkan informasi variansi pada variable yang diukur. Tulisan ini mengkaji mekanisme dan kinerja kedua metode, yang diujikan pada data citra multispektral daerah Riau dan Jawa Tengah. Dari hasil penelitian ini, ternyata penggunaan metode Gaussian Maximum Likelihood mempunyai akurasi yang lebih baik dibandingkan metode Minimum Distance.
SIFAT–SIFAT IDEAL KUASI REGULAR Tjahjana, Redemtus Heru
MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (32.192 KB)

Abstract

Tulisan ini membahas sifat ideal kuasi regular dimulai dari pengertian elemen kuasi regular dan sifat-sifatnya. Dari pengertian elemen kuasi regular dapat dipergunakan untuk membangun pengertian ideal kuasi regular. Ideal kuasi regular kanan adalah ideal kanan dari suatu ring dan setiap elemennya adalah elemen kuasi regular kanan. Ideal kuasi regular kiri adalah ideal kiri dari suatu ring dan setiap elemennya adalah elemen kuasi regular kiri. Untuk mempelajari  ideal kuasi lebih lanjut juga dituliskan tentang Jacobson radikal.

Page 1 of 1 | Total Record : 6

 1 

Filter by Year

2004 2004


Reset
Filter By Issues
All Issue Vol 20, No 2 (2017): JURNAL MATEMATIKA Vol 20, No 1 (2017): JURNAL MATEMATIKA Vol 19, No 3 (2016): Jurnal Matematika Vol 19, No 2 (2016): Jurnal Matematika Vol 19, No 1 (2016): Jurnal Matematika Vol 18, No 1 (2015): Jurnal Matematika Vol 17, No 3 (2014): Jurnal Matematika Vol 17, No 2 (2014): Jurnal Matematika Vol 17, No 1 (2014): Jurnal Matematika Vol 16, No 1 (2013): Jurnal Matematika Vol 15, No 1 (2012): JURNAL MATEMATIKA Vol 14, No 3 (2011): Jurnal Matematika Vol 14, No 2 (2011): JURNAL MATEMATIKA Vol 14, No 1 (2011): JURNAL MATEMATIKA Vol 10, No 2 (2007): JURNAL MATEMATIKA Vol 13, No 3 (2010): JURNAL MATEMATIKA Vol 13, No 2 (2010): JURNAL MATEMATIKA Vol 13, No 1 (2010): JURNAL MATEMATIKA Vol 12, No 3 (2009): JURNAL MATEMATIKA Vol 12, No 2 (2009): JURNAL MATEMATIKA Vol 12, No 1 (2009): JURNAL MATEMATIKA Vol 11, No 3 (2008): JURNAL MATEMATIKA Vol 11, No 2 (2008): Jurnal Matematika Vol 11, No 1 (2008): JURNAL MATEMATIKA Vol 10, No 3 (2007): JURNAL MATEMATIKA Vol 10, No 1 (2007): JURNAL MATEMATIKA Vol 9, No 3 (2006): JURNAL MATEMATIKA Vol 9, No 2 (2006): JURNAL MATEMATIKA Vol 9, No 1 (2006): JURNAL MATEMATIKA Vol 8, No 3 (2005): JURNAL MATEMATIKA Vol 8, No 1 (2005): JURNAL MATEMATIKA Vol 2, No 8 (2005): JURNAL MATEMATIKA Vol 7, No 3 (2004): JURNAL MATEMATIKA Vol 7, No 2 (2004): JURNAL MATEMATIKA Vol 7, No 1 (2004): JURNAL MATEMATIKA Vol 6, No 3 (2003): Jurnal Matematika Vol 6, No 2 (2003): Jurnal Matematika Vol 6, No 1 (2003): Jurnal Matematika Vol 5, No 3 (2002): Jurnal Matematika Vol 5, No 2 (2002): Jurnal Matematika Vol 5, No 1 (2002): Jurnal Matematika Vol 4, No 3 (2001): Jurnal Matematika Vol 4, No 2 (2001): JURNAL MATEMATIKA Vol 4, No 1 (2001): JURNAL MATEMATIKA More Issue