Formleg ml og reiknanleiki

Kynning nmskeiinu


Kennari

Hjlmtr Hafsteinsson , dsent
Skrifstofa: 210, annari h Tknigari
Pstfang: hh (hja) hi.is

Fyrirlestrar



Kennslubk

Michael Sipser: Introduction to the Theory of Computation

Athugi a etta er lokatgfa kennslubkarinnar. Brabirgatgfa af bkinni var notu hausti '96, en a gengur ekki a nota tgfu. a er vst eitthva um prentvillur essari nju tgfu.

Einkunnagjf og dmaskil

Lg vera fyrir vikuleg heimadmi og koma au Vefsuna fimmtudgum. Lausnum ber a skila hlfi mitt VR-II fyrir hdegi mnudgum. Gefin verur einkunn fyrir heimadmin og gildir hn 15% af lokaeinkunn.

Heimadmin eru yfileitt ekki mjg erfi, annig a i skulu alltaf byrja v a reyna a leysa dmin sjlf. Yfirleitt mun a takast, en ef um er a ra flkin dmi er ykkur heimilt a ra um au vi ara nemendur og jafnvel a hjlpast a a leysa au. Vari ykkur v a vera ekki alltaf iggjendur slkri samvinnu v gri i lti essu.

Samkvmt reglum deildarinnar er skylt a skila 75% af heimadmunum (vntanlega um 9-10 skil hj okkur) og a mta 75% af dmatmunum til a f prftkurtt. g ver ekki eins strangur mtingaskyldunni eins og skilaskyldunni. Frjls mting er fyrirlestra.


hh@rhi.hi.is, 21. gst, 1998.