Algoritmimatematiikka 1, 5 op

Ydinsisältö

• LOGIIKKAA:
  Propositiologiikkaa, predikaattilogiikkaa, looginen päättely

• TODISTAMINEN
  
• RELAATIO JA FUNKTIO:
  Joukko-opin peruskäsitteitä, relaatioita ja niiden ominaisuuksia, ekvivalenssirelaatio sekä funktioita ja niiden ominaisuuksia
  
• Boolen algebra
  

Täydentävä tietämys

• Äärellisten joukkojen mahtavuus
• Kasvunopeuksia ja aikavaativuuksia.
• Normaalimuodot, predikaattilogiikan päättely.
• Listat

Erityistietämys

• Predikaattilogiikan ekvivalenssien todistaminen