Set, Logic, Computation - PPFPM

by ppfpm
5 months ago
0 Views

Set, Logic, Computation oleh Richard Zach

 

Matlamat pembacaan adalah untuk (i) menguasai teknikal logik simbol bagi logik tahap pertama, (ii) memahami teorem kelengkapan Godel, dan (iii) melihat peranan logik simbol dalam pengitlakan logik klasik daripada Aristotle sehinggalah logik pra-Leibniz.

Kumpulan Pembaca:

  1. Farhan
  2. Penyapu Sampah
  3. Suhaimi
  4. Helmi
  5. Firuz
  6. Dr. Alinor
  7. Hazazi
  8. Murthadza

Sesi 1

  • Tarikh: 14 Januari 2018 (Ahad)
  • Masa: 3 ptg.
  • Tempat: Ardent Educational Consultants, Setapak.

Dapatan perbincangan:

  1. Farhan Nasir. Sejarah logik klasik secara ringkas daripada Aristotle dan peranan logik simbol dalam mengitlakkan logik klasik. Dan pengenalan ringkas terhadap setiap bab buku. Makalahnya akan dimuat naik dalam masa yang terdekat
  2. Penyapu Sampah. Pengenalan terhadap teori set yang merangkum set, fungsi, dan hubungan. Kami telah menghabiskan bab 1 kecuali hasil pendaraban Cartesian yang akan disambung di sesi yang berikutnya. Makalahnya akan dimuat naik.

Sesi 2

  • Tarikh: 27 Januari 2018 (Ahad)
  • Masa: 3 ptg.
  • Tempat: Ardent Educational Consultants, Setapak.

Sesi 3

  • Tarikh: 11 Februari 2018 (Ahad)
  • Masa: 3 ptg.
  • Tempat: Ardent Educational Consultants, Setapak.