Author 
Message 
Kirsty science forum beginner
Joined: 25 Oct 2005
Posts: 1

Posted: Tue Oct 25, 2005 4:32 am Post subject:
quantified expressions in isetl



help please!!!
a proper description of a function should include two sets: the domain
of possible input values and the target (sometimes called the codomain)
of possible output values. here is the complete description of one
particular function:
f : {0,1/2..15} is the input values
f2: {10, 9..10} output values
a function is said to be onto if every element from the target set
actually occurs as an output for some element fromt the domain set.
write an isetl statement using quanitfiers to test wheter the function
is onto and run your statement 

Back to top 


Proginoskes science forum Guru
Joined: 29 Apr 2005
Posts: 2593

Posted: Wed Oct 26, 2005 7:08 am Post subject:
Re: quantified expressions in isetl



Kirsty wrote:
Quote:  help please!!!
a proper description of a function should include two sets: the domain
of possible input values and the target (sometimes called the codomain)
of possible output values. here is the complete description of one
particular function:
f : {0,1/2..15} is the input values
f2: {10, 9..10} output values
a function is said to be onto if every element from the target set
actually occurs as an output for some element fromt the domain set.
write an isetl statement using quanitfiers to test wheter the function
is onto and run your statement

What's an isetl? (I could do it in C, though ...)
 Christopher Heckman 

Back to top 


Google


Back to top 



The time now is Mon Dec 17, 2018 5:14 am  All times are GMT

