Main Page
From Logic
Logik för datavetenskap 7,5 hp, ID1015 och ID1016
Kurstillfället hösten 2009 startar måndag 31 augusti 2009.
Kursen startar med en föreläsning på måndag 31 september kl 10:00. Första studieveckan (som handlar om satslogik) har som kurslitteratur boken "Propositional Logic - an Introduction", Davies-Ekenberg-Thorbiörnson, 2009, ISBN 978-91-978450-2-1. Den kommer man att kunna ladda ner som pdf på denna sida, är gratis och fri att använda. De första två kapitlen samt lösningar till övningsuppgifter går att ladda ner via länken nedan men senaste versionen av hela boken kommer att vara tillgänglig som pdf inom kort. I samband med kursstart måndag kommer också tryckt version att delas ut på papper.
Resten av kursen bygger på litteraturen "Logic - Basics and Beyond", Davies-Ekenberg-Thorbiörnson, 2009, ISBN 978-91-978450-1-4. Den kommer att finnas att köpa på Kårbokhandeln måndag 7 september (eventuellt tidigare, vilket i så fall meddelas).
Till kursen hör också olika extramaterial och anvisningar som jag kommer att distribuera under kursens gång som stöd och för att underlätta ert arbete.
Välkomna!
Karl Karlander
==================
Titta på de första två kapitlen (2008 års upplaga): Kapitel 1-2 i boken kan du ladda ner här som pdf (1.6 MB)
Svar och lösningar till övningsuppgifterna i boken: Answers and Solutions to Selected Problems
Delkursinformation Logik för Datavetenskap, 7,5hp (ID1015) HT2009
Schema Logik för Datavetenskap, 7,5hp (ID1015) HT2009
Delkursinformation Logik för Affärssystem, 7,5hp (ID1016) HT2009
