総合演習問題
【演習問題１：パズル``床屋'' (TPTP/PUZ003-1)】
ヒント
【演習問題２：パズル``アガサ殺人事件'' (TPTP/PUZ001-1)】
ヒント
【演習問題３：パズル``猿とバナナ'' (TPTP/PLA003-1)】
ヒント
【演習問題４：パズル``果物箱'' (TPTP/PUZ012-1)】
ヒント
【演習問題５：パズル``正直者と嘘つき'' (TPTP/PUZ025-1)】
ヒント
【演習問題６：``自明でない問題'' (TPTP/MSC006-1)】
【演習問題７：群論``単位元'' (TPTP/GRP003-1)】
【演習問題８：``ヘンキンの問題'' (TPTP/HEN001-5)】
【演習問題９：含意論理``単一公理'' (TPTP/LCL038-1)】
【演習問題１０：組合せ論理``不動点'' (TPTP/COL012-1)】
総合演習問題の解答例
解答は1つではありません。いろいろな問題表現方法が考えられます。
ここで示したのはあくまで1つの例です。
【演習問題１：パズル``床屋'' (TPTP/PUZ003-1)】
【演習問題２：パズル``アガサ殺人事件'' (TPTP/PUZ001-1)】
【演習問題３：パズル``猿とバナナ'' (TPTP/PLA003-1)】
【演習問題４：パズル``果物箱'' (TPTP/PUZ012-1)】
【演習問題５：パズル``正直者と嘘つき'' (TPTP/PUZ025-1)】
【演習問題６：``自明でない問題'' (TPTP/MSC006-1)】
【演習問題７：群論``単位元'' (TPTP/GRP003-1)】
【演習問題８：``ヘンキンの問題'' (TPTP/HEN001-5)】
【演習問題９：含意論理``単一公理'' (TPTP/LCL038-1)】
【演習問題１０：組合せ論理``不動点'' (TPTP/COL012-1)】
トップページに戻る