Berpikir Komputasi - Pertemuan 5

  • Logika proposisional dan predikat
  • Proposisi
  • Kalimat Logika
  • Notasi
  • Interpretasi
  • Aturan Semantik