Printable View
Anybody taken a Programming Logic class recently? I'm trying to resolve whether a set of program specifications is functionally consistent. I'm not sure what the difference between functional consistency and truth-functional consistency is. Can't find it anywhere in the book!
I do know that the specs are truth-functionally consistent, but the very next question is whether they are functionally consistent. :confused: :confused: <img src="confused.gif" border="0">
[quote]Originally posted by Renée:
<strong>Anybody taken a Programming Logic class recently? I'm trying to resolve whether a set of program specifications is functionally consistent. I'm not sure what the difference between functional consistency and truth-functional consistency is. Can't find it anywhere in the book!
I do know that the specs are truth-functionally consistent, but the very next question is whether they are functionally consistent. :confused: :confused: :confused: </strong><hr></blockquote>
I'd love to help but my last programming class was in 1972..... :( :(
Well, the thought sure counts, Sowulo... :)
(just not for my grade...) ;)
It's not due until Monday afternoon, so maybe some other recently-tortured soul will help me.
Remind me to shoot myself if I ever sign up for a class like this. :eek:
Bump.
Unfortunately, I don't know this. I did know this about 8 weeks ago but it has shaken out of my brain.
If nobody has answered this I will see if any of my classmates knows it later today.
Bit over my head but here`s something I found looking round:
<a href="http://www.philosophypages.com/dy/t9.htm" target="_blank">http://www.philosophypages.com/dy/t9.htm</a>
truth-functional
A compound statement or connective is truth-functional if its truth or meaning is wholly determined by the possible combinations of truth-value of its component statements.
Also see OCP and noesis.
Now can someone please explain it for us lesser mortals ;)
addendum you might also try here:
Probabilistic and Truth-Functional Many-Valued Logic Programming (1998
<a href="http://citeseer.nj.nec.com/7443.html" target="_blank">http://citeseer.nj.nec.com/7443.html</a>
The Journal of Functional and Logic Programming
<a href="http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-01/JFLP-A99-01.pdf" target="_blank">http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-01/JFLP-A99-01.pdf</a>
Type Theory and Functional Programming
<a href="http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/ttfp.html" target="_blank">http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/ttfp.html</a>
Thanks, Archer. There was some info on the truth-functional aspect of consistency in those links, but unfortunately, that's the part I already know. I need to find just a specific definition of functional consistency as opposed to truth-functional consistency. I appreciate your even looking for me. It's not like this is really fun stuff. :)
I wish I could explain it, but unless you want to hear the entire last four weeks of my class, you don't want the torture. The concept itself doesn't mean diddly unless you're suffering through a logic class. :(
it almost sounds like they are asking the difference between code that would work in theory, and code that is already working. :confused: :confused: This is why I'm changing my major. So sick of programming.
If you're studying to be a programer, I don't see the value in this....
[quote]Originally posted by Glenn:
<strong>If you're studying to be a programer, I don't see the value in this....</strong><hr></blockquote>
The value in what? The class I'm taking? If that's what you mean, it doesn't really matter if there is value in it; I have to take it to graduate. Do you know the answer, though? If so...please help!
I cannot remeber that from my logic daze. <a href="http://philosophy.wisc.edu/eells/211/solutions.pdf"" target="_blank">Check here</a> to see if this clears up the matter at all.
[quote]Originally posted by Renée:
<strong>Anybody taken a Programming Logic class recently? I'm trying to resolve whether a set of program specifications is functionally consistent. I'm not sure what the difference between functional consistency and truth-functional consistency is. Can't find it anywhere in the book!
I do know that the specs are truth-functionally consistent, but the very next question is whether they are functionally consistent. :confused: :confused: :confused: </strong><hr></blockquote>
I took a Program Logic Flowcharting class last year. Are you trying to write up a program or do you just need to know the difference between the two?
Jeez... they still teach that? :) Hrm... I'm not sure what I can do to help you. I've taken quite a few classes though... if you wanna email me or whatnot, it'd be interesting to see what other schools are teaching as far as CS stuff :) And when I get home later, I'll check in some of my literature. Pop me a mail at pkopp at mines.edu if you want... :)
David
[quote]Originally posted by Akuma:
<strong>I cannot remeber that from my logic daze. <a href="http://philosophy.wisc.edu/eells/211/solutions.pdf"" target="_blank">Check here</a> to see if this clears up the matter at all.</strong><hr></blockquote>
Well, there were references to truth-functional consistency, but that's the part I do know. Thanks, anyway, Akuma.
[quote]Originally posted by dir/:
<strong>I took a Program Logic Flowcharting class last year. Are you trying to write up a program or do you just need to know the difference between the two?</strong><hr></blockquote>
Nah, just needed to know the difference between the two. I'm picking apart a set of program specs (not the actual program) that are already written.
[quote]Originally posted by PitaBred:
<strong>Jeez... they still teach that? :) Hrm... I'm not sure what I can do to help you. I've taken quite a few classes though... if you wanna email me or whatnot, it'd be interesting to see what other schools are teaching as far as CS stuff :) And when I get home later, I'll check in some of my literature. Pop me a mail at pkopp at mines.edu if you want... :)
David</strong><hr></blockquote>
Appreciate it much, David, but, unfortunately, I didn't see your post in time to hit you up. :( Thanks, though.
BTW....when I got to class last night, everybody else was wondering the same thing I was. Most of them figured it was an oversight on the teacher's part and that he really meant to ask something else. However, when questioned about it, he insisted that was what he really meant. Guess I'll be in a big group that gets that one wrong! We shall see....
[quote]Originally posted by Renée:
<strong>BTW....when I got to class last night, everybody else was wondering the same thing I was. Most of them figured it was an oversight on the teacher's part and that he really meant to ask something else. However, when questioned about it, he insisted that was what he really meant. Guess I'll be in a big group that gets that one wrong! We shall see....</strong><hr></blockquote>
I used to teach at a local University....A good instructor will see be able to recognize a problem when most everyone misses the same question/problem and remove it from grading consideration. Then, if it's a real important point, readdress the information and include it in the next test....