Abstract
We start our considerations with the basic concepts of binary algebraic structures. We introduce the necessary mathematical concepts which will be used in the following chapters.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Boole, G.: The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Classic Reprint). Forgotten Books, London (2016). ISBN: 978-1-4400-6642-9
Clote, P., Kranakis, E.: Boolean Functions and Computation Models. Springer, Berlin (2002). ISBN: 978-3-662-04943-3. https://doi.org/1.1007/978-3-6-62-04943-3
Grattan-Guinness, I., Bornet, G. (eds.): George Boole: Selected Manuscripts on Logic and Its Philosophy. Science Networks. Historical Studies, vol. 20. Birkhäuser, Basel (1997). ISBN: 978-3-7643-5456-5
MacHale, D.: The Life and Work of George Boole: A Prelude to the Digital Edge. Cork University Press, Cork (2014). ISBN: 978-1-78205-004-9
Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design. Springer, Berlin (1998). ISBN: 978-3-540-64486-6. https://doi.org/10.1007/978-3-642-58940-9
Rudeanu, S.: Lattice Functions and Equations. Discrete Mathematics and Theoretical Computer Science. Springer, London (2001). ISBN: 978-1-85233-266-2. https://doi.org/10.1007/978-1-4471-0241-0
Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. Am. Inst. Electr. Eng. 57(12), 713–723 (1938). ISSN: 0096-3860. https://doi.org/10.1109/T-AIEE.1938.5057767
Steinbach, B.: XBOOLE—a toolbox for modelling, simulation, and analysis of large digital systems. Syst. Anal. Model. Simul. 9(4), 297–312 (1992). ISSN: 0232-9298
Steinbach, B., Posthoff, C.: Logic Functions and Equations - Examples and Exercises. Springer, Berlin (2009). ISBN: 978-1-4020-9594-8
Steinbach, B., Posthoff, C.: Boolean Differential Equations. Morgan & Claypool Publishers, San Rafael (2013). ISBN: 978-1-6270-5241-2. https://doi.org/10.2200/S00511ED1V01Y201305DCS042
Steinbach, B., Posthoff, C.: Boolean Differential Calculus. Morgan & Claypool Publishers, San Rafael (2017). ISBN: 978-1-6270-5922-0. https://doi.org/10.2200/S00766ED1V01Y201704DCS052
Steinbach, B., Werner, M.: XBOOLE-CUDA - fast Boolean operations on the GPU. In: Steinbach, B. (ed.) Boolean Problems, Proceedings of the 11th International Workshops on Boolean Problems. IWSBP 11, Sept. 2014. Freiberg University of Mining and Technology, Freiberg (2014). ISBN: 978-3-86012-488-8
Steinbach, B., Werner, M.: XBOOLE-CUDA - fast calculations on the GPU. In: Steinbach, B. (ed.) Problems and New Solutions in the Boolean Domain, pp. 117–149. Cambridge Scholars Publishing, Newcastle upon Tyne (2016). ISBN: 978-1-4438-8947-6
Wegener, I.: Branching Programs and Binary Decision Diagrams: Theory and Applications. Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics, Philadelphia (2000). ISBN: 978-0-89871-458-6. https://doi.org/10.1137/1.9780898719789
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG
About this chapter
Cite this chapter
Posthoff, C., Steinbach, B. (2019). Basic Algebraic Structures. In: Logic Functions and Equations. Springer, Cham. https://doi.org/10.1007/978-3-030-02420-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-02420-8_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02419-2
Online ISBN: 978-3-030-02420-8
eBook Packages: Computer ScienceComputer Science (R0)