Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, symbolic and mathematical --- Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- #TS:WWIS --- #FHIW:CAT --- #BIBC:tijdschradm --- Periodicals --- Mathematical Sciences --- Applied Mathematics --- Logic [Symbolic and mathematical ] --- Mathematics --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The congruences of a lattice form the congruence lattice. Over the last several decades, the study of congruence lattices has established itself as a large and important field with a great number of interesting and deep results, as well as many open problems. Written by one of the leading experts in lattice theory, this text provides a self-contained introduction to congruences of finite lattices and presents the major results of the last 90 years. It features the author’s signature “Proof-by-Picture” method, which is used to convey the ideas behind formal proofs in a visual, more intuitive manner. Key features include: an insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruence-preserving extensions complete proofs, an extensive bibliography and index, and over 180 illustrations additional chapters covering new results of the last seven years, increasing the size of this edition to 430 pages, 360 statements, and 262 references This text is appropriate for a one-semester graduate course in lattice theory, and it will also serve as a valuable reference for researchers studying lattices. Reviews of previous editions: “[This] monograph…is an exceptional work in lattice theory, like all the contributions by this author. The way this book is written makes it extremely interesting for the specialists in the field but also for the students in lattice theory. — Cosmin Pelea, Studia Universitatis Babes-Bolyai Mathematica LII (1), 2007 "The book is self-contained, with many detailed proofs presented that can be followed step-by-step. I believe that this book is a much-needed tool for any mathematician wishing a gentle introduction to the field of congruences representations of finite lattices, with emphasis on the more 'geometric' aspects." — Mathematical Reviews.

Group theory --- Ordered algebraic structures --- Algebra --- Geometry --- Discrete mathematics --- Geology. Earth sciences --- algebra --- discrete wiskunde --- wiskunde --- geofysica --- geometrie --- Logic, Symbolic and mathematical. --- Logic, Symbolic and mathematical --- Teoria dels reticles --- Àlgebra --- Estructures algebraiques ordenades --- Lògica matemàtica --- Graphic methods.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.

Mathematics --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- Logic, Symbolic and mathematical. --- Computer logic.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Periodicals --- Périodiques --- Logique symbolique et mathématique --- #FHIW:CAT1 --- Mathematical Sciences --- Applied Mathematics --- General and Others --- Mathematical Analysis & Logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- Algebraic logic --- Algebra --- Logic, Symbolic and mathematical --- Logique algébrique --- Algèbre --- Logique symbolique et mathématique --- Periodicals. --- Périodiques --- Algebra. --- Logica. --- Mathematical Sciences --- General and Others --- Applied Mathematics --- Mathematical Sciences. --- General and Others. --- Algebraic logic. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical analysis --- Logic.