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
Compact Disc; Compact Disc ( CD)   is an optical disc  which is used to  store digital data. It was initially developed to store sound recordings completely, but later it als

Q. Explain about Quarter Inch Cartridge Tapes? Quarter Inch Cartridge Tapes (QIC Standard): These tape cartridges record information sequentially in a track with one head. Wh

what is the importance of chemistry for computer engineering?

How will you fine-tune a class? It is useful to fine-tune classes before writing code in order to examine development or to improve performance. The purpose of execution is to

What is load-through or early restart? When a read miss happens for a system with cache the needed word may be sent to the processor as soon as it is read from the main memory

How physical addressing is performed in WAN? WAN networks operate as similar to a LAN. All WAN technology classifies the exact frame format a computer uses while sending and re

EPROM contents can be erased by exposing it to ? Ans. By exposing EPROM contents to Ultraviolet rays, it can be erased. The Ultraviolet (UV) light passes throughout a window i

Q. What do you mean by Segment numbers? There is a good reason for not leaving determination of segment numbers up to assembler. It permits programs written in 8086 assembly

What is SEGMENT - Assembler directives SEGMENT:  This directive defines to assembler the start of a segment with name segment-name.  Segment name must be unique and follows the

desing mode level counter starting at 0011 using D flipflop