Logiikka 2020-2021 — Moniviestin

Navigointi

Yhteiskuntatieteiden ja filosofian laitos
en
Esittelyvideot
Kulttuuripolitiikka
Yhteiskuntapolitiikka
Väkivaltatutkimus
YFIA200 Kevät 2017
Ranskalainen parlamentarismi ja antiparlamentarismi
UN Ideas in World Poltics
YFIP250
Kari Palosen jäähyväisluento
YTKY010 Propedeuttinen kurssi
FILY025
YFIY100
FILA170
YFIS200 Kevät 2017
YFIS200 SPSS-demot
Väkivaltatutkimus
YFIP1001
SOSS3106 Environment & Society
YFIS200 Kvalitatiiviset ja kvantitatiiviset syventävät menetelmät
Väkivaltatutkimus - Syksy 2018
YFIS200 Kvalitatiiviset menetelmät kevät 2019
Logiikka 2020-2021
- Logiikka orientaatio
- Logiikka johdanto
- Lauselogiikka syntaksi johdanto
- Lauseen määritelmä
- Lauseenmuodostusesimerkkejä
- Esimerkki konnektiivien määrittelemisestä
- Määritelmä pääkonnektiivi
- Sopimus sulkeista
- Päättelyteoria johdanto
- Päättelysäännöt osa 1
- Päättelysäännöt osa 2
- Päättelysäännöt osa 3
- Päättelysääntöjen käytöstä
- Deduktiivinen todistus
- Todistusesimerkki 2
- Todistusesimerkki 3
- Todistusesimerkki 4
- Todistusesimerkki 5
- Todistusesimerkki 6
- Todistusesimerkki 7
- Todistusesimerkki 8
- Todistusesimerkki 9
- Todistusesimerkki 10
- Todistusesimerkki 11
- Todistusesimerkki 12
- Ehdollisen todistuksen periaate ja esim 13
- Epäsuoran todistuksen periaate ja esim 14
- Harjoitus 1 t1
- Harjoitus 1 t2
- Harjoitus 1 t3
- Harjoitus 1 t4
- Harjoitus 1 t5
- Harjoitus 1 t6
- Harjoitus 2 e
- Harjoitus 2 f
- Harjoitus 2 g
- Harjoitus 2 m
- Harjoitus 2 n
- Harjoitus 2 o
- Harjoitus 2 p
- Harjoitus 2 q
- Harjoitus 2 t
- Logiikka semantiikka lähtökohtia
- Lauselogiikka semantiikka konnektiivien totuusarvot
- Lauselogiikka semantiikka totuusarvotaulukot
- Lauselogiikka semantiikka semanttisia ominaisuuksia
- Lauselogiikka semantiikka looginen pätevyys
- Lauselogiikka semantiikka Metateoreemat 1 ja 2
- Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1
- Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2
- Lauselogiikka semantiikka Esimerkkejä loogisista virheistä
- Predikaattilogiikka orientaatio
- Predikaattilogiikka kieli
- Predikaattilogiikka esimerkkejä lauseista
- Predikaattilogiikka totuusarvot määritelmät
- Predikaattilogiikka looginen ekvivalenssi
- Predikaattilogiikka päättelysäännöt
- Predikaattilogiikka todistusesimerkki
- Predikaattilogiikka looginen epäpätevyys
- Harjoitukset kierros 3 t 1-3
- Harjoitukset kierros 3 t 4
- Harjoitukset kierros 3 t 5
- Harjoitukset kierros 3 t 6
- Harjoitukset kierros 3 t 7
- Harjoitukset kierros 3 t 9
- Harjoitukset kierros 3 t 10
- Harjoitukset kierros 3 t 11
- Joukko-oppia peruskäsitteitä
- Modaalilogiikasta suppea
- Modaalilogiikasta laaja
- Harjoitukset kierros 4 t1
- Harjoitukset kierro 4 t2
- Harjoitukset kierros 4 t3
- Harjoitukset kierros 4 t4
- Harjoitukset kierros 4 t5
- Harjoitukset kierros 4 t6
- Harjoitukset kierros 4 t7
- Harjoitukset kierros 5 t1
- Harjoitukset kierros 5 t2
- Harjoitukset kierros 5 t3
- Harjoitukset kierros 5 t4
- Harjoitukset kierros 5 t5
- Harjoitukset kierros 5 t6
- Harjoitukset kierros 5 t7
- Harjoitukset kierros 5 t8
- Harjoitukset kierros 5 t9
- Harjoitukset kierros 5 t10
- Harjoituksia Orwell
- Joukko-oppi osa 1
- Joukko-oppi osa 2
- Modaalilogiikka 1
- Modaalilogiikka 2
- Modaalilogiikka 3
- Modaalilogiikka 4
- Modaalilogiikka 5
- Modaalilogiikka 6
- Ei-klassisista osa 1 (ver2)
- Ei-klassisista osa 2
- Ei-klassisista osa 3
- Ei-klassisista osa 4
YFIP1001 - 2020
Yhteiskuntatieteiden ja filosofian laitoksen 30-vuotisjuhlaseminaari

Valitse: Kaikki
	Otsikko	Koko	Muutettu	Tila
Harjoitus 2 q	Harjoitus 2 q	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Harjoitus 2 t	Harjoitus 2 t	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Logiikka semantiikka lähtökohtia	Logiikka semantiikka lähtökohtia	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka konnektiivien totuusarvot	Lauselogiikka semantiikka konnektiivien totuusarvot	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka totuusarvotaulukot	Lauselogiikka semantiikka totuusarvotaulukot	0 KB	torstai 28. tammikuuta 2021, 17.56	Julkaistu
Lauselogiikka semantiikka semanttisia ominaisuuksia	Lauselogiikka semantiikka semanttisia ominaisuuksia	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka looginen pätevyys	Lauselogiikka semantiikka looginen pätevyys	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka Metateoreemat 1 ja 2	Lauselogiikka semantiikka Metateoreemat 1 ja 2	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1	Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 1	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2	Lauselogiikka semantiikka Falafelimurhaajan tapaus osa 2	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Lauselogiikka semantiikka Esimerkkejä loogisista virheistä	Lauselogiikka semantiikka Esimerkkejä loogisista virheistä	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka orientaatio	Predikaattilogiikka orientaatio	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka kieli	Predikaattilogiikka kieli	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka esimerkkejä lauseista	Predikaattilogiikka esimerkkejä lauseista	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka totuusarvot määritelmät	Predikaattilogiikka totuusarvot määritelmät	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka looginen ekvivalenssi	Predikaattilogiikka looginen ekvivalenssi	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka päättelysäännöt	Predikaattilogiikka päättelysäännöt	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka todistusesimerkki	Predikaattilogiikka todistusesimerkki	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Predikaattilogiikka looginen epäpätevyys	Predikaattilogiikka looginen epäpätevyys	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Harjoitukset kierros 3 t 1-3	Harjoitukset kierros 3 t 1-3	0 KB	tiistai 25. elokuuta 2020, 10.47	Julkaistu
Näytä kaikki...