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....
Does this help:
. . . . In addition, we can use System P to show propositions to be truth-functional tautologies, contradictions or contingencies; to be truth-functionally consistent or inconsistent; and to be truth functionally equivalent or non-equivalent.. . . ? here
The above is from a cached google page
grrrrrr having trouble getting the URL to post correctely
<a href="http://www.google.com/search?q=cache:dVSvLJahkaMC:www.philosophy.ubc.ca/faculty/fleming/ch6.htm+functionally+consistent&hl=en" target="_blank">here</a>
[quote]Originally posted by Sowulo:
<strong>
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....</strong><hr></blockquote>
Well, I sure hope my professor is just like you!! :D
OK,.. I was doing a little searching on the internet. And since I don't have a clue as to what the hell I'm talking about, you could just disregard this if it doesn't help.
First of all, I found functional consistency, and I found truth-functional consistency. But I could never find both on the same page. You're trying to find out the difference between the 2 right?
Here's the definition of truth-functional consistency from what I found:
a wff is TF consistent iff the column in a full truth table under its principal symbol contains at least one T. (Not every statement symbolized by a TF consistent wff is consistent. Consider "Not all plants are plants." What is the relation between TF consistency and TF contradiction?)
And I couldn't find the definition of function consistency. I found the word used here and there, but no real definitions in order to distinquish the 2. Could it be possible that truth-function is a more formal term used in place of just function? Do you find both terms in the books index? Have you gone to the library in the school, and referenced other programming logic books to see what they have?
[quote]Originally posted by WebHead:
<strong>OK,.. I was doing a little searching on the internet. And since I don't have a clue as to what the hell I'm talking about, you could just disregard this if it doesn't help.
First of all, I found functional consistency, and I found truth-functional consistency. But I could never find both on the same page. You're trying to find out the difference between the 2 right?</strong><hr></blockquote>
Yes, exactly. And I'm just extremely pleased that you tried to help me, Webby!
[quote]<strong>Here's the definition of truth-functional consistency from what I found:
a wff is TF consistent iff the column in a full truth table under its principal symbol contains at least one T. (Not every statement symbolized by a TF consistent wff is consistent. Consider "Not all plants are plants." What is the relation between TF consistency and TF contradiction?)</strong><hr></blockquote>
Yep, that's it precisely. "wff" stands for well-formed formula. "iff" stands for if and only if.
[quote]<strong>And I couldn't find the definition of function consistency. I found the word used here and there, but no real definitions in order to distinquish the 2. Could it be possible that truth-function is a more formal term used in place of just function?</strong><hr></blockquote>
You're thinking exactly what the rest of us in the class were thinking. Only when we asked the teacher, he said there is a specific difference. We were all confused.
[quote]<strong> Do you find both terms in the books index? Have you gone to the library in the school, and referenced other programming logic books to see what they have?</strong><hr></blockquote>
No, couldn't find it in the book anywhere...and, get this...the teacher wrote the book. The book is actually still in draft form, as in it hasn't been published yet (we're his textbook guinea pigs so to speak), so there is no index to look it up in. And by the time I finished this hellacious test, it would have been too late for me to make it to the library and have any time to look it up there. :(
Again, I really appreciate all the help. The test was turned in on Monday, and we won't get grades back until Thursday night. Or at least I hope he has them graded by then. Since everybody was nice enough to try and help poor ol' me, I'll be nice enough to let you know what the deal was when I get my paper back! :) :) :)
So. Since nobody else asked you, how did the class / test go for you way back when???
5 years ago????
Quote:
Originally Posted by Humilliation
lol:rolleyes:
Holy Thread Resurrection
I wonder how Renee is going these days.. Hi Renee if you read this.....