ソフトウェア論理学   Logic and Software

文字サイズ 

担当教員
西崎 真也 
使用教室
水3-4(W834)  
単位数
講義:2  演習:0  実験:0
講義コード
76016
シラバス更新日
2008年4月1日
講義資料更新日
2008年4月1日
学期
前期

講義概要

論理による証明は,情報を伝達,構成するプロセスと見なすことができる。このよう考え方とその応用について習得すると同時に,ソフトウェアの分野に特有の様々な論理体系について理解することを目的とする。

このページのトップへ