Article Per Year (5 Year)
p-Index From 2021 - 2026
0.562
P-Index
This Author published in this journals
All Journal Jurnal Math-UMB.EDU Journal of Social Work and Science Education
Nurul Astuty Yensy
Universitas Bengkulu, Bengkulu, Indonesia
Religion Economics, Econometrics & Finance Education Environmental Science Languange, Linguistic, Communication & Media Mathematics

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

Found 3 Documents
Search

 1 
A SIMA-Based Curriculum Data and Administration Management Model to Improve the Effectiveness of Teacher Performance in Public Senior High Schools in North Musi Rawas Regency Meri Silvia; Nurul Astuty Yensy; Sudarwan Danim
Journal of Social Work and Science Education Vol. 7 No. 2 (2026): Journal of Social Work and Science Education
Publisher : Yayasan Sembilan Pemuda Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.52690/jswse.v7i2.1395

Abstract

Effective management of curriculum data and school administration is essential for improving teacher performance in public senior high schools. However, many schools still face challenges related to fragmented data systems, high administrative workloads, and limited integration between management information systems and teacher performance indicators. This study aims to develop and evaluate a SIMA-based curriculum data and administration management model to improve teacher performance effectiveness in public senior high schools in North Musi Rawas Regency. This research employed a research and development (R&D) approach, involving needs analysis, model design, development, implementation, and evaluation. Data were collected through questionnaires, observations, and documentation involving teachers and school administrators. Teacher performance effectiveness was measured before and after the implementation of the SIMA-based management model. Data analysis was conducted using descriptive and inferential statistical techniques to examine changes in teacher performance effectiveness. The results indicate that the developed SIMA-based curriculum data and administration management model is valid, practical, and effective. The implementation of the model significantly improved teacher performance effectiveness, particularly in administrative efficiency, time management, accuracy of academic data, and focus on instructional tasks. These findings suggest that integrating curriculum and administrative management through a SIMA-based system can reduce teachers’ administrative burden and enhance their professional performance. This study contributes theoretically to educational management research and practically provides a reference model for schools and policymakers seeking to improve teacher performance through integrated management information systems.
Teachers' Readiness, Perceptions, and Use of Generative Artificial Intelligence in Educational Practice Novia Ayu Lestari; Agus Susanta; Nurul Astuty Yensy
Journal of Social Work and Science Education Vol. 7 No. 3 (2026): Journal of Social Work and Science Education
Publisher : Yayasan Sembilan Pemuda Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.52690/jswse.v7i3.1396

Abstract

This study examines teachers’ readiness, usage patterns, perceived benefits, barriers, and professional development needs related to integrating Generative Artificial Intelligence (Gen AI) into educational practice. A quantitative descriptive exploratory survey design was employed. Data were collected via online questionnaires from 80 teachers across multiple educational levels (early childhood to vocational secondary) in Bengkulu. Descriptive statistics and thematic analysis were used to analyse the data. Teachers reported high functional readiness and positive perceptions of Gen AI, particularly for lesson planning and content development, while its application for learning analytics and reflective pedagogical inquiry remained limited. The most significant barriers were lack of training and unclear school policies, whereas teachers did not view Gen AI as a threat to their professional role. Key professional development needs included practical training, ethical guidance, curriculum integration, and peer communities. The study provides empirical evidence on teachers actual pedagogical workflows in a developing‑country context, distinguishing functional readiness from conceptual literacy. Findings offer a clear agenda for policy development and teacher professional learning programmes. The research advances understanding of Gen AI integration in resource‑constrained settings and provides an evidence base for pedagogically grounded, ethically responsible AI adoption in education.
MATHEMATICAL CERTAINTY IN CONTEMPORARY FORMAL SYSTEMS: A SYSTEMATIC LITERATURE REVIEW OF AXIOMATIC STRUCTURES, PROOF THEORY, LOGICAL ARCHITECTURES, AND COMPUTATIONAL VERIFICATION: Bengkulu, Indonesia and Johor Baru, Malaysia Veggi Yokri; Wahyu Widada; Nurul Astuty Yensy; Norma Alias; Poni Saltifa
Jurnal Math-UMB.EDU Vol. 13 No. 3 (2026): JULY
Publisher : Universitas Muhammadiyah Bengkulu

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

Abstract

Mathematical certainty in formal mathematics is commonly associated with the validity, consistency, and correctness of reasoning within explicitly defined formal systems. However, recent developments in axiomatic foundations, proof theory, non-classical logic, and computational verification suggest that certainty is increasingly discussed as a structured and system-relative phenomenon. This study aims to synthesize how mathematical certainty is conceptualized in contemporary literature through axiomatic structures, proof-theoretic mechanisms, logical architectures, and computational verification. A systematic literature review was conducted using the PRISMA framework. Twenty peer-reviewed studies published between 2020 and 2026 and retrieved from the Scopus database were selected based on predefined inclusion and exclusion criteria. Thematic synthesis identified four interrelated dimensions: axiomatic foundations as formal constraints, proof-theoretic mechanisms as procedures for validating derivations, logical architectures as system-relative frameworks of inference, and computational verification as a mechanism for strengthening reproducibility in formal proof validation. The findings suggest that mathematical certainty in the reviewed literature is not treated solely as a fixed metaphysical guarantee, but may be interpreted as a structurally mediated condition supported by coherence, rule-governed derivation, logical validity, and verifiable formalization. This review contributes a conceptual framework for understanding mathematical certainty within contemporary formal mathematical systems while acknowledging the limitations of a Scopus-based corpus. Keywords: Axiomatic Systems, Computational Verification, Formal Logic, Mathematical Certainty, Proof Theory
Co-Authors Agus Susanta Meri Silvia Norma Alias Novia Ayu Lestari Poni Saltifa Sudarwan Danim Veggi Yokri Wahyu Widada