Propositional logic calculator: a mobile application for evaluation and analysis of natural deduction using data-driven approach / by Leonardo M. Araga and Xyverrt C. Pullan.
Material type: TextLanguage: English Publication details: Indang, Cavite : Cavite State University- Main Campus, 2019.Description: xii, 47 pages : illustrations ; 28 cmContent type:- text
- unmediated
- volume
- 006.3 Ar1 2019
- College of Engineering and Information Technology (CEIT), Department of Information Technology
Item type | Current library | Collection | Call number | Materials specified | URL | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
Theses / Manuscripts | Ladislao N. Diwa Memorial Library Theses Section | Non-fiction | 006.3 Ar1 2019 (Browse shelf(Opens below)) | Link to resource | Room use only | T-8426 | 00079720 |
Thesis (Bachelor of Science in Computer Science) Cavite State University.
Includes bibliographical references.
College of Engineering and Information Technology (CEIT), Department of Information Technology
ARAGA, LEONARDO M. and PULLAN, XYVERRT C. PROPOSITIONAL LOGIC CALCULATOR: A PROPOSITIONAL LOGIC CALCULATOR FOR EVALUATION AND ANALYSIS OF NATURAL DEDUCTION, USING DATA- DRIVEN APPROACH. Undergraduate Thesis. Bachelor of Science in Computer Science. Cavite State University, Indang, Cavite. June 2019. Adviser: Ms. Ria Clarisse L. Mojica.
This study was conducted from August 2018 to April 2019 at Cavite State University - Main Campus. The purpose of the study was to aid students in dealing with natural deduction and help them to understand thoroughly how to formulate premises and conclusions.
Iterative development was used as the methodology of the system. To implement the coding and design, Ionic Framework was used in JavaScript as programming language. 100 collectively chosen students and 10 faculty members of Department of Information Technology evaluated the system. The results were collected through an evaluation form based on ISO 9126.
According to the overall evaluation results, the system was judged to be excellent in all software quality criteria such as functionality, reliability, usability, efficiency, maintainability, portability, and user-friendliness. Upon the completion of the study, the proponents concluded that this would be a solution for the common problems encountered by students who are taking and were took up Discrete Mathematics.
Submitted to the University Library 08/08/2019 T-8426