Recent content by vasra

  1. V

    Example exercises and answers for predicate logic inference (+ FOL in general)

    I will, thanks.
  2. V

    Example exercises and answers for predicate logic inference (+ FOL in general)

    Gathering answers I've got. The following books were recommended: A Friendly Introduction to Mathematical Logic, Christopher C. Leary, out of print [sorry, not allowed to posts urls yet] I'll post more for others' benefit, if I get them.
  3. V

    Example exercises and answers for predicate logic inference (+ FOL in general)

    I'm battling with first order predicate logic (no identity, no extensions) and currently esp. inference using the so called "natural reasoning" rules for inference. Now, the textbook we use, is very ambiguously defined, even I have spotted several 'errors' in it, the lecturer even more. This...
  4. V

    How Do You Calculate the Total Energy of a Rolling Sphere?

    Some hints from a fellow learner: - How do you calculate linear (aka translational) movement energy for a body? - What is the difference between kinetic and potential energies and how do you calculate them? - Is energy conserved, if there is no friction or drag (aka energy losses)?
  5. V

    Conceptual Q - Rolling Resistance, Angular + Linear motion -const. acceleration

    Hello, new poster here. I have trouble understanding some friction/resistance properties and how they are applied to rolling & linear motion simultaneously. I've done a lot of simple static / dynamic (sliding) friction examples as well as rolling without taking into account resistance, but...
Back
Top