Her finner du opptak av fellestimene fra høsten 2016. I disse videoene repeterer Roger stoffet fra de to kapitlene for denne uka, svarer på spørsmål fra studentene og løser noen av oppgavene i boka. Det er altså ikke noe nytt stoff i disse videoene, men pensumet blir presentert på en litt annen måte. Disse videoene kan dermed gi en bedre forståelse for et konsept, eller rette opp i misforståelser.

• 3:20  Kapittel 1 - Mengdelære
• 4:00  Snitt, union og mengdedifferanse
• 22:20  Element i og delmengde
• 27:40  Den tomme mengden
• 40:40  Likhet mellom mengder
• 43:30  Mengder vs multimengder vs tupler
• 49:35  Kapittel 2 - Utsagnslogikk
• 52:40  Symbolene i utsagnslogiske formler
• 54:50  Sette sammen utsagnslogiske formler til større utsagnslogiske formler. I det nest innerste skallet kunne Roger også tatt med $(P \land P)$, $(P \lor P)$, $(P \rightarrow P)$, $(Q \land Q)$, $(Q \lor Q)$ og $(Q \rightarrow Q)$.
• 1:02:05  Atomære og sammensatte utsagn og atomære og sammensatte formler
• 1:02:50  Eksempler på representasjon av utsagn med utsagnslogiske formler