WEKO3
アイテム
二値関数における述語論理（13）
https://matsumoto-u.repo.nii.ac.jp/records/595
https://matsumoto-u.repo.nii.ac.jp/records/595e7feb791-0116-463b-8796-11e650a7b3db
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
matsu_kiyo_10-09.pdf (636.1 kB)
|
|
| Item type | Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-05-01 | |||||||
| タイトル | ||||||||
| タイトル | 二値関数における述語論理（13） | |||||||
| タイトル | ||||||||
| タイトル | Propositional Calculus for Boolean Valued Functions (13) | |||||||
| 言語 | 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 号 10, p. 95-104, 発行日 2012-01-31 |
|||||||
| 出版者 | ||||||||
| 出版者 | 学校法人松商学園松本大学 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1348-0618 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11824385 | |||||||
| フォーマット | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | application/pdf | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
