Search   Memberlist   Usergroups
 Page 1 of 1 [2 Posts]
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

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
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

 Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 Page 1 of 1 [2 Posts]
 The time now is Sat Jan 19, 2019 6:13 pm | All times are GMT
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

 Topic Author Forum Replies Last Post Similar Topics How does a CAS simplify complicated expressions? xyz91234@yahoo.com Symbolic 4 Tue Jul 18, 2006 12:59 am Simplify boolean expressions eksamor Math 0 Thu Apr 20, 2006 11:41 am Rings and valid expressions jstevh@msn.com Undergraduate 9 Thu Apr 13, 2006 12:30 am [mupad] factor of complex expressions JH Symbolic 2 Thu Mar 16, 2006 1:28 pm the expressions more readable.) This is determined by: