The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach / / by George Grätzer
| The Congruences of a Finite Lattice : 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 Logic, Symbolic and mathematical 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 | ||
| ||
The Little Book of Math into English / / by George Grätzer
| The Little Book of Math into English / / by George Grätzer |
| Autore | Grätzer George |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (172 pages) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
Penmanship General Mathematics Writing Skills |
| ISBN | 9783031651618 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Overview -- 1. Little words I. Prepositions -- 2. Little words II. Pronouns -- 3. Little words III. Conjunctions -- 4. Little Words IV. So, such, that -- 5. Little words V. Like, such as -- 6. Little words VI. Either, or, both -- 7. Little marks I. Punctuation -- 8. Little marks II. Hyphens -- 9. Little marks III. Dashes -- 10. Little transitions. Short version -- 11. Little transitions. Longer version -- 12. Little Intros -- 13. Little run. Run-on sentences -- 14. Little trip. To go or going -- 15. Little dangling -- 16. Little numbers. Les and fewer, both and two -- 17. Little pause. Comma before if -- 18. Little ambiguity -- 19. Little active vs. passive -- 20. Little speed. Faster and fastests -- 21. Little distinctions -- 22. Little modification -- 23. Little only -- A. Little grammar -- B. Little ChatGPT -- C. How to write mathematics by P.R. Halmos -- Bibliography. |
| Record Nr. | UNINA-9910874662803321 |
Grätzer George
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Little Book of Writing Better / / by George Grätzer
| The Little Book of Writing Better / / by George Grätzer |
| Autore | Grätzer George |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (192 pages) |
| Disciplina | 378.170281 |
| Soggetto topico |
Penmanship
Writing Skills |
| ISBN |
9783031761669
3031761669 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Overview -- I Crucial -- 1 On, In, Next...Prepositions -- 2 Punctuation -- 3 Active vs. Passive -- 4 Ambiguity -- 5 For Russian Speakers -- II Very Important -- 6 So, Such, That -- 7. Transitions (Short Version) -- 8 Dangling -- 9 Hyphens -- 10 Direct vs. Indirect -- 11. Dashes -- III Important -- 12 Transitions: Longer Version -- 13 Run-on Sentences -- 14 Only -- 15 Comma Before If -- 16 Faster and Fastest -- 17 To Go or Going -- IV And Some More -- 18 As, And, Or (Conjunctions) -- 19 'Either,' 'Or,' 'Both' (More Conjunctions) -- 20 Less and Fewer, Both and Two -- 21 Modifiers -- A Grammatical Terms -- B Your Grammar Tutor -- C The Gold Rush. |
| Record Nr. | UNINA-9910980483103321 |
Grätzer George
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
More Math Into LaTeX / / by George Grätzer
| More Math Into LaTeX / / 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 / / by George Grätzer
| Practical LaTeX / / 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 | ||
| ||