Wiki source code of 57274
Last modified by tvikberg@helsinki_fi on 2024/03/27 10:14
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | = Logiikka I = | ||
2 | |||
3 | == Kurssikoodi == | ||
4 | |||
5 | 57274 | ||
6 | |||
7 | == Tyyppi == | ||
8 | |||
9 | Aineopintoja. | ||
10 | |||
11 | == Kurssisivut == | ||
12 | |||
13 | [[doc:mathstatKurssit.57274.Logiikka I, kevät 2009.WebHome]] | ||
14 | [[doc:mathstatKurssit.Home.Kevät 2010.Logiikka I, kevät 2010.WebHome]] | ||
15 | [[doc:mathstatKurssit.Home.Kevät 2011.Logiikka I, kevät 2011.WebHome]] | ||
16 | [[doc:mathstatKurssit.Kevät 2012.Logiikka I, kevät 2012.WebHome]] | ||
17 | [[doc:mathstatKurssit.Home.Kevät 2011.Logic I, spring 2011.WebHome]] | ||
18 | |||
19 | == Sisältö == | ||
20 | |||
21 | === Ydinaines === | ||
22 | |||
23 | Propositio- ja predikaattilogiikka | ||
24 | Totuusmääritelmät (erityisesti Tarskin totuusmääritelmä) | ||
25 | Formaalin todistuksen käsite (luonnollinen päättely) | ||
26 | Semanttiset puut | ||
27 | Propositiologiikan täydellisyyslause | ||
28 | Predikaattilogiikan täydellisyyslause erikoistapauksessa (relationaalinen kieli, ei identiteettiä) | ||
29 | |||
30 | === Täydentävä tietous === | ||
31 | |||
32 | Perustietoja määriteltävyydestä | ||
33 | |||
34 | === Erityistietämys === | ||
35 | |||
36 | Predikaattilogiikan laajennukset | ||
37 | Ei-klassinen logiikka | ||
38 | |||
39 | == Laajuus == | ||
40 | |||
41 | 10 op. | ||
42 | |||
43 | == Esitietovaatimukset == | ||
44 | |||
45 | Esitietoja ei tarvita |