2010-04-01から1日間の記事一覧

シラバス

題目：論理学演習授業のテーマと目的本演習では、数学における証明を題材に、証明で使用される「論理的」操作が可能な記号処理の体系を紹介し、単なる記号の処理を行なう体系が「論理」と呼ばれるにはどんな性質を満たす必要があるかを考察する。授業計画…