計算機言語論III
(PL3)

 このコースには登録キーが必要です。

関数型プログラミング言語LISPならびに関数型プログラミング言語PROLOGについて学ぶ．関数型プログラミングならびに関数型プログラミングの基礎を習得するとともに，それらの基礎となる理論であるLISP万能関数、λ算法、ホーン節，反駁法について学ぶ。

このコースには登録キーが必要です。