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 adm. jakarta barat,
Dki jakarta
INDONESIA
Teknik dan Ilmu Komputer
Published by Universitas Kristen Krida Wacana
ISSN : -     EISSN : -     DOI : -
Core Subject : Science,
Computer Science & IT
Arjuna Subject : -
Articles 10 Documents
 1 
Search results for , issue " VOL. 7 NO. 25 Januari-Maret 2018" : 10 Documents clear
Analisis Pengujian S-Parameter pada Perangkat Duplexer dan Kabel Coaxial dengan Frekuensi 1.800 MHz Hutapea, Herwin; Santoso, Kukuh Aris
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakSebuah jalur transmisi maupun rangkaian listrik dalam sebuah jaringan dapat berupa rangkaian resistor, sebuah rangkaian jalur transmisi ataupun terdiri dari rangkaian terintegrasi dengan kompleksitas yang lebih rumit. Rangkaian-rangkaian tersebut mengandung informasi tertentu yang dapat difungsikan sebagai pendukung perangkat lainnya dalam sebuah jaringan. Sebagai contoh sebuah duplexer, di dalam jaringan telekomunikasi difungsikan sebagai perangkat pendukung pada sebuah radio base station (BTS). Perangkat duplexer ini diandaikan sebagai kotak hitam, dimana rangkaian maupun cara kerja secara spesifikasi tidak diketahui. Duplexer adalah perangkat yang menghubungkan antara jalur antena dengan perangkat Carrier (perangkat yang memproses modulasi dan demodulasi). Untuk mengetahui parameter-parameter ataupun karakteristik dari kotak hitam tersebut, metode yang efektif digunakan adalah pengukuran dengan metode S-Parameter (scattering parameters). Perangkat yang akan diuji pada penelitian ini dibatasi terhadap satu produk saja dengan model dan desain yang sama, dengan frekuensi kerja 1.800 MHz.Kata Kunci: S-Parameter, Duplexer, transmission lineAbstrakA transmission line, as well as an electrical circuit in a network may consist of a series of resistors, a series of transmission lines or may be composed of a more complex integrated circuits. They are composed of certain information that functions as a support device for other devices in the network. For example, a duplexer, in a telecommunication network it functions as a support device on a radio base station (BTS). This duplexer device functions as the black box, in which its circuit and the function of its specifications are unknown. Duplexer is a device that connects antenna paths to carrier devices (devices that process modulation and demodulation). In order to discover the parameters or characteristics of the black box, measurement using S-Parameter method (scattering parameters) was an effective one. The device to be tested in this study is limited to one product that has the same model and design, and works at a frequency of 1800MHz.Keywords: transmission, duplexer, S-ParameterTanggal Terima Naskah : 05 Oktober 2017Tanggal Persetujuan Naskah : 20 November 2017
Aplikasi Diagnosa Penyakit Jantung dan Sistem Pelacakan Rumah Ssakit Menggunakan Alogritma Fuzzy-Tsukamoto dan Edsger Dijkstra Berbasis Android untuk Masyarakat Indonesia Sari, Azani Cempaka; Nindito, Hendro; Maryani, Maryani
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakAdapun penelitian ini merancang aplikasi diagnosa penyakit jantung dan sistem pelacakan rumah sakit berbasis android untuk masyarakat Indonesia. Hasil penelitian ini dapat memberikan gambaran dan penejelasan kepada user dalam mendiagnosa lebih dini penyakit jantung berdasarkan gejala-gejala atau penyebab yang ada dengan cepat dan tepat. Selain itu, aplikasi ini mempermudah user dalam memberikan gambaran mengenai informasi kesehatan penyakit jantung yang dialami dan memberikan pengetahuan tentang jenis-jenis penyakit jantung dan gejala, penyebab disertai tindakan yang harus diambil untuk pencegahannya sebagai langkah awal dalam mengantisipasi penyakit jantung. Di sisi lain, aplikasi ini juga dilengkapi fitur-fitur lainnya, seperti artikel, video, dan info rumah sakit terkait dan terdekat yang dapat dilacak oleh user.Kata Kunci: aplikasi, diagnosa, jantung, pelacakan, AndroidAbstract This study aims to design android-based heart disease diagnosis application and hospital tracking system for Indonesian community. The result of this study can provide a quick and precise overview and explanation about early diagnosis of heart disease based on the existing symptoms or causes to the users. In addition, it also provides an overview on the heart disease experienced and provides knowledge about the types of heart disease, the symptoms, the causes along with actions to take for prevention. In addition, this application also features articles, videos, and partner hospitals close to the user’s location.Keywords: Application, Diagnosis, Heart, Tracking, Android, Society, IndonesiaTanggal Terima Naskah : 07 Juni 2017Tanggal Persetujuan Naskah : 20 Oktober 2017
Implementasi Sistem Gerak Holonomic pada Robot KRSBI Beroda 2017 Muliady, Muliady; Arisandy, Gerry
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPada Kontes Robot Indonesia 2017 divisi Kontes Robot Sepak Bola Indonesia (KRSBI) Beroda, robot harus dapat bermain bola di lapangan dan sebanyak mungkin memasukkan bola ke dalam gawang. Permasalahan manuver pada robot beroda adalah tuning dan pengontrolan pergerakan robot yang tidak efisien jika menggunakan konfigurasi roda konvensional, yaitu terdapat beberapa keterbatasan pergerakan. Pada penelitian ini diimplementasikan sistem gerak holonomic pada robot KRSBI Beroda untuk mengatasi permasalahan tersebut. Mecanum drive merupakan sistem gerak berbasis holonomic yang digunakan. Gerakan mecanum drive, yaitu gerak ke kiri, kanan, maju, mundur, dan diagonal tanpa mengubah orientasi robot dapat diperoleh dengan menggunakan persamaan inverse kinematic robot mecanum beroda empat. Komponen yang digunakan adalah sensor Vex Integrated Encoder, aktuator Vex 2-Wire Motor, dan kontroler Arduino Mega 2560. Sistem gerak holonomic menggunakan mecanum drive berhasil diimplementasikan. Persamaan inverse kinematic dapat digunakan untuk menghitung kecepatan sudut putaran masing-masing motor. Keberhasilan mendekati bola selain pada posisi bola di belakang robot, yaitu sebesar 40-100%. Waktu tempuh robot yang menggunakan roda mecanum lebih kecil dibandingkan dengan roda konvensional.Kata kunci: holonomic, mecanum drive, inverse kinematic, sensor vex integrated encoderAbstractIn order to participate in Indonesian Soccer Robot Contest 2017 (KRSBI), Wheeled Robot Field, a robot needs to be able to play soccer and score a goal. In mobile robot field, the arising problems are tuning and motion controlling, especially the less good motion. Problems encountered when using conventional wheel configuration are limitations of movement. In this research, holonomic motion system was implemented to overcome those limitations. Mecanum drive is a motion system based on holonomic motion. Mecanum drive motion includes movements to the left, right, front, back, and diagonals without changing its orientation. The mecanum drive motion could be obtained by using inverse kinematics formulae for four wheeled mecanum robot. Devices used including Vex Integrated Encoder sensor, 2-Wire Motor actuator, and Arduino Mega 2560 controller. Holonomic motion systems using mecanum drive was successfully implemented. Inverse kinematics formulae could be used to calculate the speed of each motor. Robots using mecanum wheel had less travel time compared to robots using conventional wheel.Keywords: holonomic, mecanum drive, inverse kinematic
Sistem Aplikasi Helpdesk Online Berbasis Web pada PT XYZ Darmawan, Dion; Senjaya, Wilsen
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPada penelitian ini dirancang sistem aplikasi helpdesk online berbasis web, dimana PT XYZ saat ini masih menggunakan email dan telepon dalam menangani berbagai macam keluhan. Dengan semakin banyaknya keluhan yang terjadi setiap harinya, maka penggunaan email dan telepon dinilai kurang efisien dan efektif dalam menangani keluhan–keluhan tersebut karena akan semakin sulit untuk melakukan kontrol mengenai keluhan yang dibuat. Metode penelitian yang digunakan meliputi metode analisis (studi lapangan dan studi literatur) dan metode perancangan program aplikasi dengan menggunakan spiral. Hasil yang dicapai adalah implementasi sistem aplikasi helpdesk online yang dapat melakukan proses penanganan keluhan user cabang kepada staf IT Support sehingga menjadi lebih efisien, terkontrol, dan terintegrasi, memberikan kemudahan bagi Manager IT Support dalam memantau perkembangan penanganan keluhan user yang diterima bawahannya dan melihat performa kinerja staf yang dibawahinya dalam kurun waktu tertentu.Kata Kunci: aplikasi, helpdesk online, webAbstractThe purpose of this study is to analyze and design a web-based helpdesk application system, in this case PT. XYZ, which still uses email and phone in handling various complaints. The increasing number of complaints received every day, the use of email and telephone is considered less efficient and effective in dealing with complaints, since it will be more difficult to monitor the complaints. The research applied the method of analysis (field study and literature study) and spiral method in the application program design. The result was the implementation of online helpdesk application system that performs a more efficient, controlled and integrated process of handling complaints from branch user to the IT Support staff, providing ease for the IT Support Manager to monitor the progress of handling user complaints received by subordinates, and enabling them to see the performance of subordinates in a certain period of time.Keywords: application, online helpdesk, webTanggal Terima Naskah : 08 Juni 2017Tanggal Persetujuan Naskah : 15 November 2017
Minimalissasi Produk Cacat Proses Injection Molding PT XYZ dengan Menggunakan Quality Filter Mapping (Studi Kasus pada Sebuah Perusahaan Plastik di Cikarang) Isabela, Desi; Ginting, Meriastuti
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Abstrak Untuk meminimalkan kerugian akibat produk yang cacat, perusahaan harus menghasilkan produk berkualitas tinggi dan memenuhi kebutuhan konsumen dalam melakukan kegiatan produksi. Untuk itu perusahaan perlu menerapkan manajemen mutu dalam produksi. Penelitian ini bertujuan untuk meminimalisasi produk yang cacat dengan menggunakan metode Value Stream Mapping (VSM) dengan alat Quality Filter Mapping (QFM). Silver adalah jenis produk cacat dengan persentase tertinggi. Proses produksi yang menyebabkan produk cacat paling tinggi adalah proses persiapan material. Perbaikan proses menunjukkan bahwa produk cacat dan biaya kualitas menurun sekitar 33,88%. Kata kunci: Produk Cacat, Value Stream Mapping (VSM), Quality Filter Mapping (QFM), Biaya MutuAbstractIn order to minimize the loss suffered due to defective products, the manufacturer has to produce a high quality product and fulfill the need of consumer during the production process. Therefore, the manufacturer needs to implement quality management in production. This study aims to reduce defective products by applying Value Stream Mapping (VSM) method using Quality Filter Mapping (QFM) device. Silver has the highest possibility to be defective. The production process that causes defective products the highest is during the material preparation. After the improvement applied in the process, the number of defective product and the cost of quality decreased by 33.88%.Keywords: Defective Product, Value Stream Mapping (VSM), Quality Filter Mapping (QFM), Costof QualityTanggal Terima Naskah : 25 September 2017Tanggal Persetujuan Naskah : 13 November 2017
Implementasi Cloud Messaging pada Aplikasi Pengembalian Buku Perpustakaan Berbaisi Mobile (Studi Kasus Ukrida) Chandra, Ferry; Benisius, Benisius
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakSeiring dengan berkembangnya teknologi, kebutuhan akan perangkat komunikasi yang praktis dan mobile juga semakin meningkat. Dengan berbagai kelebihannya smartphone saat ini telah menjadi perangkat komunikasi yang populer. Salah satu fitur yang ditawarkan oleh smartphone adalah cloud messaging. Cloud messaging adalah layanan gratis dari Google yang memungkinkan dilakukannya pengiriman data dari server aplikasi pihak ketiga ke aplikasinya sendiri. Untuknya cloud messaging dapat berfungsi sebagai pengingat. Penelitian ini bertujuan untuk mengimplementasikan cloud messaging pada aplikasi android perpustakaan sehingga dapat mengingatkan batas waktu pengembalian buku kepada user. Aplikasi ini dibuat dengan menggunakan teknologi web untuk pengambilan data yang ada di server dan Android Studio dalam pengembangan aplikasi Androidnya. Hasil pengujian terhadap aplikasi ini dilakukan melalui uji coba. Hasil yang ditemukan adalah cloud messaging dapat diimplementasikan pada aplikasi pengingat pengembalian buku perpustakaan.Kata kunci: Android, cloud messaging, perpustakaanAbstractAlong with the development of technology, the need for practical and mobile communication devices is also increasing. With the advantages provided, todays smartphone has become a popular communication device. One feature offered by smartphones is cloud messaging. Cloud messaging is a free service from Google that enables the data transmission from third party app servers to the application. For it, cloud messaging can serve as a reminder. This research aims to implement cloud messaging in android-based library application so it can remind the user when the library book needs to be returned. This app was created using web technology for retrieving existing data on server and Android Studio to develop it’s the Android app. The application testing was done through self-test. The results showed cloud messaging could be implemented in the library book reminder application.Keywords: Android, cloud messaging, libraryTanggal Terima Naskah : 30 Oktober 2017Tanggal Persetujuan Naskah : 30 November 2017
Pengendalian Persediaan dengan Menggunakan Metode Economic Oreder Quantity dan Silver Meal Algorithm (Studi Kasus PT SAI) Tannady, Hendy; Filbert, Kenrick
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPT Sari Ayu Indonesia (SAI) merupakan perusahaan yang bergerak pada bidang distribusi. Setiap perusahaan distributor, baik besar, menengah, maupun kecil memiliki persediaan dalam jumlah yang berbeda-beda. Tanpa adanya persediaan, perusahaan akan dihadapkan pada suatu risiko dimana perusahaan akan mengalami kendala karena tidak dapat memenuhi permintaan dari pelanggan. Economic Order Quantity (EOQ) adalah salah satu metode yang paling mudah digunakan dalam penentuan jumlah kuantitas pemesanan yang optimal. Metode Heuristic Silver Meal dapat melakukan perencanaan pengendalian persediaan yang optimal sehingga dapat menjamin kebutuhan dan kelancaran kegiatan produksi perusahaan dalam kuantitas dengan total biaya persediaan minimum. Fokus dalam penelitian ini adalah pengendalian persediaan distributor cabang PT SAI pada bulan Januari dan Februari 2017. Pengolahan data dalam penelitian ini menggunakan metode EOQ dan Silver Meal. Jumlah pemesanan yang ekonomis dengan menggunakan metode EOQ pada bulan januari 2017 adalah 7.230, 10.604, 12.050, dan 12.291 pcs, pada bulan februari 2017 didapatkan jumlah pemesanan yang ekonomis sebesar 11.284, 4.774, 10.633, 7.378 pcs. Jumlah pemesanan yang ekonomis untuk metode Silver Meal pada bulan Januari dan Februari 2017 adalah mengikuti permintaan sebesar 7.163, 10.454, 12.064, 12.286, 11.488, 4.738, 10.464, dan 7.454 pcs. Pada bulan Januari 2017, didapatkan biaya penyimpanan sebesar Rp 974.000,00. Pada bulan Februari 2017 didapatkan biaya penyimpanan sebesar Rp 922.000,00. Dengan metode Silver Meal, bulan Januari dan Februari 2017 menunjukkan jika tidak terdapat inventori, besar biaya persediaan adalah Rp 0. Total biaya dengan menggunakan metode EOQ pada bulan Januari 2017 sebesar Rp 996.000,00. Untuk bulan Februari 2017, diperoleh total biaya sebesar Rp 944.000,00. Dengan menggunakan metode silver meal, diperoleh total biaya bulan Januari 2017 sebesar Rp 22.000,00. Pada bulan Februari 2017 total biaya yang didapat sebesar Rp 22.000,00. Berdasarkan total biaya, dapat ditarik kesimpulan bahwa pada kasus ini metode yang tepat adalah menggunakan metode Silver Meal.Kata Kunci: EOQ, Silver Meal, Pengendalian Persediaan, Permintaan.AbstractPT Sari Ayu Indonesia (SAI) is a company engaged in distribution process. Distributor company, either large, medium or small one, has different inventory. Without inventory, the company will be at the risk of being unable to meet the customer’s demands. Economic Order Quantity (EOQ) is one of the easiest methods used in determining the optimal order quantity. The Silver Meal Heuristic method can perform optimal inventory control planning, therefore, it ensures the needs and the ease
Perbandingan Akurasi Model Regresi Logistik umtuk Prediksi Kategori IP Mahasiswa Jalur Prestasi dengan Non Jalur Prestasi Santosa, R Gunawan; Crismanto, Antonius Rachmat
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPenelitian ini membandingkan akurasi prediksi menggunakan regresi logistik terhadap kategori Indeks Prestasi (IP) semester pertama (IPS1) mahasiswa jalur prestasi dengan mahasiswa non jalur prestasi di Fakultas Teknologi Informasi (FTI) Universitas Kristen Duta Wacana (UKDW). Variabel dependen pada jalur prestasi adalah kategori IP semester pertama sedangkan variabel independen yang digunakan adalah lokasi, kategori, status SMA, dan level tes kemampuan bahasa Inggris. Variabel untuk model regresi logistik untuk non jalur prestasi adalah sama seperti jalur prestasi namun ditambah empat variabel lain, yaitu hasil tes nilai numerik, verbal, spasial, dan analogi. Sebagai dataset untuk membuat model regresi logistik digunakan data mahasiswa FTI angkatan 2008-2015, sedangkan data ujinya menggunakan data angkatan 2016. Ketepatan atau akurasi kedua model dalam memprediksi tersebut diukur dengan menggunakan tabel Crosstab. Penelitian ini menghasilkan delapan model regresi logistik, yaitu model A-H. Nilai akurasi tertinggi untuk jalur prestasi adalah model F (dataset 2008-2013) dengan akurasi prediksi 73,73%. Hasil akurasi tertinggi untuk jalur non prestasi adalah dengan model D (dataset 2008-2011) dan E (dataset 2008-2012) dengan akurasi prediksi 56,76%. Dilihat dari segi akurasinya, model yang dihasilkan lebih baik digunakan untuk memprediksi jalur prestasi daripada jalur non prestasi.Kata Kunci: regresi logistik, prediksi, jalur prestasi, jalur non prestasi.AbstractThis research compares accuracy of prediction of Grade Point Average (GPA) of the first semester students who were admitted through Achievement Admission (AA) and Regular Admission (RA) using logistic regression in Faculty of Information Technology, Universitas Kristen Duta Wacana (UKDW), Yogyakarta. The dependent variables of logistic regression on AA was the category of first semester GPA, meanwhile the independent variables were location, category, high school status, and level of English proficiency. The variables of logistic regression on RA were the same as on AA along with four additional variables: the results of numeric, verbal, spatial and analogy test. The dataset used to create logistic regression model were FTI students, 2008 – 2015 batch, while the testing data were FTI students 2016 batch. This research produced 8 logistics regression model for AA and RA, model A – H. The accuracy of prediction was measured by using Crosstab table. The Crosstab table showed that the highest accuracy of AA was model F (dataset 2008-2013 with accuracy 73.73%), while the highest accuracy of RA was model D (dataset 2008-2011) and E (dataset 2008-2012) with accuracy 56.76%. From these accuracy results, our model was better to predict AA rather than RA
Perancang Aplikasi Chemistor:Chemistry Tutorial dengan Menggunakan WEBGL dan HTML5 Ronald, Angry; Yesmaya, Violitta; S, Timothi Richard; Steven, Dicky kalasen J
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakKimia merupakan salah satu cabang ilmu fisik yang mempelajari mengenai susunan, sifat, dan perubahan materi yang ada pada dunia ini. Pembelajaran Kimia dilaksanakan untuk menumbuhkan kemampuan berpikir, bekerja, dan bersikap ilmiah, serta mengkomunikasikannya sebagai aspek penting dalam hidup. Tujuan dari penelitian ini adalah agar siswa dapat belajar secara mandiri melalui media alternatif, seperti perangkat ajar kimia berbasis sistem multimedia yang berisi materi kimia. Penelitian yang ada disertai dengan fitur animasi simulasi 3D, dilengkapi dengan fitur-fitur latihan kuis untuk siswa sehingga mudah memahami materi yang disampaikan. Metode perancangan aplikasi yang digunakan adalah metode waterfall. Metode waterfall dilakukan dengan lima tahap proses yang terdiri dari tahap communication, planning, modeling, construction, dan deployment. Hasil akhir dari penelitian ini adalah aplikasi perangkat ajar kimia dengan menggunakan WebGL berbasis sistem multimedia yang dibuat menggunakan HTML5, dilengkapi dengan fitur animasi 3D dengan. Kesimpulan yang didapat adalah aplikasi ini dapat membantu siswa dalam kegiatan belajar, khususnya pada mata pelajaran kimia.Kata kunci: Multimedia, waterfall, kimia, WebGL, HTML5.AbstractChemistry is one branch of physical science that studies the composition, nature and changes of matter existing in this world. Chemistry Learning is conducted to foster the ability to think, to work and to be scientific and to communicate it as an important aspect in life. The purpose of this study is to facilitate students learn independently through alternative media such as teaching tools based on chemical multimedia systems that provides information on chemistry. The existing research would be accompanied by a 3D simulation animation that featured quiz exercises for students to easily understand the material delivered. Application design method used was waterfall method. Waterfall method was applied within five stages process consisting of communication, planning, modeling, construction and deployment. The result of this research was the application of chemical teaching devices using WebGL-based multimedia system created using HTML5, which featured 3D animation. The study showed this application could help students in learning activities, especially on chemistry subjects.Keywords: Multimedia, waterfall, chemistry, WebGL, HTML5
Heuristik untuk Mempercepat Pembuktian Validitas Argumen dengan Tablo Semantik di Logika Predikat Dwijono, Djoni
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPembuktian validitas suatu argumen dengan menggunakan Tablo Semantik pada ranah logika predikat dapat dilakukan dengan memakai aturan-aturannya. Namun jika mengikuti aturannya, maka jalan pembuktiannya dapat menjadi panjang dan melebar karena aturan tersebut tidak memberi pedoman pengambilan bentuk logika yang diambil untuk dijalankan sesuai aturannya. Pengambilan aturan tersebut jika diberi tambahan heuristik-heuristik yang sesuai, maka pembuktian validitas argumen dapat menjadi lebih pendek.Kata Kunci: Heuristik, Tablo Semantik, Logika Predikat, Validitas ArgumenAbstractThe validity of an argument using the Semantic Tableaux in predicate logic can be verified by applying the rules. But, if the rules are followed, the verification path will be longer and wider since the rule does not provide guidance to choose which logic form to follow according to the rules. Taking these rules in addition to appropriate heuristic methods, can shorten the argument validity verification.Keywords: Heuristic Method, Semantic Tableaux, Predicate Logic, Argument ValidityTanggal Terima Naskah : 29 Mei 2017Tanggal Persetujuan Naskah : 17 Oktober 2017

Page 1 of 1 | Total Record : 10

 1 

Filter by Year

2018 2018


Reset
Filter By Issues
All Issue VOL. 7 NO. 27 JULI-SEPTEMBER 2018 VOL. 7 NO. 26 APRIL-JUNI 2018 VOL. 7 NO. 25 Januari-Maret 2018 Vol. 06 No. 24 Oktober - Desember 2017 Vol. 06 No. 23 Juli-September 2017 Vol. 06 No. 22 April - Juni 2017 Vol. 06 No. 21 Januari - Maret 2017 Vol. 05 No. 20 Oktober - Desember 2016 Vol. 05 No. 19 Juli - September 2016 vol. 05 no. 18 April - Juni 2016 vol. 05 no. 17 januari-maret 2016 Vol. 4 No. 16 Oktober - Desember 2015 Vol. 4 No. 15 Juli - September 2015 Vol. 4 No. 14 April - Juni 2015 Vol. 4 No. 13 Januari - Maret 2015 Vol. 3 No. 12 Oktober-Desember 2014 Vol. 3 No. 11 Juli-September 2014 Vol. 03 No. 10 April-Juni 2014 vol. 03 no. 09 Januari-Maret 2014 vol. 2 no. 8 Oktober-Desember 2013 vol. 2 no. 7 Juli-September 2013 vol. 2 no. 6 April-Juni 2013 vol. 2 no. 5 Januari-Maret 2013 vol. 1 no. 4 Oktober-Desember 2012 vol. 1 no. 3 July-September 2012 vol. 1 no. 2 April-Juni 2012 vol. 1 no. 1 Januari-Maret 2012 More Issue