2020-07-13から1日間の記事一覧
前回 takuro-logic.hatenablog.com に引き続き、古典述語論理です。述語論理はとにかく細かいところがめんどくさくて、自分で勉強するのはともかく(いや、細かい話、好きなんですよわたしは)、教えるのはほんとうにつらいものがあります。 で、動画では、め…
前回 takuro-logic.hatenablog.com に引き続き、古典述語論理です。述語論理はとにかく細かいところがめんどくさくて、自分で勉強するのはともかく(いや、細かい話、好きなんですよわたしは)、教えるのはほんとうにつらいものがあります。 で、動画では、め…