Grundläggande logik och modellteori (HT-13)

Nyheter

2013-08-20: Kursmaterial och laborationer kommer att skötas i Cambro. Cambro-sidan för kursen hittar ni här.
2013-03-18: Kom ihåg att registrera dig på kursen (för mer information se välkomstbrevet i menyn till vänster). Du kan registreras tidigast tre dagar före kursstart och senast fem dagar efter kursstart.
2013-03-18: Kom ihåg att anmäla dig till tentamen senast 10 dagar före tentamensdatumet. Du får inte skriva tentamen om du inte är anmäld.
2013-03-18: Läraren skickar information via mail till din cs-epostadress. Om du inte läser den dagligen så kan du göra en forward till en annan adress. Gå till sidan https://support.cs.umu.se/userinfo/info/index.html och fyll i din epostadress som du brukar läsa ifrån i rutan längst ned. Tryck sedan "Save settings".
2013-03-18: Kursens hemsida är initierad!

Regler och riktlinjer vid Datavetenskap

Riktlinjer vid labgenomförande
Att skriva labrapport
Regelsamlingen
Hederskodex
Datorregler