Article Per Year (5 Year)
p-Index From 2021 - 2026
4.331
P-Index
This Author published in this journals
All Journal International Journal of Electrical and Computer Engineering IAES International Journal of Artificial Intelligence (IJ-AI) BERKALA FISIKA Media Statistika Jurnal Masyarakat Informatika MATEMATIKA JURNAL SISTEM INFORMASI BISNIS Semantik Jurnal Ilmiah Kursor Jurnal Inovasi Teknologi Pendidikan Jurnal Teknologi Informasi dan Ilmu Komputer Jurnal Edukasi dan Penelitian Informatika (JEPIN) Register: Jurnal Ilmiah Teknologi Sistem Informasi Proceeding of the Electrical Engineering Computer Science and Informatics AKSIOMA Jurnal Teknologi dan Sistem Komputer Informatika Mulawarman: Jurnal Ilmiah Ilmu Komputer Jurnal RESTI (Rekayasa Sistem dan Teknologi Informasi) Jurnal Matematika: MANTIK Jurnal Penelitian Pendidikan IPA (JPPIPA) Kinetik: Game Technology, Information System, Computer Network, Computing, Electronics, and Control BAREKENG: Jurnal Ilmu Matematika dan Terapan Unisda Journal of Mathematics and Computer Science (UJMC) JTAM (Jurnal Teori dan Aplikasi Matematika) Jurnal Sisfokom (Sistem Informasi dan Komputer) Journal of Applied Data Sciences Journal of Soft Computing Exploration Interdisciplinary Social Studies Journal of Fundamental Mathematics and Applications (JFMA) Buletin Abdi Masyarakat (BAM) Prosiding Konferensi Nasional Penelitian Matematika dan Pembelajarannya Scientific Journal of Informatics
Bayu Surarso
Department Of Mathematics & Graduate School Of Information System
Agriculture, Biological Sciences & Forestry Biochemistry, Genetics & Molecular Biology Chemical Engineering, Chemistry & Bioengineering Chemistry Computer Science & IT Control & Systems Engineering Decision Sciences, Operations Research & Management Economics, Econometrics & Finance Education Electrical & Electronics Engineering Energy Engineering Environmental Science Languange, Linguistic, Communication & Media Materials Science & Nanotechnology Mathematics Mechanical Engineering Physics Public Health Social Sciences Transportation Other

Published : 66 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 10 Documents
Search
Journal : MATEMATIKA

 1 
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.  
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 (68.344 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.
PELABELAN GRACEFUL GENAP BARU PADA GRAF CmPn Ratnasari, Lucia; Surarso, Bayu; Utomo, Robertus Heri Soelistyo
MATEMATIKA Vol 17, No 2 (2014): Jurnal Matematika
Publisher : MATEMATIKA

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

Abstract

Pelabelan Graceful pada graf dengan q sisi merupakan pemetaan injektif   , yang mengakibatkan pemetaan , yang didefinisikan dengan  bersifat bijektif. Graf yang memenuhi pelabelan graceful disebut graf graceful. T. Mahalaksmi Senthil Kumar, T. Abarna Parthiban dan T. Vanadhi [4], membuktikan graf CmÈPn merupakan graf graceful genap untuk m ganjil yang memenuhi kondisi tertentu. Marry U dan Saranya D [2], membuktikan bahwa graf CmÈPn merupakan graf graceful genap untuk m genap yang memenuhi kondisi tertentu. Pelabelan graceful genap didefinisikan sebagai pemetaan injektif  yang mengakibatkan pemetaan , yang didefinisikan  bersifat bijektif.  Tetapi pada pembuktian [4] dan [2], syarat injektif dan bijektif fungsinya tidak terpenuhi. Artikel ini mendefinisikan kembali pelabelan graceful genap pada graf CmÈPn sehingga syarat injektif dan bijektif fungsinya terpenuhi.  
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 (13.373 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.  
ANALISIS KINERJA UNIT USAHA MENGGUNAKAN MODEL CCR (STUDI KASUS PADA APOTEK KIMIA FARMA SEMARANG) Rahmania, Laily; Farikhin, Farikhin; Surarso, Bayu
MATEMATIKA Vol 17, No 3 (2014): Jurnal Matematika
Publisher : MATEMATIKA

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

Abstract

Data envelopment analysis (DEA) is a non-parametric technique for performace evaluation. In DEA context, we know two model which are CCR model and BCC model. With these model we break all of decision making units (DMU) into two classess, efficiency DMU and inefficiency DMU. In this note, we discuss CCR model and its application to evaluate DMU’s on Kimia Farma Semarang. Further, we find that dual problem is better than primal problem to evaluate effiency DMU.
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 (36.611 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.
TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FLgc DAN FLw,gc Surarso, Bayu
MATEMATIKA Vol 10, No 2 (2007): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

It is well known that the cut elimination theorem does not hold for FLc dan FLw,c, neither for propositional level nor predicate level. On the other hand, it has been proved that for the propositional level the cut elimination theorem holds for FL with global contraction (FLgc), which is equivalent to FLc. Similar result is also shown for system FL with both weakening and global contraction rule (FLw,gc), which is equivalent to FLw,c. In the present paper we modify and develop the method used to prove the cut elimination for proportional logic FLgc to show that the cut elimination theorem even holds for the predicate logics FLgc dan FLw,gc.  
TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw Surarso, Bayu
MATEMATIKA Vol 11, No 1 (2008): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

In 1961 Maehara introduced a proof-theoretical method to prove the interpolation theorem for standard logics. By developing Maehara’s method, we can prove interpolation theorem for some non-standard logics, including the commutative predicate  logics  Fle dan Fle,w. In the present paper we show that by modifying Maehara’s method we can also prove the interpolation theorem for non-commutative predicate logics FL and FLw.
BILANGAN DOMINASI PERSEKITARAN PADA GRAF LENGKAP DAN GRAF BIPARTIT LENGKAP Ratnasari, Lucia; Surarso, Bayu; Harjito, Harjito; Maunah, Uun
MATEMATIKA Vol 20, No 1 (2017): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

Given graph  with set of vertex  and set of edge E. Set  subset of  is called domination set if every point in  is adjacent with at least one point in  in graph . The minimum cardinality of all set of domination graph  is called domination number. Let  be a subset of , set  is called a neighborhood set if  with   induced subgraph  of . The minimum cardinality of all the neighborhood set of graph  is called the neighborhood number. There are several types of neighborhood domination number depending on the parameters. In this paper we examine the transversal neighborhood domination number and global neighborhood domination number in complete graph and complete bipartite graph.
PENDEKATAN VALUE BILANGAN TRAPEZOIDAL FUZZY DALAM METODE MAGNITUDE Aulia, Lathifatul; Irawanto, Bambang; Surarso, Bayu
MATEMATIKA Vol 20, No 2 (2017): JURNAL MATEMATIKA
Publisher : MATEMATIKA

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

Abstract

Defuzzification is the process to transform fuzzy numbers into real numbers (crisp). There are some defuzzification methods which can be used to confirm the fuzzy numbers. However, different defuzzification methods produce different real numbers (crisp) too. In this paper, we discuss about Magnitude method, that is an approachment method which can be used in the defuzzification of trapezoidal fuzzy numbers. The defuzzification method  in the calculation considers average between the value of trapezoidal fuzzy numbers and the middle point of two defuzzifier trapezoidal fuzzy numbers
Co-Authors A. Nafis Haikal Adi Wibowo Adi Wibowo Agus Subagio Ahmad Abdul Chamid Ahmad Aviv Mahmudi Aldi Setiawan, Aldi Alfajri, Willy Bima Ali Bardadi Anak Agung Gede Sugianthara Andi Setiabudi, Nur Antariksa, Muhammad Deagama Surya Arief Hidayat Aris Puji Widodo Aris Sugiharto Aslam Fatkhudin Aulia, Lathifatul Badieah Assegaf Bambang Irawanto Beta Noranita Budi Warsito Budi Warsito Budi Warsito Che Pee, Ahmad Naim Dedy Kurniadi Dinar Mutiara Kusumo Nugraheni Dwi Putri Handayani Dwiyanasari, Desty Edwin Setiawan Eko Adi Sarwoko Eko Sediyono Etna Vianita Fajar Nugraha Fra Siskus Dian Arianto Ghufron Ghufron Harjito - Henny Indriyawati Imam Tahyudin Indah Jumawanti Irfan Santiko I’tishom Al Khoiry Jatmiko Endro Suseno Jumawanti, Indah Jumawanti, Indah Juwanda, Farikhin Khoerunnisa, Selvi Fitria Khusnah, Miftakhul Laily Rahmania, Laily Lili Rusdiana, Lili LM Fajar Israwan, LM Fajar Lucia Ratnasari Masruroh, Fitriana Maunah, Uun Migunani Migunani Muhammad Haris Qamaruzzaman Muhammad Nasrullah Muhammad Sam'an Mustafid Mustafid Mustaqim Mustaqim Mustaqim Mustaqim, Mustaqim Nugraheni, Dinar Oky Dwi Nurhayati Pukky Tetralian Bantining Ngastiti Puspita, Yuanita Candra Putri, Aina Latifa Riyana Putri, Nitami Lestari Putut Sriwasito Rachmat Gernowo Ragil Saputra Ragil Saputra Rahmat Gernowo Rahmawati, Nurhita Ratri Wulandari Rezki Kurniati, Rezki Robertus Heri Sulistyo Utomo Saputra, Ragil Satriani, Rineka Brylian Akbar Siti Alfiatur Rohmaniah St. Budi Waluya Sugiyamto Sugiyamto, Sugiyamto Sulastri Daruni Sulistiyo, Budi Suryono Suryono Suryono Suryono Suryono, Suryono Susi Hendartie Susilo Hariyanto sutimin sutimin Sutrisno, Sutrisno Sutrisno, Sutrisno Syibli, Mohammad T Indriastuti . Titi Udjiani SRRM Tri Retnaningsih Soeprobowati Uswatun Khasanah Vianita, Etna Wahyul Amien Syafei Wicaksono, Mahad Zainal Arifin Hasibuan