P7 Johdatus logiikkaan

Ooditunniste 403092

Laajuus 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ä.

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