Opiskelijan opas
|
Opinto-oppaat
|
Opetusohjelma
|
»
Tampereen yliopisto:
Opetusohjelma 2009–2010
Arkistoitu opetusohjelma 2009–2010
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_2010.htm
Opetus
8.1.2010 – 16.4.2010
Luento-opetus
39 tuntia
Luento ja harjoitukset
Pe 8.1.2010 - 16.4.2010 viikoittain klo 9.15-12.00, B4117
Luento
Ti 12.1.2010 - 13.4.2010 viikoittain klo 12.15-14.00, Paavo Koli-sali
Harjoitukset
24 tuntia
Tietojenkäsittelytieteiden laitos
Opetusohjelma, johon kurssi kuuluu
Tietojenkäsittelytieteiden laitos
Tietojenkäsittelyoppi / Vuorovaikutteinen teknologia