top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
The Congruences of a Finite Lattice [[electronic resource] ] : A "Proof-by-Picture" Approach / / by George Grätzer
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
More Math Into LaTeX [[electronic resource] /] / by George Grätzer
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical LaTeX [[electronic resource] /] / by George Grätzer
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui