Grundläggande logik

Häftad bok. Studentlitteratur AB. 4:6 uppl. 2012. 600 sidor.

Gott skick. Läst, ytligt nött men stabilt exemplar. Inlagan ser fin ut, och jag ser inga markeringar. Brytmärke ungefär i mitten på ryggen, vilket även medför att inlagan helst öppnar sig där. Pärmarna har vissa spår av hantering/förvaring; veckat hörn baktill.

Baksidestext:
Detta är en lärobok i elementär logik för studenter i datavetenskaperna, matematik eller filosofi, eller för vem som helst som vill lära sig logikens grunder. Tillräckliga förkunskaper är två eller tre års matematik från gymnasiet. Bokens innehåll och utformning gör den lämpad som förberedelse för utbildningen i logikprogrammering, kunskapsrepresentation och artificiell intelligens. Den kan också ingå som led i utbildningarna i filosofi, vetenskapsteori och diskret matematik.

Innehållet täcker grundläggande satslogik och predikatlogik samt elementär mängdteori. Dessutom ger boken en utförlig inledning till logikprogrammeringens logiska grundvalar. Ett appendix innehåller bl a bevis för fullständighetsteoremen.
I boken eftersträvas klarhet i definitioner och exemplifieringar av begreppen. Ett annat karakteristiskt drag är att stor vikt lägges vid träningen i det logiska hantverket. Detta syfte uppnås genom precisa formuleringar av problemtyper, lösningsmetoder och heuristiska regler samt genom ett stort antal grundligt utarbetade och kommenterade typexempel. Författarens erfarenhet är att detta bidrar till att hos läsaren snabbt utveckla en avsevärd kompetens och färdighet i logik. Dessutom innehåller boken ovanligt många övningar. Fjärde upplagan har utökats med ytterligare övningar.