Lògica de primer ordre
Visualitza/Obre
10.5821/ebook-9788483016565
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.3/36439
Tipus de documentLlibre
Data publicació2001
EditorEdicions UPC
Condicions d'accésAccés restringit a la comunitat UPC
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
9788483016565.pdf | 1,955Mb | Accés restringit |