Key Features:
- Offers many theorems with new proofs in a self-contained manner
- Gives a concise overview of the early history of the axioms of lattice-based algebras
- Provides many examples of the shortest possible equational bases for various genres of lattice-based algebras
- Presents the shortest-known single identity defining the class of all lattices
- Includes an appendix by Dr William McCune (University of New Mexico, USA) that demonstrates the efficient use of modern theorem-provers to discover new Huntington varieties and the practical applications of the 21st century phenomenon of human-machine interaction
Płać wygodnie kartą, Klarną, Apple Pay lub Google Pay. Nie jesteś zadowolony? Zawsze masz 14-dniową gwarancję zwrotu pieniędzy. Więcej przeczytasz w naszych warunkach. Masz pytania? Napisz do nas na hello@memmo.org.
Memmo ułatwia naukę – gdziekolwiek jesteś na świecie. U nas znajdziesz podręczniki i sprytne narzędzia do nauki w jednym miejscu: streszczenia, quizy, podcasty i fiszki. A do tego Ted, Twój kumpel do nauki, który odpowie na wszystko, co Cię nurtuje. Ponad 50 000 studentów już tu się uczy – stworzone, byś uczył się szybciej i mniej stresował.
Może Ci się spodobać
Kup książkę0