Matematik/Diskret matematik/Logik

Diskret Matematik
Introduktion Kombinatorik Mängder Logik
Satslogik/Predikatlogik
Talteori

Logiken används för att bevisa sanningshalten i matematiska påståenden. Logiken kan indelas i två områden:

Satslogiken behandlar enklare påståenden typ: om det regnar eller snöar så badar jag inte ((det regnar ∨ det snöar)→¬(badar jag)) medan predikatlogiken även innefattar påståenden om mängder, ex. det finns människor som inte arbetar (∃x ¬arbetar(x))