Logiikka I, kl 2007

Kurssi-info Lisämateriaali Harjoitustehtävät Käsitellyt asiat

Muista kurssikysely toisen kurssikokeen jälkeen!

Tentit

Tentti Osattavat asiat Harjoitukset Kirjan luvut
1
  1. propositiolauseet
  2. totuusjakauma
  3. totuustaulu
  4. semanttinen puu
  5. päättely
  6. eheyslause
 1-5 2.1-2.6, 2.7 (eheyslause)
2
  1. predikaattilogiikka
  2. kaava
  3. malli
  4. tulkintajono
  5. Tarskin totuusmääritelmä
  6. vapaa muuttuja
  7. lause
  8. semanttinen puu
  9. semanttinen todistus
  10. päättely
  11. eheys- ja täydellisyyslause
  12. määriteltävyys
 6-11* 3.1-3.3, 3.4 (sovellukset), 4.1 (korollaari 153 + sovellukset)

*Määriteltävyyttä (luku 4.1) ei ole käsitelty harjoituksissa, vaan pelkästään luennoilla. Kirjan korollaarin 153 soveltamista edellytetään tentissä.