Pengumuman Akademis

Kuliah Dosen Tamu dari Jerman utk Logika Komputasional

 
Picture of Lim Yohanes Stefanus
Kuliah Dosen Tamu dari Jerman utk Logika Komputasional
by Lim Yohanes Stefanus - Thursday, 24 January 2019, 4:05 PM
 

Dear all,

Seperti tercantum dalam Jadwal Kuliah di SIAK,
Matakuliah Logika Komputasional semester genap 2018/2019
akan diisi 7 kali (dalam bahasa Inggris) oleh dosen tamu
dari Technische Universität Dresden, Germany,
yaitu Prof Steffen Hölldobler.

Jadwal kuliah Dosen tamu dari TU Dresden

 11 Feb 2019 s/d 14 Feb 2019: Senin, Selasa, Rabu, Kamis
16.00-17.40 @ 2.2405

04 Mar 2019 s/d 06 Mar 2019: Senin, Selasa, Rabu
16.00-17.40 @ 2.2405

 

Jadwal kuliah biasa (di luar dua minggu kuliah dosen tamu tsb):
Selasa, 16.00-16.50 @ 2.2405
Kamis, 16.00-17.40 @ 2.2405
(Kuliah akan dimulai sesuai jadwal UI)


Topik yang akan dibawakan oleh Prof. Steffen Hölldobler adalah bagian
dari Logika Komputasional dalam AI (Artificial Intelligence), dengan
abstrak sebagai berikut:

-----------------------------------------------------------------------
A New Cognitive Theory: The Weak Completion Semantics

In the last 10 years, we have developed a new and computational cognitive
theory. It is based on the weak completion of logic programs, the
three-valued Lukasiewicz logic, abduction, and revision. This theory has
been successfully applied to adequately model various human reasoning tasks
such as the suppression task, the selection task, the belief-bias effect,
spatial reasoning, human syllogistic reasoning, and ethical decision making.
In the course, I will give an in-depth introduction into the new theory and
its applications to different human reasoning tasks.
-------------------------------------------------------------------------

Mahasiswa UI yang tidak mengambil Matakuliah Logika Komputasional tetapi
berminat mengikuti kuliah-kuliah tamu tsb (prasyarat: Matematika Diskret),
bisa mengajukan izin dengan mengirimkan e-mail ke yohanes@cs.ui.ac.id.

Terima kasih.

Salam,
Yohanes Stefanus
Dosen Logika Komputasional sem II 2018/2019

Picture of Lim Yohanes Stefanus
Re: Kuliah Dosen Tamu dari Jerman utk Logika Komputasional
by Lim Yohanes Stefanus - Thursday, 24 January 2019, 4:02 PM
 

Beberapa calon peserta bertanya seperti berikut:

Saya ingin menanyakan terkait jadwal kuliah tamu mata kuliah logika komputasional Pak. Apakah pada saat sesi dosen tamu
kami boleh izin
untuk tidak mengikuti sesi perkuliahan Pak?
karena mengingat pada hari
senin dan rabu juga ada jadwal
mata kuliah pilihan yang lain sehingga jika
saya ingin
mengambil mata kuliah logika komputasional menyebabkan
bentrok
dengan mata kuliah lain.

Jawaban saya seperti berikut:

 

Kuliah dosen tamu adalah bagian dari perkuliahan;
jadi bersifat wajib. Materi dari dosen tamu juga menjadi 
materi ujian. Jarang-jarang ada dosen tamu seperti ini.
Manfaatkan kesempatan ini dengan baik. Kalau jadwal bentrok, sebaiknya tidak ambil matakuliah ini. Terima kasih. Salam, Stefanus