| | みんなのｲﾁｵｼ25万件! | ↓ |
 ｼｰｸｴﾝﾄ計算 |
ｼｰｸｴﾝﾄ計算(Sequent Calculus)とは､
ﾄﾞｲﾂの論理学者Gerhard Karl Erich Gentzenが定式化した
LK(Logischer Kalk l: 論理計算)と呼ばれる
古典論理の形式的な演繹法を指す用語のこと｡
古典論理について一通りの事を知っておきたいというような方には､
中級論理学講義(慶應義塾大学文学部)の教材として公開されていた
こちらの講義ﾉｰﾄに詳説があり参考になるので､
一度目を通してみることをお勧めしたい｡
ﾎｯﾄﾍﾟｯﾊﾟｰでｸｰﾎﾟﾝGET! 関連するｷｰﾜｰﾄﾞ
ｽﾏﾘﾔﾝの決定不能の論理ﾊﾟｽﾞﾙ論理学linear logic圏論による論理学―高階論理とﾄﾎﾟｽﾗﾝﾀﾞﾑｷｰﾜｰﾄﾞｼﾞｬﾝﾌﾟ
ぶらぶらしてみる] | ｼｰｸｴﾝﾄ計算 の辛口ﾄｰｸをみる |  |
ｶｵﾅｼの空間ﾉﾝｶﾃｺﾞﾘｰ08.4.25更新
URLをﾒｰﾙで送る 
<<前 
>>次 
TOPﾍﾟｰｼﾞ 
検索
ぶらぶら *ﾛｸﾞｲﾝ･登録 
↑ 
ﾘﾛｰﾄﾞ 
ﾎｯﾄﾍﾟｯﾊﾟｰ | |