729G06 Programmering och logik: Kursinformation
Mål
Målet med denna kurs är att du ska lära dig programmering och formell modellering. Efter kursen ska du känna dig hemma med logiska begrepp och modeller, och du ska kunna bygga lite större program som till exempel ett enkelt textbaserat äventyrsspel, en chatbot, ett enkelt grafiskt spel eller verktyg för att utföra psykologiska laborationer eller kvalitativa undersökningar (exempelvis enkäter).
Innehåll
Kursen består av två delar; en som tar upp logik och en som behandlar programmering.
Logik
I logikdelen får vi lära oss vad korrekta resonemang är och hur man gör dem. Du kommer att kunna imponera dina vänner genom att:
- Formalisera reasonemang i första ordningens predikatlogik
- Använda sanningstabeller och naturlig deduktion för att bevisa dina slutsatser
- Skapa modeller för att motbevisa felaktiga resonemang
Programmering
Inom programmering tar vi upp verktyg som behövs för att kunna skapa lite större datorprogram:
- Objektorienterad programmering
- Grundläggande objektorienterad design
- Grundläggande textbearbetning och filhantering
- Programmering av grafik och interaktion
- Tekniker för programdesign (skisser, diagram, pseudokod)
Organisation
Programmeringsföreläsningarna ges i början av kursen. Laborationerna i programmeringsdelen går över hela terminen. Logikdelens föreläsningar och börjar fyra veckor in på kursen och fortsätter till slutet av terminen.Logik
Undervisningen består av föreläsningar och lektioner. På föreläsningarna går vi igenom begreppen och dessa övas och tillämpas sedan på lektionerna. Förbered föreläsningarna genom att läsa i boken och lektionerna genom att göra de föreslagna övningarna i boken.
Programmering
De schemalagda momenten i programmeringsdelen består av föreläsningar och laborationer. Examinationen består av labbuppgifter i ett projekt. Se Examination för mer information. På föreläsningarna förklaras begrepp och principer för programmering och delvis systemutveckling. Dessa tillämpas i övningar som genomförs på lektionerna och laborationen/projektet.
För att lära sig programmera behövs mycket övning, både vid datorn och på papper. Förbered föreläsninagr och laboration genom att läsa igenom boken och de övningar som ska göras. Fundera på hur de kan lösas och skissa på papper.
Observera att du kommer att behöva jobba mer än den schemalagda labbtiden för att klara kursen. Efter kursens slut ges ingen handledning på laboration eller projekt.
Kurslitteratur
Obligatorisk kurslitteratur
- Introduktion till predikatlogik av Jörgen Sjögren.
- Övningsuppgifter från Första ordningens logik av Christian Bennet. Skriv ut själv (billigt!) eller läs som PDF (gratis!)
- Downey, Allen B. 2012. Think Python: How to Think Like a Computer Scientist. O'Reilly Media. URL: http://www.greenteapress.com/thinkpython/
Kompletterande/Rekommenderad litteratur
- Erik Lindblad. 2006. Programmering i Python. Studentlitteratur AB. ISBN10: 9144045204
- http://www.byteofpython.info/
- http://www.diveintopython.org/
- Christian Bennet. 2004. Första ordningens logik. Studentlitteratur AB 2004. ISBN: 9789144034539
Examination
Se länken "Examination" i menyn för information om examinationsmoment, betyg m.m.
Sidansvarig: Jody Foo
Senast uppdaterad: 2013-01-18
