Autor(s):

Gopal Тadepalli, Department of Computer Science and Engineering, College of Engineering, Anna University, Chennai - 600 025, India, gopal@annauniv.edu, gopal.tadepalli@gmail.com

https://doi.org/10.55630/STEM.2023.0501

Abstract:

    Computers control everyday things ranging from the heart pacemakers to voice controlled devices that form an integral part of many appliances. Failures related to computers regularly cause disruption, damage and occasionally death. Computational logic establishes the facts in a logical formalism. It attempts to understand the nature of mathematical reasoning with a wide variety of formalisms, techniques and technologies. Formal verification uses mathematical and logical formalisms to prove the correctness of designs. Formal methods provide the maturity and agility to assimilate the future concepts, languages, techniques and tools for computational methods and models. The quest for simplification of formal verification is never ending. This summary report advocates the use of geometry to construct quick conclusions by the human mind that can be formally verified if necessary.

Keywords:

Computational Logic; Formal Verification; Simplification; Geometry; Design;

Received:

13-05-2023

Accepted:

29-06-2023

Published:

24-07-2023

Cite (APA style):

Gopal, Т. (2023). Learning Computational Logic through Geometric Reasoning, Science Series "Innovative STEM Education", volume 05, ISSN: 2683-1333, Institute of Mathematics and Informatics – Bulgarian Academy of Sciences, pp. 7-12, DOI: https://doi.org/10.55630/STEM.2023.0501

PDF file address:

http://www.math.bas.bg/vt/stemedu/books/05/STEM.2023.0501.pdf