故コワルスキーによる 述語論理を プログラムに適用する試みの著作です。コワルスキーは、述語論理の公理系を、プログラムと見做すことができ、その証明を、実行と見做すことができることを指摘しました。その場合、プログラマは、実行制御を 自分で考える必要から開放されます。
※日本語訳も ありました。
無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
