Grundläggande logik och modellteori (HT-14)

Nyheter

2014-04-01: 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.
2014-04-01: 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.
2014-04-01: 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".
2014-04-01: Kursens hemsida är initierad!

Regler och riktlinjer vid Datavetenskap

Riktlinjer vid labgenomförande
Regelsamlingen
Hederskodex
Datorregler