Kapittel 24 – Naturlig deduksjon / Fellestimer H16

Fellestime 1 - Repetisjon

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)
  • 02:05  Kapittel 23 - Formelle språk og grammatikker
  • 03:31  Regulære språk og operasjoner på regulære språk
  • 19:04  Regulære uttrykk
  • 31:43  Endelige tilstandsmaskiner
  • 42:53  Formelle grammatikker
  • 0:55:37  Kapittel 24 - Naturlig deduksjon
  • 0:58:13  Utledning av ((P → Q) → ((P ∧ Q) → R)) fra (Q → R)
  • 1:05:34  Bevis for (P ∧ Q) → (Q ∧ P)
  • 1:08:08  Bevis for P → (P ∨ Q)
  • 1:09:52  Negasjoner
  • 1:10:19  Bevis for (P → Q) → (¬Q → ¬P)