• 00:14  Et overblikk over hvor vi er i kurset

Kapittel 13

• 02:33  Definisjonene for førsteordens språk
• 08:32  – Signatur
• 09:55  – Førsteordens termer
• 20:32  – Atomær formel
• 25:41  – Førsteordens formler
• 32:41  Visualisering av induktiv oppbygging av mengden av førsteordens formler

Kapittel 14

• 0:40:29  Lese førsteordens formler
• 0:41:58  Frie og bundne variabler, skop og lukkede formler
• 0:48:15  Å uttrykke seg med førsteordens formler
• 1:08:42  Tallteori-språket
• 1:10:38  Fra formel til naturlig språk