Information från Bokliv
Om Grundläggande logik av Kaj B Hansen
Elementär logik och dess tillämpningar
Denna bok, Grundläggande logik, är en lärobok som fokuserar på elementär logik, riktad till studenter inom datavetenskap, matematik och filosofi. Boken syftar till att ge en grundlig förståelse för logikens grunder, och den är även användbar för alla som vill fördjupa sina kunskaper i ämnet.
Logikens grunder och tillämpningar
Boken täcker grundläggande satslogik, predikatlogik och elementär mängdteori. Den ger en utförlig inledning till logikprogrammeringens logiska grundvalar och innehåller ett appendix med bevis för fullständighetsteoremen. Författaren, Kaj B Hansen, betonar klarhet i definitioner och exemplifieringar, vilket underlättar inlärningen. Dessutom presenteras ett stort antal övningar som syftar till att utveckla läsarens kompetens och färdighet i logik.
Om boken
Boken är ett häftat band med ett omfång av 600 sidor och publicerades av Studentlitteratur AB den 3 april 2003. Den fjärde upplagan har utökats med ytterligare övningar för att stödja studenter i deras lärande.
Denna unika sammanfattning är skapad med hjälp av AI-stöd baserat på bokens källdata och verifierad information om författaren, för att ge dig som köpare mer sammanhang. Vi kontrollerar regelbundet våra texter och källor för att säkerställa hög kvalitet på informationen.
(Läs mer)