Advertisement

Basic Algebraic Structures

  • Christian Posthoff
  • Bernd Steinbach
Chapter

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.

References

  1. 9.
    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-9Google Scholar
  2. 12.
    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 CrossRefGoogle Scholar
  3. 16.
    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-5Google Scholar
  4. 21.
    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-9zbMATHGoogle Scholar
  5. 23.
    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 CrossRefGoogle Scholar
  6. 32.
    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 CrossRefGoogle Scholar
  7. 36.
    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 CrossRefGoogle Scholar
  8. 38.
    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-9298Google Scholar
  9. 48.
    Steinbach, B., Posthoff, C.: Logic Functions and Equations - Examples and Exercises. Springer, Berlin (2009). ISBN: 978-1-4020-9594-8zbMATHGoogle Scholar
  10. 57.
    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 zbMATHGoogle Scholar
  11. 66.
    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 zbMATHGoogle Scholar
  12. 70.
    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-8Google Scholar
  13. 71.
    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-6Google Scholar
  14. 77.
    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 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2019

Authors and Affiliations

  • Christian Posthoff
    • 1
  • Bernd Steinbach
    • 2
  1. 1.Computing and Information TechnologyUniversity of the West Indies (retired)ChemnitzGermany
  2. 2.Computer ScienceTU Bergakademie Freiberg (retired)ChemnitzGermany

Personalised recommendations