ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 紀要論文・研究ノート
  2. 天使大学紀要
  3. 8巻

命題論理における導出のための行列表現

https://tenshi.repo.nii.ac.jp/records/129
https://tenshi.repo.nii.ac.jp/records/129
1bf92358-ac54-431a-b63b-b9f11c4605e1
名前 / ファイル ライセンス アクション
KJ00005072051.pdf KJ00005072051.pdf (255.2 kB)
Item type 紀要論文(ELS) / Departmental Bulletin Paper(1)
公開日 2008-01-01
タイトル
タイトル 命題論理における導出のための行列表現
タイトル
タイトル A Matrix Representation for Resolution in Propositional Logic
言語 en
言語
言語 eng
キーワード
主題Scheme Other
主題 レゾリューション
キーワード
主題Scheme Other
主題 命題論理
キーワード
主題Scheme Other
主題 行列表現
キーワード
言語 en
主題Scheme Other
主題 resolution
キーワード
言語 en
主題Scheme Other
主題 propositional logic
キーワード
言語 en
主題Scheme Other
主題 matrix representation
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
ページ属性
内容記述タイプ Other
内容記述 P(論文)
記事種別(日)
論文
記事種別(英)
en
Article
著者 川口, 雄一

× 川口, 雄一

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者名よみ 川口, 雄一

× 川口, 雄一

WEKO 265

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者名(英) 川口, 雄一

× 川口, 雄一

WEKO 265

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者所属(日)
天使大学
著者所属(英)
en
Liberal Arts and Sciences, School of Nursing and Nutrition, Tenshi College
抄録(日)
内容記述タイプ Other
内容記述 「レゾリューション」(導出)とは論理式に対する計算方法である。本稿では、論理式を行列により表現する。基本行列変形によりレゾリューションを進める。この表現と計算の方法によるレゾリューションの複雑さ(計算量)は有限である。計算の効率を改善することはこれからの課題である。
抄録(英)
内容記述タイプ Other
内容記述 'Resolution' is an algorithm for logical formulae. In this paper, logical formulae are denoted by matrices. Resolution steps are processed by elementary transformations of matrices. By this representation, the complexity of resolution is estimated to be finite. Improvement of the algorithm is a subject of future work.
書誌情報 天使大学紀要
en : Bulletin of Tenshi College

巻 8, p. 13-16, 発行日 2008
ISSN
収録物識別子タイプ NCID
収録物識別子 AA11568183
レポート・演題番号
2
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-19 07:23:57.656189
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3