Claim Missing Document
Check
Articles

Found 2 Documents
Search

Pengembangan Desa Cinta Statistik Sebagai Upaya Percepatan Penguatan Statistik Sektoral di Desa Selatbaru SITI SUHAILA; Anne Mudya Yolanda; Rustam Efendi; Sukamto; Musraini M; Syamsudhuha; Gustriza Erda; Yenita Roza; Gumanti; M. SYIFA RAMADHAN; Althoff Hibban; Dimas Abyan Fatkhin Al-Aswad; Fandi Gusriyanda; Sarasmita Apriyenti; Adia Syaputri; Nusantri Purba; Nurhaliza; Okta Bella Syuhada
Journal of Community Engagement Research for Sustainability Vol. 4 No. 1 (2024): Januari
Publisher : Lembaga Penelitian dan Pengabdian kepada Masyarakat Universitas Riau

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.31258/cers.4.1.32-44

Abstract

The Desa Cinta Statistik (Cantik) program aims to improve the quality of statistical data produced by increasing literacy, awareness and the active role of village officials and the village statistical community. This program is also a form of the Statistics Study Program's participation in the implementation of community service and is a collaboration between the Statistics Study Program (lecturers and students of Real Work Lectures) with BPS and Villages. The activities carried out in the form of assisting village officials in improving sectoral data and village-specific data are expected to suffice the availability of data for village development as one of the efforts to make One Data Indonesia successful. This program will be implemented in Selat Baru Village, Bengkalis Regency. Based on the data that has been collected, there are several work programs carried out by the Selatbaru Integrated Community Service Program (Cinta Statistik) Selatbaru Team in 2022. Village officials as non-productive partners have improved their sectoral data management capabilities. The outputs of the activity are the publication of Selatbaru Village statistics, Selatbaru Village Profiles and Statistics, Infographics, Monographs, and Videographics.
On Derivations of Pseudo BN-algebras Mahiroh; Sri Gemawati; Syamsudhuha
Desimal: Jurnal Matematika Vol. 9 No. 2 (2026): Desimal
Publisher : Universitas Islam Negeri Raden Intan Lampung

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.24042/djm.v9i2.32008

Abstract

Derivation theory plays a fundamental role in implication-based algebra by providing operator frameworks that reveal the structural behavior of algebraic systems. Although numerous derivation concepts have been established for BN-algebras and related implication algebras, an appropriate derivation framework for pseudo BN-algebras has remained unavailable because their dual-operation structure cannot be accommodated by existing derivation formulations. This study aims to establish a unified derivation framework for pseudo BN-algebras through the introduction of algebraically compatible operator mappings. Using a deductive mathematical approach, two auxiliary binary operations, ⊛ and , are constructed to define Type 1 and Type 2 (l,r)-derivations, (r,l)-derivations, and left derivations. Their fundamental properties are then investigated through formal definitions, propositions, and rigorous mathematical proofs. The obtained results show that both derivation systems satisfy regularity conditions, preserve essential identities involving the distinguished zero element, and maintain structural consistency with the defining axioms of pseudo BN-algebras. More importantly, the proposed framework demonstrates that derivation theory for pseudo BN-algebras cannot be obtained by directly extending existing derivation concepts but instead requires new algebraic constructions that are intrinsically determined by the interaction of their two binary operations. Consequently, this study establishes the first derivation framework for pseudo BN-algebras, broadens the scope of derivation theory within implication-based algebra, and provides a rigorous theoretical foundation for future investigations of generalized derivations, derivation-induced ideals, homomorphisms, congruence relations, fuzzy derivations, and other operator structures on generalized implication algebras.