Claim Missing Document
Check
Articles

Found 4 Documents
Search

Workshop Penggunaan Media Pembelajaran Berbasis Sampah dan Barang Bekas Bagi Guru MIN TTU Hermina Disnawati; Farly Oktriany Haning
Bakti Cendana Vol 2 No 2 (2019): Bakti Cendana: Jurnal Pengabdian Masyarakat
Publisher : LPPM Universitas Timor

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (198.992 KB) | DOI: 10.32938/bc.2.2.2019.38-44

Abstract

The main problems in primary school of MIN TTU-Kefamenanu were: (i) the unavailability of mathematics manipulatives for helping teacher and students learn meaningfully; (ii) there has never been a workshop about mathematics manipulatives. The method that used in this workshop : lectures, demonstration, direct practices, discussion, and assignment. The manipulatives that are used are Numeral Ruler, Positives-Negatives Cards, LCM and GCF Puzzle, Magic Square, Canadian Multiplication, Congklak , Cayley Tables, Math Snake-Ladders Game, Hanoi Tower and Tangram. All of these manipulatives were made from garbage and used goods. The workshop held in 3 days which was the first day focus on teachers and the next two days was focus on practice of using manipulatives which involved students grade 4th, 5th and 6th. The results from questionnaire showed that i) 33.33% of participants strongly agreed and 66.67% of workshop participants agreed that the workshop material was well organized and the workshop content appropriate with curriculum in elementary schools, the manipulatives was interesting for students and helping them to learn while playing; ii) 80% of participants agreed and 20% strongly agreed that the practice guidelines with worksheets was well understood.
Workshop PMRI: Solusi Alternatif Mengatasi Miskonsepsi Guru Sekolah Dasar di Daerah Terpencil Hermina Disnawati; Farly Oktriany Haning
Prosiding Konferensi Nasional Penelitian Matematika dan Pembelajarannya 2018: Prosiding Konferensi Nasional Penelitian Matematika dan Pembelajarannya
Publisher : Universitas Muhammadiyah Surakarta

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

Abstract

Penelitian ini bertujuan untuk meningkatkan kompetensi profesional guru dengan meminimalkan miskonsepsi yang sering terjadi dalam pembelajaran matematika di sekolah dasar melalui implementasi workshop PMRI. Workshop dilaksanakan di SDN Suspini Desa Subun Tualele Kecamatan Insana Barat Kabupaten Timor Tengah Utara dengan melibatkan 11 orang guru kelas. Data diolah dengan menggunakan metode deskriptif kualitatif. Hasil penelitian menunjukkan bahwa workshop PMRI telah memberikan wawasan dan motivasi baru bagi para guru khususnya tentang pendekatan PMRI dan implementasinya dalam pemebelajaran di sekolah. Telah terjadi peningkatan pemahaman para guru tentang hirarki segi empat beserta sifat-sifatnya dan berbagai bentuk jajar genjang. Pada awalnya mereka banyak mengalami miskonsepsi dimana hanya mengetahui bahwa segi empat itu pasti persegi dan jajargenjang hanya memiliki satu bentuk saja. Namun dengan workshop PMRI pemahaman mereka semakin komperhensif yang ditandai dengan hasil post test yang meningkat dibandingkan pre test.
Kestabilan Model Petri Net pada Sistem Antrian Bank Menggunakan Metode Lyapunov Suci Rahmawati; Farly Oktriany Haning; Dian Yuliati; Windy Lestari
SAINTIFIK Vol 9 No 1 (2023): Saintifik: Jurnal Matematika, Sains, dan Pembelajarannya
Publisher : Universitas Sulawesi Barat

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.31605/saintifik.v9i1.418

Abstract

Penelitian ini mengembangkan dari hasil penelitian tentang pemodelan sistem antrian di salah satu cabang bank x dengan menggunakan coloured petri nets. Penelitian sebelumnya memutuhkan waktu yang cukup lama untuk memperoleh lama waktu pelayanan untuk digunakan sebagai validasi model tersebut. Pada penelitian ini akan dikonstruksi model sistem antrian yang sama dengan penelitian sebelumnya menggunakan media pemodelan yang berbeda yang lebih sederhana namun mampu merepresentasikan keadaan dan alur sistem yang sama seperti pada penelitian sebelumnya. Dalam penelitian ini akan dikonstruksi model sistem antrian bank menggunkan Petri Net. Selanjutnya akan dianalisa kestabilan dari model Petri Net pada sistem antrian bank menggunakan kestabilan Lyaunov yang berkenaan denga Petri Net. Hasil analisis kestabilan model sistem yang diperoleh pada penelitian ini menunjukkan bahwa model yang dibentuk menggunakan Petri Net merupakan model yang tidak stabil dan tidak dapat distabilkan. Model tidak stabil disebabkan oleh adanya transisi yang bersifat always enable.
Analisis Coverability Tree Petri Net Sistem Antrian Loket Pendaftaran Rumah Sakit X Di Kota Kupang Farly Oktriany Haning; Maria Lobo; Suci Rahmawati; Elisabeth Brielin Sinu
RANGE: Jurnal Pendidikan Matematika Vol 4 No 2 (2023): RANGE Januari 2023
Publisher : Pendidikan Matematika UNIMOR

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.32938/jpm.v4i2.3753

Abstract

Model petri net dari sistem antrian di loket pendaftaran pasian pada suatu rumah sakit di Kota Kupang telah dikonstruksi. Analisis coverability tree dari petri net tersebut perlu dilakukan untuk melihat apakah sistem yang telah dibangun sesuai dengan kenyataan dan dapat terus berlangsung (liveness) atau dapat terjadi deadlocks. Adapun langkah-langkah penelitian ini dimulai dengan melakukan studi literatur terkait analisis petri net dan pengamatan alur layanan pada loket pendaftaran pasien. Selanjutnya, membentuk petri net dari alur layanan menggunakan bantuan software PIPE.V.4.3.2.0. Kemudian matriks incidence diperoleh dengan mengurangkan entri pada matriks representasi forward incidence ( ) dengan entri matriks backward incidence ( ) dari petri net. Matriks digunakan untuk analisis coverability tree dengan menggunakan vektor keadaan awal ( ) sebagai simpul pertama dari tree. Simpul berikutnya dihasilkan jika terdapat transisi enable yang di-fire. Keadaan awal merupakan vektor keadaan saat belum ada transisi yang di-fire. Dinamika petri net yang terjadi dimodelkan dalam coverability tree. Hasil yang diperoleh adalah tidak terjadi deadlocks pada sistem karena selalu ada transisi yang enable atau dapat di-fire yaitu transisi kedatangan pasien. Pada coverabilty tree yang dihasilkan, keadaan setelah pendaftaran selesai dilakukan sama dengan vektor keadaan awal.