DM Solver.

Viray, Keevin Ace A. and Barcala, Maria Carmela Rojannie O. and Escareces, John Kristoffer S. (2014) DM Solver. Undergraduate thesis, De La Salle University-Dasmarinas.

[img] Text (Theses)
VirayBarcalaEscareces ... - DMSolver.pdf
Restricted to Registered users only

Download (1MB)


The DM (Discrete Mathematics) Solver is an Android mobile application mainly used as educational resource which can help college students taking Discrete Mathematics to practice their learning and logical ability in Discrete Mathematics. The DM Solver is combined by four powerful categories of Discrete Mathematics calculation. The first category is the Rules of inference which is the act of drawing a conclusion based on the form of premises interpreted as a function which takes premises, analyses their syntax, and returns a conclusion. The second category is the Logical Proposition Converter which converts any English proposition into a logical proposition. The last category is the Truth Table Generator which is a table that gives the truth-values of a compound sentence formed from component sentences by means of logical The intended android application is a great help for students, professors, and even to proponents as it may serve as a guide to them.

Item Type: Thesis (Undergraduate)
Additional Information: CS 1218 2014
Keywords: DM (Discrete Mathematics) ; Android Application.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Z Bibliography. Library Science. Information Resources > ZA Information resources > ZA4050 Electronic information resources
Z Bibliography. Library Science. Information Resources > ZA Information resources > ZA4450 Databases
Users: College of Science and Computer Studies > Computer Studies
Depositing User: Ms. Bibiana Alcantara
Date Deposited: 07 Jan 2016 00:46
Last Modified: 07 Jan 2016 00:46

Actions (login required)

View Item View Item