Articles liés à Elementary Logic: A Procedural Perspective
Synopsis
Logic is applied in a wide variety of subjects, from software engineering and hardware design to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. In recent years, many extensions of classical logic such as temporal, modal, relevance and fuzzy logics have been widely used in computer science. Therefore, a new formulation of classical logic is needed which can naturally be modified to yield the effect of non-classical logics. Elementary Logics: A Procedural Perspective aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. This text clarifies the definition differences between logics and allows the reader to comprehend how these small differences and their magnified effects can be understood by applying concepts common to all logics. The most common logic is introduced at the beginning of the text, with the basic notions which will be transferred to each of the logics examined. The definition of classical proportional logic is interfered with to obtain a number of non-classical logics, before returning to the classical world to present a natural deduction method for determining the truth of statements.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Logic is applied in a wide variety of subjects, from software engineering and hardware design to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations.
In recent years, many extensions of classical logic such as temporal, modal, relevance and fuzzy logics have been widely used in computer science. Therefore, a new formulation of classical logic is needed which can naturally be modified to yield the effect of non-classical logics. Elementary Logics: A Procedural Perspective aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics.
This text clarifies the definition differences between logics and allows the reader to comprehend how these small differences and their magnified effects can be understood by applying concepts common to all logics.
The most common logic is introduced at the beginning of the text, with the basic notions which will be transferred to each of the logics examined. The definition of classical proportional logic is interfered with to obtain a number of non-classical logics, before returning to the classical world to present a natural deduction method for determining the truth of statements.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurPearson Education Limited
- Date d'édition1998
- ISBN 10 0137263651
- ISBN 13 9780137263653
- ReliureBroché
- Langueanglais
- Nombre de pages384
- Coordonnées du fabricantnon disponible
Résultats de recherche pour Elementary Logic: A Procedural Perspective
Image d'archives
Elementary Logics: A Procedural Perspective (Prentice Hall Series in Computer Science)
Edité par
Prentice Hall Europe, Hemel Hempstead, U.K., 1998
ISBN 10 : 0137263651
ISBN 13 : 9780137263653
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Paperback. Very few superficial marks on covers. Leading corners, edges and spine ends are very slightly worn. Binding is tight, contents are clean and clear throughout. AM. Used. N° de réf. du vendeur 291010
Quantité disponible : 1 disponible(s)