Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Jurnal Fisika Indonesia
Arief Hermanto
Departemen Fisika, FMIPA – UGM
Astronomy Earth & Planetary Sciences Education Energy Physics

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

Found 1 Documents
Search

 1 
Komputasi Simbolik dengan REDUCE untuk Menentukan Validasi Silogisme dan Aplikasinya dalam Fisika Arief Hermanto
Jurnal Fisika Indonesia Vol 23, No 1 (2019)
Publisher : Department of Physics Universitas Gadjah Mada

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.22146/jfi.v23i1.44020

Abstract

Silogisme adalah sebuah bentuk argumentasi dalam logika. Penelitian ini bertujuan untuk menghasilkan program komputer dalam komputasi simbolik untuk menentukan validasi silogisme dan kemudian diaplikasikan dalam Fisika. Bahasa yang dipilih adalah REDUCE berdasarkan berbagai pertimbangan, salah satu di antaranya adalah karena REDUCE adalah bahasa yang open source. Pertimbangan lain adalah bahwa REDUCE sejak awalnya memang diciptakan untuk digunakan dalam fisika sehingga gaya bahasanya dirasakan lebih cocok untuk para fisikawan.
Co-Authors