WEKO3
アイテム
Predicate Calculus for Boolean Valued Functions (14)
https://matsumoto-u.repo.nii.ac.jp/records/688
https://matsumoto-u.repo.nii.ac.jp/records/688a10ecd2a-6a3b-451d-8b55-9e5bb41ba3ba
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
matsu_kiyo_11-08.pdf (761.3 kB)
|
|
| Item type | Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-02-13 | |||||||
| タイトル | ||||||||
| タイトル | Predicate Calculus for Boolean Valued Functions (14) | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 二値関数 | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 述語論理 | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 集合の分割 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| 著者 |
小林, 俊一
× 小林, 俊一
|
|||||||
| 抄録 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | 二値関数と集合の分割に関する述語論理について成り立つ定理を提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。従来の数学の証明では、証明に微塵の誤りもないことを保証することができなかった。本研究では、数学の証明を保証する手段として数学証明検証システム（プルーフチェッカー）を利用している。本研究で提案している述語論理の新しい数学的なモデルの中では、数多くの述語論理の定理が正しいことが、微塵の誤りもない形で証明できた。 | |||||||
| 書誌情報 |
松本大学研究紀要 en : The Journal of Matsumoto University 巻 11, p. 89-100, 発行日 2013-01-31 |
|||||||
| 出版者 | ||||||||
| 出版者 | 学校法人松商学園松本大学 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1348-0618 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11824385 | |||||||
| フォーマット | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | application/pdf | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
