WEKO3
アイテム
２値関数における述語論理（15）
https://matsumoto-u.repo.nii.ac.jp/records/729
https://matsumoto-u.repo.nii.ac.jp/records/7291998609e-96db-488a-954f-4272adfb6360
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
matsu_kiyo_12-05.pdf (1.5 MB)
|
|
| Item type | Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-02-13 | |||||||
| タイトル | ||||||||
| タイトル | ２値関数における述語論理（15） | |||||||
| タイトル | ||||||||
| タイトル | Predicate Calculus for Boolean Valued Functions (15) | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | ２値関数 | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 述語論理 | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 集合の分割 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| 著者 |
小林, 俊一
× 小林, 俊一
|
|||||||
| 抄録 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | ２値関数と集合の分割に関する述語論理について成り立つ定理を、述語論理の新しい数学的モデルとして提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。述語論理や命題論理は、「数学の証明」を行う場合に、誰もが必ず利用してきているものである。すなわち、数学の証明問題を解く場合には自然に使っているのが述語論理や命題論理である。このような「数学の証明」の基礎をなすものとしての述語論理に関して研究を行った。従来の述語論理では提案されていなかった新しい定理を提案し、その定理の正しさを、数学証明検証システムMizarを利用して検証を行った。 | |||||||
| 書誌情報 |
松本大学研究紀要 en : The Journal of Matsumoto University 巻 12, p. 33-49, 発行日 2014-03-18 |
|||||||
| 出版者 | ||||||||
| 出版者 | 学校法人松商学園松本大学 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1348-0618 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11824385 | |||||||
| フォーマット | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | application/pdf | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
