Tag Archives: first order logic

A simple relational Model

Posted on 2016 October 1 by modelpractice

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

Posted in Foundations (rigour), Software_Engineering | Tagged abstraction, Diagram, Finite Model Theory, finite models, first order logic, isomorphism, isomorphy, logic, material, model, modeling, Modelling, relational model, relationship, structural | 1 Comment

1 + x = 3 as a Query

Posted on 2016 April 4 by modelpractice

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

Posted in Epistemology | Tagged 0-arity, 0-ary, 0-tuple, algebra, epistemology, first order logic, model theory, philosophy of computer science, query, query language, requirement, sentence, software engineering, SQL, tuple, variable | Leave a comment

Lazy Friday (and First Order Logic)

Posted on 2012 April 27 by modelpractice

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 company, delta elementary, elementary, first order language, first order logic, logic, management, management presentation, model theory, property, query, second order logic | 2 Comments

Tag Archives: first order logic

A simple relational Model

1 + x = 3 as a Query

Lazy Friday (and First Order Logic)

Modelling:

Twitter

Blogroll

Tags

On Modelling Theory, Abstraction Awareness and Complexity aware Modelling.

Meta