Main Page

Main Page

From Logic

(Difference between revisions)
Jump to: navigation, search
(ändrade från 2008 års version till 2009 års version av intro-text och information/ Johan T)
(lade till länkar till schema och kursplaner)
Line 4: Line 4:
-
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, 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.
+
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, 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).
+
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.
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.
Line 16: Line 16:
-
'''Titta på de första två kapitlen (förra årets upplaga):'''
+
'''Titta på de första två kapitlen (2008 års upplaga):'''
[http://www.math.se/documents/Logic_chapter1-2.pdf Kapitel 1-2 i boken kan du ladda ner här som pdf (1.6 MB)]
[http://www.math.se/documents/Logic_chapter1-2.pdf Kapitel 1-2 i boken kan du ladda ner här som pdf (1.6 MB)]
'''Svar och lösningar till övningsuppgifterna i boken:'''
'''Svar och lösningar till övningsuppgifterna i boken:'''
[http://wiki.math.se/wikis/logic/index.php/Answers_and_Solutions Answers and Solutions to Selected Problems]
[http://wiki.math.se/wikis/logic/index.php/Answers_and_Solutions Answers and Solutions to Selected Problems]
 +
 +
[http://daisy.dsv.su.se/servlet/Momentinfo?id=3317 Delkursinformation Logik för Datavetenskap, 7,5hp (ID1015) HT2009]
 +
 +
[http://daisy.dsv.su.se/servlet/schema.moment.Momentschema?id=3317 Schema Logik för Datavetenskap, 7,5hp (ID1015) HT2009]
 +
 +
[http://daisy.dsv.su.se/servlet/Momentinfo?id=3340 Delkursinformation Logik för Affärssystem, 7,5hp (ID1016) HT2009]
 +
 +
[http://daisy.dsv.su.se/servlet/schema.moment.Momentschema?id=3340 Schema Logik för Affärssystem, 7,5hp (ID1016) HT2009]

Revision as of 22:21, 28 August 2009

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

Schema Logik för Affärssystem, 7,5hp (ID1016) HT2009

Retrieved from "http://wiki.math.se/wikis/logic/index.php/Main_Page"