[TechSyndrome]

Hi, I'm looking through some lecture slides but can't understand what "def" means in this expression: p =_def The moon is made of cheese. I haven't seen it before and have made some guesses i.e. define, definition - but I don't want to make a guess, I want to be exact.

Anyone have an idea?

[blackcompe]

It probably means "define."

[tlhIn`toq]

What coding language?

[TechSyndrome]

tlhIn`toq, on 03 June 2012 - 04:22 PM, said:

What coding language?

It's logic in Comp Science. To me it's logical that "def" means "defines", and so far I haven't seen anything in my answers to those questions to suggest otherwise as they have all been correct.

[tlhIn`toq]

So no specific coding language?

Then it means whatever the guy that wrote it says it means.
If it isn't actually used to build a program then its just pseudo code.

Under different circumstances it might stand for defibrillator, if were you were building medical software.

[TechSyndrome]

tlhIn`toq, on 03 June 2012 - 04:34 PM, said:

So no specific coding language?

Then it means whatever the guy that wrote it says it means.
If it isn't actually used to build a program then its just pseudo code.

Under different circumstances it might stand for defibrillator, if were you were building medical software.

Yes, there was no specific coding language, just an understanding of Propositional Logic in Computer Science. But you made an interesting (and potentially useful) point with regards to the terms use in medical software. Thanks.

[lordofduct]

It most likely means 'defined as', in logics and maths I've seen it used for that many times. But as tlhIn`toq pointed out, it all depends on what the author intended... this is a textbook right? Have you checked its index and/or appendix?

[jon.kiparsky]

tlhIn`toq, on 03 June 2012 - 06:34 PM, said:

So no specific coding language?

Then it means whatever the guy that wrote it says it means.

Actually, this is always the case...

[TechSyndrome]

lordofduct, on 04 June 2012 - 10:31 AM, said:

It most likely means 'defined as', in logics and maths I've seen it used for that many times. But as tlhIn`toq pointed out, it all depends on what the author intended... this is a textbook right? Have you checked its index and/or appendix?

I don't know whether it's from a textbook (I imagine it is). I found some open lecture slides online, and I'm 100% sure now that it means 'defined as'/'defined'. So it's all cool now. Thanks for confirming though.