|
|
Logiikka orientaatio
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Logiikka johdanto
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Lauselogiikka syntaksi johdanto
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Lauseen määritelmä
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Lauseenmuodostusesimerkkejä
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Esimerkki konnektiivien määrittelemisestä
|
0 KB
|
sunnuntai 09. tammikuuta 2022, 15.58 |
Julkaistu
|
|
|
Määritelmä pääkonnektiivi
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Sopimus sulkeista
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Päättelyteoria johdanto
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Päättelysäännöt osa 1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Päättelysäännöt osa 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Päättelysäännöt osa 3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Päättelysääntöjen käytöstä
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Deduktiivinen todistus
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 7
|
0 KB
|
tiistai 25. elokuuta 2020, 10.45 |
Julkaistu
|
|
|
Todistusesimerkki 8
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Todistusesimerkki 9
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Todistusesimerkki 10
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Todistusesimerkki 11
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Todistusesimerkki 12
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Ehdollisen todistuksen periaate ja esim 13
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Epäsuoran todistuksen periaate ja esim 14
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 1 t6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 e
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 f
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 g
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 m
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 n
|
0 KB
|
tiistai 07. syyskuuta 2021, 09.46 |
Julkaistu
|
|
|
Harjoitus 2 o
|
0 KB
|
tiistai 25. elokuuta 2020, 10.46 |
Julkaistu
|
|
|
Harjoitus 2 p
|
0 KB
|
tiistai 07. syyskuuta 2021, 09.58 |
Julkaistu
|
|
|
Harjoitus 2 q
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Harjoitus 2 t
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Logiikka semantiikka lähtökohtia
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka konnektiivien totuusarvot
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka totuusarvotaulukot
|
0 KB
|
torstai 28. tammikuuta 2021, 17.56 |
Julkaistu
|
|
|
Lauselogiikka semantiikka semanttisia ominaisuuksia
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka looginen pätevyys
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka Metateoreemat 1 ja 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Lauselogiikka semantiikka Esimerkkejä loogisista virheistä
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka orientaatio
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka kieli
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka esimerkkejä lauseista
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka totuusarvot määritelmät
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka looginen ekvivalenssi
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka päättelysäännöt
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka todistusesimerkki
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Predikaattilogiikka looginen epäpätevyys
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 1-3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.47 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 7
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 9
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 10
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 3 t 11
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Joukko-oppia peruskäsitteitä
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikasta suppea
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikasta laaja
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierro 4 t2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 4 t7
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t7
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t8
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t9
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoitukset kierros 5 t10
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Harjoituksia Orwell
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Joukko-oppi osa 1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Joukko-oppi osa 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 1
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 3
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 5
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Modaalilogiikka 6
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Ei-klassisista osa 1 (ver2)
|
0 KB
|
keskiviikko 17. helmikuuta 2021, 16.36 |
Julkaistu
|
|
|
Ei-klassisista osa 2
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|
|
|
Ei-klassisista osa 3
|
0 KB
|
keskiviikko 17. helmikuuta 2021, 17.19 |
Julkaistu
|
|
|
Ei-klassisista osa 4
|
0 KB
|
tiistai 25. elokuuta 2020, 10.48 |
Julkaistu
|