Mostra el registre d'ítem simple
Lògica de primer ordre
dc.contributor.author | Morrill, Glyn |
dc.date.accessioned | 2014-01-07T12:48:23Z |
dc.date.available | 2014-01-07T12:48:23Z |
dc.date.issued | 2001 |
dc.identifier.isbn | 9788483016565 (en línia) |
dc.identifier.uri | http://hdl.handle.net/2099.3/36439 |
dc.description.abstract | Aquest llibre presenta la teoria estàndard de la lògica de primer ordre. Conté demostracions completes de bastants dels resultats més importants de la lògica, inclosos la solidesa, la completesa, el teorema de Löwenheim-Skolem, la compacitat, el teorema d'Herbrand, la indecidibilitat i el teorema d'incompletesa de Gödel. Triant entre els mètodes existents més senzills, la matèria és accessible a estudiants de segon cicle d'informàtica, matemàtiques o filosofia. |
dc.language.iso | cat |
dc.publisher | Edicions UPC |
dc.relation.ispartofseries | Edicions virtuals UPC |
dc.relation.uri | http://cataleg.upc.edu/record=b1228771 |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica |
dc.title | Lògica de primer ordre |
dc.type | Book |
dc.subject.lemac | Lògica matemàtica |
dc.identifier.doi | 10.5821/ebook-9788483016565 |
dc.rights.access | Restricted access to the UPC academic community |
dc.identifier.cupc | b12287714 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Edicions virtuals [88]