|
|
Esimerkki päättelymuodon tunnistaminen
|
0 KB
|
tiistai 18. tammikuuta 2022, 13.29 |
Julkaistu tekstityksellä
|
|
|
Lauselogiikan laajennuksia
|
0 KB
|
maanantai 28. helmikuuta 2022, 15.59 |
Julkaistu
|
|
|
Logiikka johdanto k2023
|
0 KB
|
tiistai 10. tammikuuta 2023, 15.45 |
Julkaistu tekstityksellä
|
|
|
Lauselogiikan kieli ja esimerkkejä k2023
|
0 KB
|
tiistai 10. tammikuuta 2023, 15.45 |
Julkaistu tekstityksellä
|
|
|
Pääkonnektiivi k2023
|
0 KB
|
tiistai 10. tammikuuta 2023, 15.46 |
Julkaistu tekstityksellä
|
|
|
Esimerkkejä lauselogiikan ilmaisuista k2023
|
0 KB
|
tiistai 10. tammikuuta 2023, 15.46 |
Julkaistu tekstityksellä
|
|
|
Predikaattilogiikkaan orientaatiota joukko-opin peruskäsittein
|
0 KB
|
tiistai 14. helmikuuta 2023, 11.55 |
Julkaistu tekstityksellä
|
|
|
Predikaattilogiikka säännöt ja ilmaisut
|
0 KB
|
tiistai 21. helmikuuta 2023, 12.28 |
Julkaistu tekstityksellä
|
|
|
Kertaustehtävän 1 ratkaisu
|
0 KB
|
tiistai 18. helmikuuta 2025, 14.44 |
Julkaistu
|
|
|
Kertaust 2 ratk
|
0 KB
|
tiistai 18. helmikuuta 2025, 14.47 |
Julkaistu
|
|
|
Logfil1
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.56 |
Julkaistu
|
|
|
Logfil2
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.57 |
Julkaistu
|
|
|
logfil3
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.57 |
Julkaistu
|
|
|
logfil4
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.58 |
Julkaistu
|
|
|
logfil5
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.58 |
Julkaistu
|
|
|
logfil6
|
0 KB
|
perjantai 21. helmikuuta 2025, 16.59 |
Julkaistu
|