WEKO3
アイテム
二値関数における命題論理（11）
https://matsumoto-u.repo.nii.ac.jp/records/578
https://matsumoto-u.repo.nii.ac.jp/records/578f5956358-bfcb-4ab6-b08d-00062c80732c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
matsu_kiyo_9-07.pdf (558.2 kB)
|
|
| Item type | Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-05-01 | |||||||
| タイトル | ||||||||
| タイトル | 二値関数における命題論理（11） | |||||||
| タイトル | ||||||||
| タイトル | Propositional Calculus for Boolean Valued Functions (11) | |||||||
| 言語 | 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 号 9, p. 87-93, 発行日 2011-01-15 |
|||||||
| 出版者 | ||||||||
| 出版者 | 学校法人松商学園松本大学 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1348-0618 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11824385 | |||||||
| フォーマット | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | application/pdf | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
