Articles

Found 28 Documents
Search

TEOREMAINTERPOLASI UNTUK LOGIKA PREDIKAT SUBSTRUKTUR DENGAN ATURAN MINGLE surarso, Bayu
MATEMATIKA Vol 13, No 2 (2010): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

It is known that the interpolation theorem for Full Lambek Substructural Logic and its standard extensions can be proved using proof-theoretical methods. In fact, they can be proved by a well known method called Maehara’s method, or its modifications. In the present paper, by proving the cut elimination theorem and then using a modification of  Maehara’s method, we prove the interpolation problem for logics obtaining from some standard extensions of Full Lambek Logic by adding rule called mingle.  
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 (71.575 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.  
AKAR-AKAR POLINOMIAL SEPARABEL SEBAGAI PEMBENTUK PERLUASAN NORMAL Daruni, Sulastri; Surarso, Bayu; Irawanto, Bambang
MATEMATIKA Vol 7, No 3 (2004): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

Misalnya F adalah lapangan perluasan dari lapangan K dan f(x) adalah  polinomial tidak tereduksi dalam K maka f(x) dapat difaktorkan sebagai hasil kali dari faktor linear dalam lapangan pemisahnya . Jika akar-akar dari polinomial tersebut tidak ada yang ganda maka polinomial tersebut merupakan polinomial separabel. Selanjutnya untuk Lapangan pemisah yang memuat kesemua akar-akar yang berlainan dari polinomial tak tereduksi f(x) maka lapangan pemisah tersebut merupakan  perluasan normal.
PROBLEM ELIMINASI CUT PADA LOGIKA LBB’Ink Surarso, Bayu
MATEMATIKA Vol 10, No 3 (2007): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

In the present paper we study the problem of  the cut elimination in logics LBB’Ink , i.e. logics obtained from LBB’I by adding a rule called (n®k) rule. It is known that  the cut elimination theorem for LBB’I and its standard extensions can be proved using some modifications of the method used by Gentzen in 1935 to prove the cut elimination theorem for Intuitionistic Logic. We extend the modifications to show that LBB’Ink  enjoy the cut elimination theorem when k=1. On the  other side, we give a counter example sequent to show that the cut elimination theorem does not work for  LBB’Ink  when k>1.
ENERGI LAPLACIAN SKEW PADA DIGRAF Puspitasari, Fitria Dewi; Surarso, Bayu
Jurnal Matematika Vol 1, No 1 (2012): jurnal matematika
Publisher : Jurnal Matematika

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

Abstract

Digraph G is a pairs of set (V,Γ) , with V(G) is set of vertices G , and Γ(G) is set of arc G . Graph G can be representated in to matrix adjacencyS(G) , from matrix S(G) be obtained eigenvalues of graph G . The sum of the absolute values of its eigenvalues is energy skew of digraph G . From digraph G be obtained DG=diag(d1,d2,d3,…,dn) the diagonal matrix with the vertex degrees d1,d2,d3,…,dn of v1,v2,v3,…,vn . Then LG=DG-S(G) is called the laplacian matrix of digraph G . The sum of the quadrate values of each eigenvalues is energy laplacian skew. In this final project will explain about the concept of the skew laplacian energy of a simple, conected digraph G . Also find the minimal value of this energy in the class of all connnected digraphs on n≥2 vertices.
PELABELAN SUPER GRACEFUL – SISI PADA GRAF KUBUS HIPER UNTUK Dwi Asyani, Destian; surarso, bayu
Jurnal Matematika Vol 2, No 1 (2013): JURNAL MATEMATIKA
Publisher : Jurnal Matematika

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

Abstract

ABSTRAKMisalkan  merupakan suatu graf sederhana, berhingga dan tak berarah dengan  dan  . Jika  dan  bilangan asli maka  dan  didefinisikan untuk  genap maka , untuk  ganjil maka , untuk  genap maka  dan untuk  ganjil maka . Sebuah graf  adalah graf  jika terdapat pemetaan injektif sedemikian sehingga  yang didefinisikan  oleh  adalah pemetaan surjektif. Graf kubus hiper  dan graf kubus hiper  adalah bukan graf . Hubungan nilai  dan  sehingga graf kubus hiper  merupakan graf   adalah jika maka  , jika maka  dan jika maka  and  .Kata Kunci : pelabelan , graf kubus hiper.
PENERAPAN MODEL ADAPTIF DALAM RANCANG BANGUN SISTEM KUIS ONLINE Hidayat, Arief; Surarso, Bayu; Sugiharto, Aris
Semantik Vol 1, No 1 (2011): Prosiding Semantik 2011
Publisher : Semantik

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

Abstract

Makalah ini membahas sebuah sistem kuis berbasis web dengan fitur adaptif yang ditambahkan. Sistem kuis adaptif ini menjadi lebih personalisasi karena model pertanyaan yang disajikan secara khusus dirancang bagi siswa sesuai dengan tingkat kemahiran mereka. Siswa akan lebih mengenal kekuatan dan kelemahan dalam proses belajar mereka karena mereka tidak akan menuju ke tingkat kesulitan yang lebihtinggi jika mereka tidak memenuhi nilai yang dipersyaratkan pada tingkat tertentu. Makalah ini fokus pada komponen utama fitur adaptif dan teknik untuk melaksanakan komponen adaptif tersebut. Sebuah studi perbandingan antara sistem adaptif saat ini dilakukan untuk mengidentifikasi komponen adaptif yangditerapkan dan teknik untuk menerapkan komponen adaptif. Hasil studi banding menjadi dasar untuk mengembangkan sistem kuis adaptif ini. Sistem kuis adaptif ini terdiri dari tiga komponen utama: student model, domain model dan adaptation model. Student model menggambarkan pengetahuan siswa, model domain merupakan domain mengajar atau representasi dari student model, sedangkan adaptation model terdiri dari satu sekumpulan aturan yang mendefinisikan aksi pengguna. Teknik stereotype dan overlaymodel diterapkan untuk student model, semantic network diterapkan pada domain model dan IF-THEN rule diterapkan pada adaptation model. Sistem kuis adaptif ini menjadi sebuah sistem penilaian siswa berdasarkan kemampuan, pengetahuan dan preferensi dari masing-masing peserta didik.Kata kunci : Kuis online, adaptif, student model, domain model, adaptation model
Determinasi Faktor-Faktor Keamanan E-Banking Terhadap Kepercayaan dengan Pendekatan Technology Acceptance Model Qamaruzzaman, M. Haris; Surarso, Bayu; Suhartono, Suhartono
JURNAL SISTEM INFORMASI BISNIS Vol 1, No 2 (2011): Volume 1 Nomor 2 Tahun 2011
Publisher : Magister Sistem Informasi

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (369.956 KB) | DOI: 10.21456/vol1iss2pp64-68

Abstract

Safety  and  convenience  factor  is  important  for  confidence  in  the  use  of  e-banking.  This  study  aimed  to  investigate  the  factors determination  using  e-banking  approach  to  technology  acceptance  model,  and  analyze  the  determination  of  the  factors  the  use  of  ebanking  with  the  Technology  Acceptance  Model  approach.  Technology  Acceptance  Model  (TAM)  is  a  model  used  to  explain  the acceptance of the technology to be used by users of the technology. In the context of this study, TAM raises the safety factor and the factor of ease of use of e-banking to e-banking trust uses. This research is a field research (field research) with a quantitative approach that examines the issues being studied. Sampling method using random sampling technique as much as 100 respondents. Data collection techniques are the primary data by distributing questionnaires to the users e-banking. While the secondary data that other reports related to research. The data analysis techniques used include descriptive statistics and analysis phases of statistical regression analysis. These results prove that the safety factor has a significant and positive effect on user confidence in e-banking proven Ho is rejected and Ha accepted  with  a  significance  level  of  0.001  (<0.05),  while  the  convenience  factor  also  has  a  positive  and  significant  impact  on  user confidence in e-banking proven Ho is rejected and Ha accepted with a significance level of 0.000 (<0.05).Keywords: Factor Security; Ease; Confidence Use of e-banking; Technology Acceptance Model (TAM)
Sistem Aplikasi Penyelesaian Masalah Program Linier Standar Maksimal Berbasis Web dengan Keluaran Sesuai Produk Kemasan terkecil Sriwasito, Putut; Surarso, Bayu; Sarwoko, Eko Adi
JURNAL SISTEM INFORMASI BISNIS Vol 1, No 2 (2011): Volume 1 Nomor 2 Tahun 2011
Publisher : Magister Sistem Informasi

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (847.888 KB) | DOI: 10.21456/vol1iss2pp99-107

Abstract

Individual or cooperation  as the producer who produces more than one product always has a problem to determine the amount of each product, as well as the smallest packaging used to generate the maximum revenue but still meet the inventory of existing facilities. If the inventory of facilities and functions form a linear function of income then the problem is called the program a maximu m linear case, where all supplies are  limited means of the standard linear program is called maximal. Although the system has available a linear program to solve the problem,  the system is only owned by a limited circle, this system also   does not provide the smallest packaging option.  In general linear programming problem is solved by the simplex method with any number of real output in decimal or fractional format  mix.  Settlement  is  not  operational  because  the  manufacturers  do  not  always  able  to  make  the  smallest  product  packaging   in accordance with the unit on completion, to become operational, the results of this settlement may be rounded according to the smallest package selected. The problem of limited manufactures which have a system of linear program application can be overcome by providing a system similar to a web-based applications. This study compiled a web-based application system to solve a standard linear program that generates the maximum revenue that maximum use PHP software, data entered through the form and then taken by the POST method, then set up a matrix, carried out by iterating between the rows in the matrix operations that met the criteria optimal. By ch oosing the smallest packaging  which is used  0.25 units or 0.50  units, the system  check the number of products that  have  the smallest rounding according to the package selected, then the system prepare and present the inventory and revenue report.Keywords: Simplex metho; The smallest packaging; Web-based
Sistem Pendukung Keputusan Untuk Pengadaan Fasilitas Hotel Menggunakan Metode TOPSIS Hendartie, Susi; Surarso, Bayu; Noranita, Beta
JURNAL SISTEM INFORMASI BISNIS Vol 1, No 3 (2011): Volume 1 Nomor 3 Tahun 2011
Publisher : Magister Sistem Informasi

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (843.954 KB) | DOI: 10.21456/vol1iss3pp143-152

Abstract

The development of hotel business to make consumers more critical to choose a hotel products and services. If the hotel facilities more complete, so interest of the consumer is higher to choose the hotel. This  research study intend to build a decision support system for the procurement of hotel facilities with TOPSIS method. This method uses the six alternative form of the data; hotel rooms (guest  room), karaoke, gift shop, a gym, spa and travel corner (travel tour information) and data of some criteria. This method was chosen because it is based on the best alternative concept, was not only has the shortest distance from the positive ideal solution, but also has  the longest distance  from  the  negative  ideal  solution.  TOPSIS  calculations  systems  have  been  done  the  comparison  of  final  value  using  excell calculation. Calculations that used in this research study is simple and produces alternative hotel rooms (guest room) with t he highest ranking as the ideal solution. TOPSIS method facilitates decision-makers in choosing the best alternative for the procurement of hotel facilities.Keywords : Decision support system; Hotel facilities; TOPSIS