Opiskelijan opas
|
Opinto-oppaat
|
Opetusohjelma
|
»
Tampereen yliopisto:
Opetusohjelma 2008–2009
Arkistoitu opetusohjelma 2008–2009
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_2009.htm
Opetus
Luento-opetus
39 tuntia
Luento
Ti 13.1.2009 - 14.4.2009 viikoittain klo 12.15-14.00, Paavo Koli-sali
Poikkeukset:
3.2.2009 klo 8.15 –10.00 , Paavo Koli-sali, ei luentoa 12-14.
Harjoitukset
24 tuntia
Luento ja harjoitukset
Pe 9.1.2009 - 17.4.2009 viikoittain klo 9.15-12.00, B3107
Tietojenkäsittelytieteiden laitos
Opetusohjelma, johon kurssi kuuluu
Tietojenkäsittelytieteiden laitos
Tietojenkäsittelyoppi / Vuorovaikutteinen teknologia