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 compiler? A system software program known as a compiler translates the high-level language program into a suitable machine language program having instruction such as t

Direct inward dialling is used as a feature in? Direct inward dialling is utilized as a feature in EPABX.

Clear operation The clear operation compares words present in A and B and produces an all 0's result if two numbers are equal. This operation is achieved by the exclusive-OR mi

Linear Array This is a mainly fundamental interconnection pattern.  In this processors are linked in a linear one-dimensional array. The intial and last processors are linked w

Advantages of DDa algorithms for line drawimg

Database marketing tool or application helps a user or marketing professional in determining the right tool or plan for his valuable add campaign. This tool haves data from all sou

TYPEWRITERS : Typewriter is the most common machine used in almost all offices. Typewritten letters are attractive in appearance as compared to handwritten ones. The same matter c

Problem Solving In Parallel Introduction to Parallel Computing This section examines how a particular task can be broken into minor subtasks and how subtasks can be answer i

Define macros.   A macro is a pre-processor directive which is a program that processes the source code before it passes by the compiler. These are placed in the source program

Currently microcontrollers are embedded within most products, typical uses are in Camera's for auto focus and display drivers, Laser printers to compute fonts and control printing.