Undergraduate
#63
Discipline: Computer Sciences and Information Management
Subcategory: Computer Science & Information Systems
Xien Thomas - Texas Southern University
Discipline: Computer Sciences and Information Management
Subcategory: Computer Science & Information Systems
Xien Thomas - Texas Southern University
We aim to create a simulator that focuses on proofs and puzzles to highlight the transformation rule. The end product would be a Boolean logic simulator for mathematicians and computer scientist to use to replenish their understanding of Boolean logic. Blocks snap into place according to color using a JavaScript environment. Polymorphic blocks are visual aids representing logical proofs and are visualized as shapes. Various polymorphic blocks such as, triangles, T’s, L’s have logical symbol counterparts X, Y, Z respectively. Counterparts are mapped using the transformation rule, which states two arguments can be evaluated through Boolean logic.
Funder Acknowledgement(s): Stars Program
Faculty Advisor: Sorin Lerner,