 |
Kursens mål är att de studerande skall
- lära sig att formalisera påståendesatser
och undersöka deras sanningsvärden med hjälp av
sanningstabeller
- förstå begreppet öppen sats och lära
sig att använda kvantorer
- lära sig bevisföringsprinciper och öva sig
i bevisföring
- lära sig talteorins grundbegrepp och göra sig
förtrogna med primtalens egenskaper
- lära sig att undersöka hela tals delbarhet med
hjälp av delbarhetsekvationer och kongruens mellan hela tal
- kunna bestämma den största gemensamma faktorn
hos hela tal med Euklides algoritm
Centralt innehåll
- formalisering av satser
- sanningsvärden hos satser
- öppna satser
- kvantorer
- direkta bevis, kontrapositionsbevis och indirekta bevis
- hela tals delbarhet och delbarhetsekvationer
- Euklides algoritm
- primtal
- aritmetikens grundsats
- kongruens hos hela tal
 
|
|
|
|
