Skip to content. | Skip to navigation

Navigation

RSS feed

Logiikka 2020-2021

FILA170 Logiikka

Logiikka orientaatio

17:41
Logiikka orientaatio
23.6.2020

Logiikka johdanto

13:03
Logiikka johdanto
23.6.2020

Lauselogiikka syntaksi johdanto

07:56
Lauselogiikka syntaksi johdanto
23.6.2020

Lauseen määritelmä

16:52
Lauseen määritelmä
23.6.2020

Lauseenmuodostusesimerkkejä

23:03
Lauseenmuodostusesimerkkejä
23.6.2020

Esimerkki konnektiivien määrittelemisestä

07:36
Esimerkki konnektiivien määrittelemisestä
23.6.2020

Määritelmä pääkonnektiivi

04:38
Määritelmä pääkonnektiivi
23.6.2020

Sopimus sulkeista

06:55
Sopimus sulkeista
23.6.2020

Päättelyteoria johdanto

15:42
Päättelyteoria johdanto
23.6.2020

Päättelysäännöt osa 1

19:33
Päättelysäännöt osa 1
23.6.2020

Päättelysäännöt osa 2

28:17
Päättelysäännöt osa 2
23.6.2020

Päättelysäännöt osa 3

21:09
Päättelysäännöt osa 3
23.6.2020

Päättelysääntöjen käytöstä

14:09
Päättelysääntöjen käytöstä
23.6.2020

Deduktiivinen todistus

11:51
Deduktiivinen todistus määritelmä ja esimerkki 1
23.6.2020

Todistusesimerkki 2

11:06
Todistusesimerkki 2
23.6.2020

Todistusesimerkki 3

05:06
Todistusesimerkki 3
23.6.2020

Todistusesimerkki 4

05:58
Todistusesimerkki 4
23.6.2020

Todistusesimerkki 5

05:55
Todistusesimerkki 5
23.6.2020

Todistusesimerkki 6

05:12
Todistusesimerkki 6
23.6.2020

Todistusesimerkki 7

04:36
Todistusesimerkki 7
23.6.2020

Todistusesimerkki 8

07:33
Todistusesimerkki 8
23.6.2020

Todistusesimerkki 9

06:27
Todistusesimerkki 9
23.6.2020

Todistusesimerkki 10

06:52
Todistusesimerkki 10
23.6.2020

Todistusesimerkki 11

05:25
Todistusesimerkki 11
23.6.2020

Todistusesimerkki 12

15:23
Todistusesimerkki 12
23.6.2020

Ehdollisen todistuksen periaate ja esim 13

07:43
Ehdollisen todistuksen periaate ja esim 13
23.6.2020

Epäsuoran todistuksen periaate ja esim 14

10:49
Epäsuoran todistuksen periaate ja esim 14
23.6.2020

Harjoitus 1 t1

12:37
Harjoitus 1 t1
23.6.2020

Harjoitus 1 t2

14:56
Harjoitus 1 t2
23.6.2020

Harjoitus 1 t3

05:34
Harjoitus 1 t3
23.6.2020

Harjoitus 1 t4

05:03
Harjoitus 1 t4
23.6.2020

Harjoitus 1 t5

02:34
Harjoitus 1 t5
23.6.2020

Harjoitus 1 t6

23:43
Harjoitus 1 t6
23.6.2020

Harjoitus 2 e

01:55
Harjoitus 2 e
23.6.2020

Harjoitus 2 f

03:09
Harjoitus 2 f
23.6.2020

Harjoitus 2 g

04:09
Harjoitus 2 g
23.6.2020

Harjoitus 2 m

06:04
Harjoitus 2 m
23.6.2020

Harjoitus 2 n

04:31
Harjoitus 2 n
23.6.2020

Harjoitus 2 o

04:44
Harjoitus 2 o
23.6.2020

Harjoitus 2 p

05:07
Harjoitus 2 p
23.6.2020

Harjoitus 2 q

03:37
Harjoitus 2 q
23.6.2020

Harjoitus 2 t

06:23
Harjoitus 2 t
23.6.2020

Logiikka semantiikka lähtökohtia

15:02
Logiikka semantiikka lähtökohtia
23.6.2020

Lauselogiikka semantiikka konnektiivien totuusarvot

14:44
Lauselogiikka semantiikka konnektiivien totuusarvot
23.6.2020

Lauselogiikka semantiikka totuusarvotaulukot

20:39
Lauselogiikka semantiikka totuusarvotaulukot
23.6.2020

Lauselogiikka semantiikka semanttisia ominaisuuksia

08:45
Lauselogiikka semantiikka semanttisia ominaisuuksia
23.6.2020

Lauselogiikka semantiikka looginen pätevyys

09:10
Lauselogiikka semantiikka looginen pätevyys
23.6.2020

Lauselogiikka semantiikka Metateoreemat 1 ja 2

23:40
Lauselogiikka semantiikka Metateoreemat 1 ja 2
23.6.2020

Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1

05:46
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1
23.6.2020

Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2

09:09
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2
23.6.2020

Lauselogiikka semantiikka Esimerkkejä loogisista virheistä

09:27
Lauselogiikka semantiikka Esimerkkejä loogisista virheistä
23.6.2020

Predikaattilogiikka orientaatio

09:16
Predikaattilogiikka orientaatio
23.6.2020

Predikaattilogiikka kieli

31:29
Predikaattilogiikka kieli
23.6.2020

Predikaattilogiikka esimerkkejä lauseista

16:52
Predikaattilogiikka esimerkkejä lauseista
23.6.2020

Predikaattilogiikka totuusarvot määritelmät

26:31
Predikaattilogiikka totuusarvot määritelmät
23.6.2020

Predikaattilogiikka looginen ekvivalenssi

12:15
Predikaattilogiikka looginen ekvivalenssi
23.6.2020

Predikaattilogiikka päättelysäännöt

19:50
Predikaattilogiikka päättelysäännöt
23.6.2020

Predikaattilogiikka todistusesimerkki

11:27
Predikaattilogiikka todistusesimerkki
23.6.2020

Predikaattilogiikka looginen epäpätevyys

10:07
Predikaattilogiikka looginen epäpätevyys
23.6.2020

Harjoitukset kierros 3 t 1-3

21:56
Harjoitukset kierros 3 t 1-3
23.6.2020

Harjoitukset kierros 3 t 4

03:57
Harjoitukset kierros 3 t 4
23.6.2020

Harjoitukset kierros 3 t 5

07:09
Harjoitukset kierros 3 t 5
23.6.2020

Harjoitukset kierros 3 t 6

06:36
Harjoitukset kierros 3 t 6
23.6.2020

Harjoitukset kierros 3 t 7

07:56
Harjoitukset kierros 3 t 7
23.6.2020

Harjoitukset kierros 3 t 9

06:08
Harjoitukset kierros 3 t 9
23.6.2020

Harjoitukset kierros 3 t 10

06:26
Harjoitukset kierros 3 t 10
23.6.2020

Harjoitukset kierros 3 t 11

10:51
Harjoitukset kierros 3 t 11
23.6.2020

Joukko-oppia peruskäsitteitä

25:23
Joukko-oppia peruskäsitteitä
23.6.2020

Modaalilogiikasta suppea

27:19
Modaalilogiikasta suppea
23.6.2020

Modaalilogiikasta laaja

20:06
Modaalilogiikasta laaja
23.6.2020

Harjoitukset kierros 4 t1

12:45
Harjoitukset kierros 4 t1
23.6.2020

Harjoitukset kierro 4 t2

04:00
Harjoitukset kierro 4 t2
23.6.2020

Harjoitukset kierros 4 t3

03:18
Harjoitukset kierros 4 t3
23.6.2020

Harjoitukset kierros 4 t4

06:06
Harjoitukset kierros 4 t4
23.6.2020

Harjoitukset kierros 4 t5

06:35
Harjoitukset kierros 4 t5
23.6.2020

Harjoitukset kierros 4 t6

03:06
Harjoitukset kierros 4 t6
23.6.2020

Harjoitukset kierros 4 t7

02:49
Harjoitukset kierros 4 t7
23.6.2020

Harjoitukset kierros 5 t1

06:01
Harjoitukset kierros 5 t1
23.6.2020

Harjoitukset kierros 5 t2

02:56
Harjoitukset kierros 5 t2
23.6.2020

Harjoitukset kierros 5 t3

04:36
Harjoitukset kierros 5 t3
23.6.2020

Harjoitukset kierros 5 t4

03:57
Harjoitukset kierros 5 t4
23.6.2020

Harjoitukset kierros 5 t5

05:47
Harjoitukset kierros 5 t5
23.6.2020

Harjoitukset kierros 5 t6

04:27
Harjoitukset kierros 5 t6
23.6.2020

Harjoitukset kierros 5 t7

02:13
Harjoitukset kierros 5 t7
23.6.2020

Harjoitukset kierros 5 t8

03:16
Harjoitukset kierros 5 t8
23.6.2020

Harjoitukset kierros 5 t9

02:20
Harjoitukset kierros 5 t9
23.6.2020

Harjoitukset kierros 5 t10

03:38
Harjoitukset kierros 5 t10
23.6.2020

Harjoituksia Orwell

41:44
Orwell, ratkaisuja ja pohdintaa
23.6.2020

Joukko-oppi osa 1

12:37
Joukko-oppi 1
23.6.2020

Joukko-oppi osa 2

14:44
Joukko-oppi osa 2
23.6.2020

Modaalilogiikka 1

29:23
Modaalilogiikka 1
23.6.2020

Modaalilogiikka 2

22:21
Modaalilogiikka 2
23.6.2020

Modaalilogiikka 3

20:59
Modaalilogiikka 3
23.6.2020

Modaalilogiikka 4

14:45
Modaalilogiikka 4
23.6.2020

Modaalilogiikka 5

14:09
Modaalilogiikka 5
23.6.2020

Modaalilogiikka 6

18:06
Modaalilogiikka 6
23.6.2020

Ei-klassisista osa 1 (ver2)

29:04
Ei-klassisista osa 1
23.6.2020

Ei-klassisista osa 2

07:33
Ei-klassisista osa 2
23.6.2020

Ei-klassisista osa 3

14:48
Ei-klassisista osa 3 (ver2)
23.6.2020

Ei-klassisista osa 4

16:50
Ei-klassisista osa 4
23.6.2020
Navigation