Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Little Book of Math into English
| The Little Book of Math into English |
| Autore | Grätzer George |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (172 pages) |
| ISBN | 9783031651618 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Contents -- Introduction -- Overview -- TOPIC 1: Little words I. Prepositions -- 1.1 Common prepositions in math -- 1.2 Using prepositions correctly -- 1.3 Placement -- 1.4 Prepositions with math terms -- 1.5 Avoiding ambiguity -- TOPIC 2: Little words II. Pronouns -- TOPIC 3: Little words III. Conjunctions -- TOPIC 4: Little words IV. So, such, that.… -- 4.1 So, so that, such that -- 4.2 This, these, that, those, some -- 4.3 This or that -- 4.4 Which and that -- TOPIC 5: Little words V. Like, such as -- TOPIC 6: Little words VI. Either, or, both -- TOPIC 7: Little marks I. Punctuation -- 7.1 Background -- 7.2 The two approaches -- 7.3 Commas between multiple adjectives -- 7.4 The role of the punctuation marks -- 7.5 Using commas -- 7.6 Oxford comma -- TOPIC 8: Little marks II. Hyphens -- 8.1 When to use hyphens -- 8.2 Examples of hyphenated words -- 8.3 A list of hyphenated words -- TOPIC 9: Little marks III. Dashes -- TOPIC 10: Little transitions. Short version -- TOPIC 11: Little transitions. Longer version -- TOPIC 12: Little Intros -- TOPIC 13: Little run. Run-on sentences -- TOPIC 14: Little trip. To go or going -- 14.1 The to-form and the ing-form -- 14.2 Full and incomplete infinitives -- 14.2.1 Full infinitive -- 14.2.2 Incomplete infinitive -- 14.3 Split infinitive -- TOPIC 15: Little dangling -- TOPIC 16: Little numbers. Less and fewer, both and two -- 16.1 Less and fewer -- 16.2 Both and two -- 16.3 `The two' -- 16.4 Word repetition -- 16.4.1 General examples -- 16.4.2 Math examples -- 16.5 Parallel structure -- 16.5.1 Beware of the pitfalls -- TOPIC 17: Little pause. Comma before if -- Dependent and independent 17.1 clauses -- TOPIC 18: Little ambiguity -- 18.1 Ambiguity -- 18.1.1 Examples -- 18.1.2 Homonyms -- 18.2 More examples -- TOPIC 19: Little active vs. passive -- 19.1 The problem -- 19.2 Some examples -- 19.3 Please.
19.4 Little direct vs. indirect -- TOPIC 20: Little speed. Faster and fastests -- TOPIC 21: Little distinctions -- 21.1 `a' vs. `the' vs. blank -- 21.2 Basics -- 21.3 Typical mistakes -- 21.4 More examples -- 21.5 Maybe vs. may be -- 21.6 Further vs. farther -- 21.7 Shall vs. will -- 21.8 Foreword vs. forward -- 21.9 Not vs. rather than -- 21.10 Cannot vs. can not -- 21.11 Note vs. notice -- 21.12 Effect vs. affect -- 21.13 Contain vs. include -- TOPIC 22: Little modification -- TOPIC 23: Little only -- APPENDIX A: Little grammar -- A.1 Grammatical terms -- A.2 Analyzing sentences -- APPENDIX B: Little ChatGPT -- B.1 Introduction -- B.2 What is ChatGPT? -- B.3 What it can't do -- B.4 Asking good questions -- B.5 The GPT Store -- B.6 Style and grammar -- B.6.1 A short dialogue for spellchecking -- B.6.2 A longer editing session -- B.7 Tokens, darn it -- B.8 Conclusions -- APPENDIX C: How to write mathematics by P.R. Halmos -- C.1 There is no recipe and what it is -- C.2 Say something -- C.3 Speak to someone -- C.4 Organize first -- C.5 Think about the alphabet -- C.6 Write in spirals -- C.7 Organize always -- C.8 Write good English -- C.9 Honesty is the best policy -- C.10 Down with the irrelevant and the trivial -- C.11 Do and do not repeat -- C.12 The editorial we is not all bad -- C.13 Use words correctly -- C.14 Use technical terms correctly -- C.15 Resist symbols -- C.16 Use symbols correctly -- C.17 All communication is exposition -- C.18 Defend your style -- C.19 Stop -- C.20 The last word -- Bibliography. |
| Record Nr. | UNINA-9910874662803321 |
|
Grätzer George
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||