000 03062nam a22003615i 4500
001 291845
003 MX-SnUAN
005 20160429154921.0
007 cr nn 008mamaa
008 150903s2005 xxk| o |||| 0|eng d
020 _a9781846282294
_99781846282294
024 7 _a10.1007/1846282292
_2doi
035 _avtls000343750
039 9 _a201509030750
_bVLOAD
_c201404120958
_dVLOAD
_c201404090736
_dVLOAD
_y201402061204
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA8.9-10.3
100 1 _aGoldrei, Derek.
_eautor
_9323306
245 1 0 _aPropositional and Predicate Calculus A Model of Argument /
_cby Derek Goldrei.
264 1 _aLondon :
_bSpringer London,
_c2005.
300 _aviii, 315 páginas
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
500 _aSpringer eBooks
505 0 _aPropositions and Truth Assignments -- Formal Propositional Calculus -- Predicates and Models -- Formal Predicate Calculus -- Some Uses of Compactness.
520 _aAt the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: - the representation of mathematical statements by formulas in a formal language; - the interpretation of formulas as true or false in a mathematical structure; - logical consequence of one formula from others; - formal proof; - the soundness and completeness theorems connecting logical consequence and formal proof; - the axiomatization of some mathematical theories using a formal language; - the compactness theorem and an introduction to model theory. This book is designed for self-study by students, as well as for taught courses, using principles successfully developed by the Open University and used across the world. It includes exercises embedded within the text with full solutions to many of these. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781852339210
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/1-84628-229-2
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c291845
_d291845