https://peda.net/id/34c79b0a630 2015-12-18T18:51:13+02:00 https://peda.net/:static/534/peda.net.logo.bg.svg <div class="license">Tämän sivun lisenssi <a rel="license" href="https://peda.net/info">Peda.net-yleislisenssi</a></div> https://peda.net/id/34c88fd8630 2015-12-18T18:51:41+02:00 <h3>Kurssin tavoitteena on, että opiskelija</h3> <ul> <li>perehtyy logiikan alkeisiin ja tutustuu todistusperiaatteisiin sekä harjoittelee todistamista</li> <li>hallitsee lukuteorian peruskäsitteet ja perehtyy alkulukujen ominaisuuksiin</li> <li>osaa tutkia kokonaislukujen jaollisuutta jakoyhtälön ja kokonaislukujen kongruenssin avulla</li> <li>syventää ymmärrystään lukujonoista ja niiden summista</li> <li>osaa käyttää teknisiä apuvälineitä lukujen ominaisuuksien tutkimisessa.</li> </ul> <h3><em>Keskeiset sisällöt</em></h3> <ul> <li>konnektiivit ja totuusarvot</li> <li>geometrinen todistaminen</li> <li>suora, käänteinen ja ristiriitatodistus</li> <li>induktiotodistus</li> <li>kokonaislukujen jaollisuus ja jakoyhtälö</li> <li>Eukleideen algoritmi</li> <li>alkuluvut ja Eratostheneen seula</li> <li>aritmetiikan peruslause</li> </ul> kokonaislukujen kongruenssi 2016-08-15T19:20:34+03:00