ソフトウェア科学特論
What's New
-
は祝日と伝えましたが，間違いでした． 通常通り講義を行います． 場所は，情報基盤センター分館 3階 第3演習室です．
概要
目標
ソフトウェアの設計・構築に対する科学的アプローチとして， 数理論理学 と ソフトウェア との関連に焦点を置き， 下記の内容について講義を行う．
- 命題論理とソフトウェア
- 述語論理，直観主義論理とソフトウェア
- 非標準論理とソフトウェア
対象
- システム情報学研究科 情報科学専攻 1年生
担当者
- 田村直之
テキスト等
- Webテキスト
- 参考書
- 小野寛晰著 『情報科学における論理』日本評論社，定価 3,465円(税込)
オフィスアワー
- 随時 (事前に連絡のこと)
注意
- 授業をよりよくするための皆さんの提案・アイディアを歓迎します．
- 授業の内容が理解できないときは遠慮無く質問してください．
- 情報科学専攻の「ソフトウェア科学特論」という名称の講義ですので， ソフトウェアのインストールといった作業も，当然ながら必要となる場合があります． 計算機およびソフトウェアに興味がない方々の受講はお薦めしません．
スケジュール
- 毎週火曜日 10:40-12:10
- 教室: C4-301 または 情報基盤センター分館 第3演習室 (どちらで講義があるかは以下の日程表を参照)