| UdGBiblioteca > Llibres electrònics > Llibres digitals UPC |
| Títol:
Lògica de primer ordre
Autor/s: Morrill, Glyn Data publicació: 2001 Col·lecció: Virtuals ISBN: 84-8301-656-1 Sinopsi: 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. Contingut: Presentació Lògica de primer ordre I Lògica de primer ordre II Lògica de primer ordre III Lògica de primer ordre IV Nota: Aquests documents no es poden copiar ni imprimir. |
| UdGBiblioteca > Llibres electrònics > Llibres digitals UPC |
