Logics and Arithmetics

Christian Posthoff and Bernd Steinbach
Additional contact information
Christian Posthoff: The University of The West Indies
Bernd Steinbach: Freiberg University of Technology

Chapter Chapter 6 in Logic Functions and Equations, 2004, pp 209-264 from Springer

Abstract: Abstract In this chapter we will give an outline of applications of logic functions and equations that are not directly related to the design of hardware. The applications in propositional logics are surely the oldest and reach back to the developments of science in ancient Greece. The names ”Boolean Algebra” and ”Boolean Ring” have been selected in honour of George Boole who wanted to formalize the ideas expressed by texts in natural language and to calculate the truth of complex constructions (in order to be precise and more accurate) . Naturally we already had to use logics in this sense throughout the book, however, we will go back to an introductory or elementary point of view and show that the knowledge that has been prepared up to now is fully appropriate to solve these problems. There was an enormous development of logics (in a broad mathematical sense) during the last 150 years that resulted in a highly sophisticated and specialized level, however, the propositional calculus is still the foundation of all these developments, and it is still necessary and useful to have a good understanding of these concepts.

Keywords: Logic Function; Binary Code; Propositional Logic; Code Word; Binary Number (search for similar items in EconPapers)
Date: 2004
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4020-2938-7_6

Ordering information: This item can be ordered from
http://www.springer.com/9781402029387

DOI: 10.1007/978-1-4020-2938-7_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().