Muistiinpanot 2017-2018 Jaa Sulje Lataa tiedosto 1. Lauseen formalisointi91.6 kt 0 kommenttia Lataa tiedosto 2. Lauseen totuusarvot409 kt 0 kommenttia Lataa tiedosto 3. Loogisia arvoituksia117.2 kt 0 kommenttia Lataa tiedosto 4. Tautologia ja kontradiktio208.2 kt 0 kommenttia Lataa tiedosto 5. Avoin lause ja kvanttorit140.5 kt 0 kommenttia Lataa tiedosto 6. Suora todistus ja vastaesimerkit184.6 kt 0 kommenttia Lataa tiedosto 7. Epäsuora todistus181.9 kt 0 kommenttia Lataa tiedosto 8. Induktiotodistus220.1 kt 0 kommenttia Lataa tiedosto 9. Induktiotodistus, lisää tehtäviä317.1 kt 0 kommenttia Lataa tiedosto 10. Jakoyhtälö192.5 kt 0 kommenttia Lataa tiedosto 11. Suurin yhteinen tekijä ja pienin yhteinen monikerta267.9 kt 0 kommenttia Lataa tiedosto 12. Alkuluvut113.2 kt 0 kommenttia Lataa tiedosto 13. Jaollisuuslauseita238.1 kt 0 kommenttia
