From: Mehdi Saada <00120260a@gmail.com>
Subject: Re: grassroots level SPARK Initiation
Date: Thu, 24 May 2018 11:55:06 -0700 (PDT)
Date: 2018-05-24T11:55:06-07:00 [thread overview]
Message-ID: <931dc342-50af-4282-baf2-1257d4048da4@googlegroups.com> (raw)
In-Reply-To: <0cef0914-30b1-4139-a341-40e8f32f85d9@googlegroups.com>
I am trying both Gries' Science of Programming and Enderton's introduction to logic. As much as I enjoy the first (except the second chapter on "natural" reasoning/proof system, which I skipped as it is completely unreadable for the moment)) I quickly hated the second as, as has been said, it's QUITE not the right orientation, indeed.
It casts everything in nonsensical mumbo-jumbo (to be polite ;-) ) whereas a down-to-earth - and finitist - approach would use primarily basic field agebra, multisets and operations on them to model logical reasoning.
next prev parent reply other threads:[~2018-05-24 18:55 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-23 14:05 grassroots level SPARK Initiation Mehdi Saada
2018-03-23 14:16 ` Mehdi Saada
2018-03-23 14:24 ` Bojan Bozovic
2018-03-23 16:33 ` Shark8
2018-04-25 15:02 ` Mehdi Saada
2018-04-25 15:25 ` Mehdi Saada
2018-04-25 16:14 ` Niklas Holsti
2018-04-26 1:59 ` Paul Rubin
2018-05-24 18:55 ` Mehdi Saada [this message]
2018-05-24 20:52 ` Paul Rubin
2018-05-24 23:50 ` Mehdi Saada
2018-05-25 1:09 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox