Fakta

Förlag	Studentlitteratur
Språk	Svenska
Bandtyp	Häftad
Utgiven	2003-04-03
Upplaga	4
Fler upplagor
Antal sidor	600
ISBN	9789144030265
Kategori(er)	Språk & ordböcker

Lägg i varukorgen

Används bl a i följande kurser

2IS013

Beskrivning

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.

Läs mer

Hittills har vi återanvänt

böcker.

Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.

Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.

Öppettider