Hasil pengembangan Perangkat lunak komputer yang telah dilakukan selama 2(dua) tahun terakhir periode Tahun 2015-2016 telah selesai dibuat sebuah model perangkat lunak pembelajaran dan pembuktian aljabar abstrak dan sudah dapat digunakan. Kemudian untuk melihat apakah model perangkat lunak ini bermanfaat bagi kemajuan pembelajaran dan dapat membantu para pemakai model perangkat lunak di bidang Aljabar Abstrak khususnya untuk pengujian/pembuktiannya seperti Ring Faktor, Sub Ring, Ring Polinom) berbasis OSP (Open Source Program), maka perlu dilakukan penelitian lanjutan. Penelitian lanjutan yang direncanakan adalah mengevaluasi hasil keluaran dari model perangkat lunak untuk pengujian/pembuktiannya seperti Ring Faktor, Sub Ring, Ring Polinom) dimaksud dibandingkan dengan hasil pengujian/pembuktian secara manual. Disamping itu evaluasi juga akan dilakukan dengan menggunakan model perangkat lunak tersebut oleh beberapa guru SMA bidang studi Matematika, mahasiswa dan pengguna lainnya yang terkait, kemudian memberikan masukan dan saran terhadap model perangkat lunak yang telah digunakan melalui angket dan observasi dalam rangka analisis manfaat terhadap model perangkat lunak yang telah dibuat.

Pembelajaran dan pembuktian, aljabar abstrak, open source program

• Drs. Ngarap Imanuel Manik, M.Kom.