Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**joey_m**- Replies: 0

I figured I'd put this in the coding section.

If any of you coders out there know the pseudo code for this small problem, your help would be appreciated:

Write a recursive program samelist(List1,List2) which check two lists for equality. (in pseudo code)

**joey_m**- Replies: 0

Okay, this is a question on a paper that I'm trying to work out. It's about inductive definition. It's only worth a few marks, but as mathematics is really not a major part of my course, this isn't something I'm any good at and I'm having difficult learning. Please help me in solving this so I can get on with my usual work! Here is the question:

Assume you know what it means for X to be a parent of Y, and use a relation parent(X,Y) to represent it.

Give an inductive definition for A to be an ancestor of B, ancestor(A,B).

Basis:

if parent(A,B) true, A is Bs ancestor

Induction:

??

There's a couple more questions on the same topic. But I'm just posting this one for now to see if any of you can help with this particular topic. Thank you.

Pages: **1**