西泰雄 - 全体 1

応用微生物学の基礎・応用について必要な事項を、各エキスパートが最新のデータを盛り込み解説したテキスト。続きを見る

玄米には慢性病予防の驚くべき効能がある。医食同源、その効用にさらに迫る。続きを見る

タブロー法とは、「分析タブロー」とよばれる図式によって論理式の恒真性を判定する数理論理学の手法である。分析タブローは通常「背理法証明」と見なされるが、本書ではこれに新しい解釈を与え、「直接証明の証明計画図」と見なす。すなわちこの方法は、恒真論理式の直接証明を見出すアルゴリズムといえる。さらに本書で……続きを見る

本書は、著者が提案する「分析タブローによる証明発見法」の、記号論理による本格的な解説書である。論理式の恒真性判定アルゴリズムとして有名な「分析タブロー」は、「背理法証明」と直結している。本書では、その分析タブローに「直接証明」と結び付く新しい解釈を与える。この新しい解釈を用いれば、直接証明を機械的……続きを見る

数学や物理では、同じ定理・公式を知っていても問題を解ける人と解けない人がいます。このことは、理系の問題解決に何らかの「コツ」があることを示しています。本書は、「理系問題解決のコツ」の定式化である「発見タブロー」というツールを、豊富な例題（論理・数学・物理）を用いて解説した書物です。 　「万能解法な……続きを見る

物理・工学の問題の多くは、いくつかの未知数に関する連立方程式を立てることで解くことができます。ところが、どの方程式をどのような順序でどのように用いればよいかを判断することは初学者にとって容易ではありません。この「方程式を立てて問題を解く」というプロセスを機械的に行うための工夫が「発見タブロー」です……続きを見る

本書は「数学の方法としての実践的論理」の解説書であり、数理論理の基礎的事項とともに「（新たに）証明を発見する方法」および「既存の背理法証明から背理法を除去する方法」を述べた書物である。本書の方法を用いれば、原理的には任意の（証明可能な）定理の証明を機械的に発見することができるほか、背理法による証明……続きを見る

この書籍は大学の授業で使用することを前提に作られた教科書です。 そのため書籍内に掲載されている練習問題の解答や、日本語訳等のご用意は一切ございません。 その点をご了承いただいた上でご購入下さいますようお願い致します。続きを見る

この書籍は大学の授業で使用することを前提に作られた教科書です。 そのため書籍内に掲載されている練習問題の解答や、日本語訳等のご用意は一切ございません。 その点をご了承いただいた上でご購入下さいますようお願い致します。続きを見る