Choose an application

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

Mathematische Logik --- logica matematica

Choose an application

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

How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author's career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska's scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

Mathematical logic --- Philosophy of science --- Logic --- Mathematics --- wetenschapsfilosofie --- wiskunde --- logica --- Language and languages --- Logic, Symbolic and mathematical. --- Philosophy. --- Filosofia del llenguatge --- Lògica matemàtica --- Lògica matemàtica.

Choose an application

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

Computer logic --- Computer science --- Algorithms --- Informàtica --- Enginyeria de programari --- Lògica informàtica --- Algorismes --- Lògica matemàtica

Choose an application

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

Computer science --- Mathematics. --- Computer mathematics --- Electronic data processing --- Mathematics --- Sistemes informàtics --- Decidibilitat (Lògica matemàtica) --- Matemàtica discreta

Choose an application

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

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.

Electronic circuits. --- Logic design. --- Computer science --- Discrete mathematics. --- Electronic Circuits and Systems. --- Logic Design. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Àlgebra de Boole --- Lògica matemàtica --- Teoria de màquines --- Lògica matemàtica.