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