• この番組の放送は終了しました

記号論理学

趣味／教育

記号論理学　第9回

「日本語から形式言語への翻訳」

5月30日 月曜 11:15 -12:00 放送大学ｏｎ

日本語で書かれた命題を一階述語言語に翻訳する方法を学ぶ。日本語命題はその意味するところをモデルにあてはめて表現し、そこから命題に翻訳する。その際に陥りやすい誤りや注意すべき点を解説する。

  • 出演者

    放送大学教授　加藤　浩