Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Proceedings of KNASTIK Teknik dan Ilmu Komputer
Djoni Dwijono
Sistem Informasi Fakultas Teknologi Informasi Universitas Kristen Duta Wacana
Computer Science & IT

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

Found 2 Documents
Search
Journal : Proceedings of KNASTIK

 1 
TEKNIK BAWAH-ATAS UNTUK MEMPERMUDAH PENYELESAIAN DEDUKSI ALAMI DENGAN SISTEM GENTZEN Dwijono, Djoni
Proceedings of KNASTIK 2012
Publisher : Duta Wacana Christian University

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

Abstract

Natural Deduction settlement in the realm of propositional logic, normally resolvedthrough top-down techniques, which means that the deduction starts from an expressionthat has been given and or with the assumption, then the rules of certain inferenproduce the next process is called derivation. This method done continuously until thelogical expression to be proved as the results are really materialized.Top-downapproach has certain difficulties not easily solved the difficulty to find an expressionthat became the beginning of proof or of the assumptions used. The difficulty isattempted facilitated by the completion of proof is reversed by bottom-up techniques.Verification process should start from the proved to find beginning of the proof.Toexplain the process of bottom-up approach, in this paper will be given an example onone of the Natural Deduction proof by Gentzen system.
PEMBUKTIAN PADA DEDUKSI ALAMI DENGAN TEKNIK TABEL DAN TEKNIK GARIS HORISONTAL Dwijono, Djoni
Proceedings of KNASTIK 2010
Publisher : Duta Wacana Christian University

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

Abstract

Melakukan proses deduksi pada berbagai sistem deduksi alami, dan di sini adalah sistem Gentzen, dapat dilakukan dengan berbagai teknik atau cara. Semua teknik tersebut dapat menunjukkan proses deduksi yang dilakukan pada suatu sistem deduksi alami, tetapi setiap teknik tentu memiliki kelebihan dan kekurangan masing-masing.Pada makalah ini akan diperlihatkan dan dibahas proses deduksi yang dikerjakan melalui teknik tabel dan teknik garis horisontal, memperbandingkan dan menganalisis kelebihan dan kekurangan dari masing-masing teknik tersebut. Perbandingan tersebut meliputi kemudahan-kemudahan dan informasi-informasi yang diperoleh dari proses deduksi yang dilakukan. Berdasarkan hasil perbandingan tersebut, akan diperoleh teknik manakah yang sebaiknya digunakan untuk melakukan proses deduksi pada deduksi alami dengan Sistem Gentzen, dan sebenarnya juga dapat digunakan pada sistem deduksi alami lainnya.
Co-Authors