Functions - first-order logic, Computer Engineering

Functions - first-order logic:

Functions can be thought of as exceptional predicates, wherever we think of all but one of the arguments as input and the output as final argument. Thus such each set of things such kind of classed are as the input to a function, there is exactly one output to just that they are related by the function. To compose it obvious that we are dealing with specify a function, we can need an equality sign. So, for example, if we wanted to say that the cost of an omelette at the Red Lion pub is five pounds, the normal way to express it in first-order logic would probably be:

cost_of(omelette, red_lion, five_pounds)

However, because we know this is a function, we can make this clearer:

390_Functions.png


Because we know that there is only one output for every set of inputs to a function, we tolerate ourselves to use an abbreviation when it would make things clearer. That is, we can talk about the output from a function without explicitly writing it down, so to rather replacing it with the left hand side of the equation. So, it can be easily understand by example, if we wanted to tell that the price of omelettes at the Red Lion is less than the price of pancakes at the House Of Pancakes, then we would normally write something like this:

2167_Functions1.png

Posted Date: 1/10/2013 5:23:06 AM | Location : United States







Related Discussions:- Functions - first-order logic, Assignment Help, Ask Question on Functions - first-order logic, Get Answer, Expert's Help, Functions - first-order logic Discussions

Write discussion on Functions - first-order logic
Your posts are moderated
Related Questions
What is real time system? A real time system has well explained, fixed time constraints. Processing must be done within the explained constraints, or the system will fail. It i


Explain about Magnetic tape      a) They are mostly used for keeping files of data  b )It is one of the cheapest and slowest methods for storage

The usability and user experience goalsprovidet heinteraction designer with high-level goals for the interactivep roduct. Thenextissueis how to design a product that satisfies thes

Which scheduling policy is most suitable for a time-shared operating system? Ans. Round-Robin scheduling policy is most appropriate for a time-shared operating system.

The use of distributed shared memory in parallel computer architecture however the use of distributed shared memory has the problem of accessing the remote memory that results in l

Discuss the risks of having a single root user and how more limited management abilities can be given to others users on Linux/UNIX systems.uestion #Minimum 100 words accepted#

What is fan-out? Estimate the average count of every "many" association encountered with the path. Multiply the individual fan-outs who obtain the fan-out of the whole path, wh

VLIW instruction word is compacted to have floating-point addition, one branch, floating point multiply, and one integer arithmetic and load/store operation as displayed in Figure

Elucidate in brief the functions of the clock generator chip, 8284. 8284 Clock generator: 8284 is an ancillary component to the microprocessors. Without clock generator, many