ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
人文
>
哲学・思想
>
論理学
出版社名:慶應義塾大学出版会
出版年月:2025年3月
ISBN:978-4-7664-3015-8
273P 21cm
一歩ずつマスターする論理学入門
峯島宏次/著
組合員価格 税込
2,376
円
(通常価格 税込 2,640円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。
もくじ情報:第1章 論理学の問題;第2章 日本語文の記号化と形式言語;第3章 命題論理の意味論;第4章 命題論理の証明論;第5章 述語論理の形式言語;第6章 述語論理の意味論;第7章 述語論理の証明論;解答と解説
哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。
もくじ情報:第1章 論理学の問題;第2章 日本語文の記号化と形式言語;第3章 命題論理の意味論;第4章 命題論理の証明論;第5章 述語論理の形式言語;第6章 述語論理の意味論;第7章 述語論理の証明論;解答と解説
著者プロフィール
峯島 宏次(ミネシマ コウジ)
慶應義塾大学文学部准教授。博士(哲学)。専門は哲学、論理学、言語学(意味論、語用論、計算言語学)(本データはこの書籍が刊行された当時に掲載されていたものです)
峯島 宏次(ミネシマ コウジ)
慶應義塾大学文学部准教授。博士(哲学)。専門は哲学、論理学、言語学(意味論、語用論、計算言語学)(本データはこの書籍が刊行された当時に掲載されていたものです)
同じ著者名で検索した本
言語哲学 入門から中級まで
W.G.ライカン/著 荒磯敏文/訳 川口由起子/訳 鈴木生郎/訳 峯島宏次/訳
もくじ情報:第1章 論理学の問題;第2章 日本語文の記号化と形式言語;第3章 命題論理の意味論;第4章 命題論理の証明論;第5章 述語論理の形式言語;第6章 述語論理の意味論;第7章 述語論理の証明論;解答と解説
もくじ情報:第1章 論理学の問題;第2章 日本語文の記号化と形式言語;第3章 命題論理の意味論;第4章 命題論理の証明論;第5章 述語論理の形式言語;第6章 述語論理の意味論;第7章 述語論理の証明論;解答と解説