Fte170 Johdatus logiikkaan

Tunniste: 403092 Op: 5
Huom! Opintojakso suoritetaan teoreettisen filosofian vaatimusten mukaan. Kirjallisuuskuulustelu suoritetaan humanistisen tiedekunnan perusopintojen tenttipäivinä.

Teoreettisen filosofian vastuulla olevat opintojaksot: Ks. lisää: http://www.helsinki.fi/hum/tiedekuntatentit/index.htm

Tavoite

Tavoitteena on tutustuttaa opiskelija logiikan alkeisiin sekä harjaannuttaa logiikan ja joukko-opin käsitteistön käyttöön.

Suoritustapa

Luentokurssin ja siihen liittyvän oheislukemiston loppukuulustelu harjoituksineen tai kirjallisuuskuulustelu humanistisen tiedekunnan tiedekuntatentissä.

Opetus

  • Johdatus logiikkaan >> 1 2

Kirjallisuus

Suoritetaan joko a tai b:
a)
  • Miettinen S K: Logiikka - perusteet.
b)
  • Barwise J & J Etchemendy J: Language, Proof and Logic, luvut 1-9.
Admin