BAAL
' HOME PAGE(
Boolean Arithmetic And Linguistics' HOME PAGE)(This page is maintained by Professor Wagner Waneck Martins/e-mail: waneck@usp.br )
*This web page offers you a Course of a new branch of the Boolean Mathematics in the "0/1" numerical binary field, called Boolean Arithmetic and its consequent Boolean Linguistics (or, Technical Linguistics), mathematically isomorphic to the literal expression of the Boolean Algebra.
*This Course introduce the Kantian concept of mathematical time' in the classical Set Theory and shows how it is possible to obtain a complete solution of some simultaneous Boolean Equation Systems, a subject of extreme relevance to the computational mathematical logic.
*This mathematical studies allows to obtain, among other, the impossibility of the introduction of virus in the computer process, the automatic production of software mathematically free of failures caused by human factors, the complete safety in computer real time operation where there would be no more need of Ctrl+Alt+Del or Reset keys.
*Software Engineering built bulk of its programs empirically, whereas, Hardware Engineering built its chips strongly based in Boolean Algebra. Using Boolean Arithmetic/Linguistics, the same safety operation of hardware computing can be achieved in the software and firmware computing operation.
*A mathematical computational language is presented, called "Esperangol, Direct and Reverse", which is unique and reversible.
*In this new academic field of researches, important Ph.D. thesis and papers were presented, as the following: "C.L.P. A Non-Von real-time mathematically programmable"; "The engineering of text deduction and the mathematical elimination of nodal real-time incompatibility"; "Real-time block and electronic mathematically microprogrammed interlocking"; etc.