Top-down and bottom-up approach techniques

  • 2 Replies
  • 281 Views
*

joescot

  • Roomba
  • *
  • 1
Top-down and bottom-up approach techniques
« on: October 10, 2018, 06:16:44 pm »
I am trying to find out more information about these two approaches and hope someone can help me out.
What techniques are there?

Thanks!

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1153
    • Some of my projects
Re: Top-down and bottom-up approach techniques
« Reply #1 on: October 10, 2018, 06:37:24 pm »
For top-down approach I believe we can choose between lambda calculus and mathematical logic, although those two should be the same, as they say. Recently (about last half a century) a new kid came in the town in a form of category theory, but it is complicated and pretty much a work in a progress (see also https://wiki.haskell.org/Curry-Howard-Lambek_correspondence).

If you want investigate lambda calculus, continue here, after chrunching untyped lambda calculus and church encoding.

If you want to investigate logic, you can try propositional logic for a start, then move to first order logic, then to higher order logic. Also see sequent calculus.

Ask if something is blurry, maybe someone can help.
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

Korrelan

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1129
  • Look into my eyes! WOAH!
    • YouTube