著者：Yasuo Nakanishi
出版社： デザインエッグ株式会社
ISBN： 9784815010775
発売日： 2019年10月07日頃
Tableau method is an algorithm in symbolic logic, to determine whether a given formula is logically true or not. In this method, we write down a diagram called analytic tableau which consists of formulas arranged by certain rules starting from the negation of the given formula. In this book, unlik……
続きを見る
