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.

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Indang, Cavite : Cavite State University- Main Campus, 2019.Description: xii, 47 pages : illustrations ; 28 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
Subject(s): DDC classification:
  • 006.3  Ar1 2019
Online resources: Production credits:
  • College of Engineering and Information Technology (CEIT), Department of Information Technology
Abstract: 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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Materials specified URL Status Notes Date due Barcode
Theses / Manuscripts 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

Copyright © 2024. Cavite State University | Koha 23.05