Relasjoner og funksjoner

Denne uken handler INF1080 om relasjoner og funksjoner. På tirsdag definerer vi og snakker om relasjoner. Matematisk sett er en relasjon en mengde med tupler. Vi snakker om de viktigste egenskapene relasjoner kan ha, om ekvivalensrelasjoner og om ordninger. På torsdag definerer vi og snakker om funksjoner, snakker om de viktigste egenskapene funksjoner kan ha og om operasjoner, som en spesiell type funksjoner. I gruppeundervisningen er temaene resten av utsagnslogikk, samt bevismetoder. Det er lurt å komme forberedt til forelesningene fra nå av. Les minst gjennom kapittel seks én gang før tirsdag og kapittel sju én gang før torsdag. Vel møtt!