Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Algebraic logic. --- Logic, Symbolic and mathematical --- Lògica algebraica --- Lògica algèbrica --- Lògica matemàtica --- Àlgebra de Boole
Choose an application
Algebraic logic. --- Lògica algebraica --- Logic, Symbolic and mathematical --- Lògica algèbrica --- Lògica matemàtica --- Àlgebra de Boole
Choose an application
This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schröder’s journey out of algebra into algebraic logic and document his transformation of George Boole’s opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.
Algebraic logic. --- Logic, Symbolic and mathematical --- Logic. --- Mathematical logic. --- Universal algebra. --- Mathematics. --- History. --- Mathematics—Study and teaching. --- Mathematical Logic and Foundations. --- General Algebraic Systems. --- History of Mathematical Sciences. --- Mathematics Education. --- Math --- Science --- Algebra, Multiple --- Multiple algebra --- N-way algebra --- Universal algebra --- Algebra, Abstract --- Numbers, Complex --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Reasoning --- Thought and thinking --- Methodology
Choose an application
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence. Updated throughout, some major additions for the 3rd edition include: a new chapter about the concepts contributing to the power of XBOOLE; a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2; many tasks that support the readers in amplifying the learned content at the end of the chapters; solutions of a large subset of these tasks to confirm learning success; challenging tasks that need the power of the XBOOLE software for their solution. The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.
Àlgebra de Boole --- Lògica matemàtica --- Teoria de màquines --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Àlgebra booleana --- Teoria dels reticles --- Autòmats matemàtics --- Teoria dels autòmats matemàtics --- Algorismes --- Models matemàtics --- Aprenentatge automàtic --- Complexitat computacional --- Estructura lògica --- Llenguatges formals --- Màquines de Turing --- Sistemes de reescriptura (Informàtica) --- Teoria de control --- Robòtica --- Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Lògica difusa --- Electronic circuits. --- Logic design. --- Computer science --- Discrete mathematics. --- Electronic Circuits and Systems. --- Logic Design. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer mathematics --- Electronic data processing --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics
Listing 1 - 4 of 4 |
Sort by
|