The Congruences of a Finite Lattice [[electronic resource] ] : A "Proof-by-Picture" Approach / / by George Grätzer |
Autore | Grätzer George |
Edizione | [2nd ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
Descrizione fisica | 1 online resource (XXXIV, 346 p. 159 illus.) |
Disciplina | 511.33 |
Soggetto topico |
Algebra
Ordered algebraic structures Mathematical logic Probabilities Number theory Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations Probability Theory and Stochastic Processes Number Theory |
ISBN | 3-319-38798-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I: A Brief Introduction to Lattices -- Basic Concepts -- Special Concepts -- Congruences -- Planar Semimodular Lattices -- II: Some Special Techniques -- Chopped Lattices -- Boolean Triples -- Cubic Extensions -- III: Congruence Lattices of Finite Lattices -- The Dilworth Theorem -- Minimal Representations -- Semimodular Lattices -- Rectangular Lattices -- Modular Lattices -- Uniform Lattices -- IV: Congruence Lattices and Lattice Extensions -- Sectionally Complemented Lattices -- Semimodular Lattices -- Isoform Lattices -- The Congruence Lattice and the Automorphism Group -- Magic Wands -- V: Congruence Lattices of Two Related Lattices -- Sublattices -- Ideals -- Tensor Extensions -- VI The Ordered Set of Principal Congruences -- Representation Theorems -- Isotone Maps -- VII: Congruence Structure -- Prime Intervals and Congruences -- Some Applications of the Swing Lemma. |
Record Nr. | UNINA-9910254098603321 |
Grätzer George
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
More Math Into LaTeX [[electronic resource] /] / by George Grätzer |
Autore | Grätzer George |
Edizione | [5th ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (621 p.) |
Disciplina | 004 |
Soggetto topico |
Natural language processing (Computer science)
Computer software Computer science—Mathematics Programming languages (Electronic computers) Multimedia systems Application software Natural Language Processing (NLP) Mathematical Software Math Applications in Computer Science Programming Languages, Compilers, Interpreters Media Design Computer Applications |
ISBN | 3-319-23796-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Short Contents; Contents; Foreword; Preface to the fifth edition; Introduction; Is this book for you?; What's in the book?; Conventions; I Mission Impossible; 1 Short course; 1.1 Getting started; 1.1.1 Your LaTeX; 1.1.2 Sample files; 1.1.3 Editing cycle; 1.1.4 Typing the source file; 1.2 The keyboard; 1.3 Your first text notes; 1.4 Lines too wide; 1.5 A note with formulas; 1.6 The building blocks of a formula; 1.7 Displayed formulas; 1.7.1 Equations; 1.7.2 Symbolic referencing; Absolute referencing; 1.7.3 Aligned formulas; Simple alignment; Annotated alignment; 1.7.4 Cases
3.2 Words, sentences, and paragraphs3.2.1 Spacing rules; 3.2.2 Periods; 3.3 Commanding LaTeX; 3.3.1 Commands and environments; 3.3.2 Scope; Example 1; Example 2; 3.3.3 Types of commands; Fragile commands; 3.4 Symbols not on the keyboard; 3.4.1 Quotation marks; 3.4.2 Dashes; 3.4.3 Ties or nonbreakable spaces; 3.4.4 Special characters; 3.4.5 Ellipses; 3.4.6 Ligatures; 3.4.7 Accents and symbols in text; 3.4.8 Logos and dates; 3.4.9 Hyphenation; 3.5 Comments and footnotes; 3.5.1 Comments; 3.5.2 Footnotes; 3.6 Changing font characteristics; 3.6.1 Basic font characteristics 3.6.2 Document font families3.6.3 Shape commands; 3.6.4 Italic corrections; 3.6.5 Series; 3.6.6 Size changes; 3.6.7 Orthogonality; 3.6.8 Obsolete two-letter commands; 3.6.9 Low-level commands; 3.7 Lines, paragraphs, and pages; 3.7.1 Lines; Breaking lines; Double spacing; 3.7.2 Paragraphs; 3.7.3 Pages; 3.7.4 Multicolumn printing; 3.8 Spaces; 3.8.1 Horizontal spaces; Horizontal space variant; 3.8.2 Vertical spaces; Vertical space variants; 3.8.3 Relative spaces; 3.8.4 Expanding spaces; Horizontal spaces; Vertical spaces; 3.9 Boxes; 3.9.1 Line boxes; Line boxes-a refinement; 3.9.2 Frame boxes 3.9.3 Paragraph boxesParagraph box refinements; Paragraph box as an environment; 3.9.4 Marginal comments; 3.9.5 Solid boxes; Struts; 3.9.6 Fine tuning boxes; 4 Text environments; 4.1 Some general rules for displayed text environments; 4.2 List environments; 4.2.1 Numbered lists; 4.2.2 Bulleted lists; 4.2.3 Captioned lists; 4.2.4 A rule and combinations; 4.3 Style and size environments; 4.4 Proclamations (theorem-like structures); Consecutive numbering; Numbering within a section; 4.4.1 The full syntax; 4.4.2 Proclamations with style; Three examples; Example 1; Example 2; Example 3 Number swapping |
Record Nr. | UNINA-9910255001403321 |
Grätzer George
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Practical LaTeX [[electronic resource] /] / by George Grätzer |
Autore | Grätzer George |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (228 p.) |
Disciplina |
686.2
686.22544536 |
Soggetto topico |
Natural language processing (Computer science)
Mathematics Computer software Natural Language Processing (NLP) Popular Science in Mathematics Mathematical Software |
ISBN | 3-319-06425-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- 1. Getting LaTex -- 2. Typing Text -- 3. Text environments -- 4. Typing Formulas -- 5. Displayed Formulas -- 6. Articles -- 7. Making Presentations -- 8. Customization -- 9. The Symbol Tables -- Index. |
Record Nr. | UNINA-9910298987503321 |
Grätzer George
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|