Opiskelijan opas
|
Opinto-oppaat
|
Opetusohjelma
|
»
Tampereen yliopisto:
Opetusohjelma 2010–2011
Arkistoitu opetusohjelma 2010–2011
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät
täältä
.
▪
Opetusohjelmat
»
Tietojenkäsittelytieteiden laitos
TKOPS114 Logiikkaohjelmointi 10 op
Periodit
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
TKOPS114
Logiikkaohjelmointi
Tietojenkäsittelyoppi
Tietojenkäsittelytieteiden laitos
Opettajat
Timo Niemi, Opettaja
kotisivu
Opintojakson kotisivu
http://www.cs.uta.fi/~tn/Logo_kotisivu_2011.htm
Opetus
11.1.2011 – 13.5.2011
Luento-opetus
39 tuntia
Ti 11.1.2011 - 12.4.2011 viikoittain klo 12-14, Paavo Koli, Ei vk 9
Pe 14.1.2011 - 15.4.2011 viikoittain klo 9-10, Pinni ls B4117, Ei vk 9
Harjoitukset
24 tuntia
Pe 14.1.2011 - 15.4.2011 viikoittain klo 10-12, Pinni ls B4117, Ei vk 9
Tietojenkäsittelytieteiden laitos
Opetusohjelma, johon kurssi kuuluu
Tietojenkäsittelytieteiden laitos
Tietojenkäsittelyoppi / Vuorovaikutteinen teknologia