Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
630: 09/01(月)10:36 ID:mDnVgm0k(2/2) AAS
>>628
＞子どもに『プログラミングの前に 述語論理』を というバカ親は さすがにいないぞ
もちろん、述語論理を知らなくてもプログラムは書ける
ただ、述語論理も理解できん奴が、プログラムのバグ取りをうまくできるかといえば、多分ＮＯ
ついでにいうと、述語論理知らんでも、医者や法律家になれる
ただ、そういう奴が自分の主張を結論として導くための
論理推論とそのための（論理以前の）前提を
正しく切り分けられるかといえば、多分無理
そういう人がいう「論理的思考」は、
（論理以前の）自己の宗教的信念の強制
だったりする
上下前次1-新書関写板覧索設栞歴
あと 265 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s