Tag Archives: first order logic

A simple relational Model

Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading

Posted in Foundations (rigour), Software_Engineering | Tagged , , , , , , , , , , , , , , | Leave a comment

1 + x = 3 as a Query

Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading

Posted in Epistemology | Tagged , , , , , , , , , , , , , , , | Leave a comment

Lazy Friday (and First Order Logic)

Can “the company has 3 problems” be formalized in First Order language? Picture the sentence in the context of a management presentation … Continue reading

Posted in Mathematics | Tagged , , , , , , , , , , , | 2 Comments