関心空間はブックのクチコミも満載!

新着

... もっとみる
ログイン | ユーザー登録(無料)

関心空間

関心空間とは？

論理学をつくる (ロンリガクをつくる)

  • 論理学をつくるの画像

オモチャのような論理学をつくることからはじめ
徐々に拡張していきながら
論理学(formal logic)を、
段階を踏んでお勉強できるよう
それがどうできているかということについて
解説するスタイルで書かれている
論理学の教科書。

------------------------------------------------

【目次】

はじめに
第Ⅰ部　論理学をはじめる　第１章　What is THIS Thing called Logic?／第２章
論理学の人工言語をつくる／第３章　人工言語に意味を与える／第４章　機械もす
なる論理学／第Ⅰ部のまとめ
第Ⅱ部　論理学をひろげる　第5章　論理学の対象言語を拡張する／第6章　おおっ
と述語論理のセマンティクスがまだだった／第7章　さらに論理言語を拡張する／
第8章　さらにさらに論理言語を拡張する／第Ⅱ部のまとめ
第Ⅲ部　論理をもう１つの目で見る　第9章　自然演繹法を使いこなそう／第10章
シンタクスの視点から論理学のゴールに迫る／第Ⅲ部のまとめ
第Ⅳ部　論理学はここから先が面白い！　進んだ話題のロードマップ　第11章　め
くるめく非古典論理の世界にようこそ！／第12章　古典論理にもまだ学ぶことがた
くさん残っている／第Ⅳ部のまとめ
付録　Ａ．A little bit of mathematics／Ｂ．練習問題解答／Ｃ．ブックガイド

------------------------------------------------

論理学をつくる

このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください

カオナシ画像 投稿者:
カオナシ
Amazon詳細情報 毎日更新
  • 商品名: 論理学をつくる
  • 価格: ¥3,990
  • 著者: 戸田山 和久
  • 出版社: 名古屋大学出版会
  • 発売日: 2000-10
  • 詳細をみる
  • 2008/08/03更新
  • 2005/07/22登録
  • 2096クリック

「論理学をつくる」を検索

ソーシャルブックマーク

  • このページを含むはてなブックマーク
  • このページを Yahoo! bookmarks に登録する
  • このページを del.icio.us に登録する
  • このページを livedoorクリップ に登録する
  • このページを POOKMARK Airlines に登録する
  • このページを Facebook に登録する

このユーザーのキーワード

コメント (2)

2007/03/25

雲衣。 健康であたまが正常な小学生にも引っ掛からないようの問題に「おとな」が引っ掛かるのは「欲」のせいでしょうか/笑。　←酔後眠前。

2007/03/26

カオナシ 適当に騙し騙され合っているが人間関係というものなんだし世の中には知らない方がいいことが多かったりするので「おとな」はわかりやすい口当たりのよい結論にとび付き易いというこれまたイージーな返答をさせて貰おうかななんて思いました(笑)

つながりキーワード (9)

入門！論理学

  • (nekonago)

野矢先生による、一般人向けの論理学入門です。中公新書から出ています。 この本は、野矢先生の本の中でも、特に読みやすい部類に入るんじゃないでしょうか。 論理とは、文と文と...

linear logic

  • (カオナシ)

線形論理。 1987年にフランス人の論理学者Jean-Yves Girardが発表した、 古典論理(classical logic)のように双対性を満たしつつも 直感主...

圏論による論理学―高階論理とトポス

  • (カオナシ)

主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)の成果について 解...

シークエント計算

  • (カオナシ)

シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...

パズルランドのアリス

  • (カオナシ)

原題は、 ALICE IN PUZZLE-LAND: A Carrollian Tale for Children Under Eighty ルイス・キャロルの生誕15...

シリーズ・講座『ゲーデルと２０世紀の論理学［全4巻］』

  • (カオナシ)

ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...

Mizar

  • (カオナシ)

2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ftp://mizar....

新生人工言語論

  • (カオナシ)

ベーシック・イングリッシュやらエスペラント語やら クリンゴン語のような人工言語についての情報を公開している Webサイト。

スマリヤンの決定不能の論理パズル

  • (カオナシ)

原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...

携帯でこのページにアクセス

論理学をつくる

２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます

トラックバック (0)

まだトラックバックされていません。

トラックバックURL
http://www.kanshin.com/tb/keyword-771956

関心空間人気のキーワード

ブックブックカテゴリー

キャンペーン

植物と暮らすライフスタイル・マガジン PLANTED

Copyright © 2001-2008 Kanshin!, Inc. All Rights Reserved.

ページの先頭へ ページの先頭へ