詳細に検索する
開拓社叢書27
形式意味論入門
 |
|
 |
編著者：
田中拓郎 （著）
ISBNコード：
978-4-7589-1822-0
発売日：
2016年9月22日
定価：
3,190円（税込）（Ａ５・248頁） |
内容
形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ(λ)恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。
