は表示できず、代わりに不等号‘＜＞’等で代用しています。そのほかにも、記号が足りず（∈ の否定とか）、怪しい書き方をしている物が結構あります。これはどうしようもないので許してください。
更新: 2001.06.24
離散数学やソフトウェア基礎論理学に関するページです。東大工学部の講義「ソフトウェア基礎理論」の内容とリンクしています。たくさんあるプログラミング言語の、根底の部分についてです。ソフトウェア設計やさんはこういう論理学についての知識を身につけておくと、きっと役に立つと思います。
わかりにくい ／ 間違っている等のご指摘がありましたら、hossy.ee99@popup.orgまでメールか、掲示板でご報告をお願いします m(__)m
東大工学部電気系3年生冬学期の講義「ソフトウェア基礎理論」の試験問題です。全て解答付きです。
| 問題 | キーワード | 更新日 |
|---|---|---|
| 1996年度 試験問題 | 二項関係、シーケンス形式、有限オートマトン | 2001.01.26 |
| 1997年度 試験問題 | 一階述語論理式、擬順序、正規表現 | 2001.01.29 |
| 1998年度 試験問題 | 等価な論理式、ハッセ線図、下界、極大元 | 2001.02.03 |
| 1999年度 試験問題 | 順序関係、束、距離、正規表現、Church の仮説 | 2001.02.03 |
| 2000年度 試験問題 | ハッセ図、距離、一階述語論理 | 2001.06.24 |
| 練習問題 | PDA、Greibachの標準形、CFG | 2001.01.27 |
圧縮ファイルのダウンロード (2001.06.24 版)
ここに載せている全ファイルを LHA (lzh) 圧縮したものです。他によくわからないファイルも一緒に入っていますが、実害はありません。解凍後、‘index.html’を開いてください。
HTML で一般的に使用できるフォントの制約上、 は表示できず、代わりに不等号‘＜＞’等で代用しています。そのほかにも、記号が足りず（∈ の否定とか）、怪しい書き方をしている物が結構あります。これはどうしようもないので許してください。
ソフトウェア基礎理論の講義をされた 近山先生、1999年度ソフトウェア基礎理論シケタイの吉原先輩には、大変お世話になりました。この場を借りて大感謝いたします m(__)m
どちらも私が管理しています。
| タイトル | 簡易紹介 |
|---|---|
| ee - 東大電気系学科 | 東大電電3年のクラスサイトです このページはこちらの企画で立ち上がっています |
|
お気軽プログラミング講座中心の個人サイトです |