Read about higher order | 3 Discussions | Page 1

  1. nomadreid

    I Why the emphasis on first-order logic?

    It seems to me that, despite several systems developed for higher-order logics, almost all the attention in Logic is devoted to first-order. I understand that higher-order logics have some drawbacks, such as the compactness theorem and the Löwenheim-Skolem theorems and other such not holding in...
  2. Adgorn

    I Differentials of order 2 or bigger that are equal to 0

    So I've seen in several lectures and explanations the idea that when you have an equation containing a relation between certain expressions ##x## and ##y##, if the expression ##x## approaches 0 (and ##y## is scaled down accordingly) then any power of that expression bigger than 2 (##x^n## where...
  3. D

    High order differential equations: undetermined coefficients

    Homework Statement If the method of undetermined coefficients is used to find a particular solution yp (t) to the differential equation y'''-y'=te^(-t)+2cos(t) should have the form: ? Homework Equations The Attempt at a Solution LHS r^3-r=0 roots= 0, 1 y_c(t)=c_1e^t RHS...
Top