• shweddy@lemmy.world
    link
    fedilink
    English
    arrow-up
    5
    ·
    6 days ago

    This probably isnt the place to ask but what are some books that teach the principles of computing without using a specific language

    • Rai@lemmy.dbzer0.com
      link
      fedilink
      English
      arrow-up
      4
      ·
      6 days ago

      Replying to your comment in case I find my Machine Architecture book while cleaning. It was the most fascinating class I’ve ever taken. The book teaches stuff like “how does electricity become things on screen” and “how to multiply and divide in binary” and “how binary translates insanely easily to hex and why didn’t I know that before this book what the heck” and “machine code wtf how did anyone ever program in this, that’s insane”

      edit: writing programs in machine code was super fun and crazy also

      • Gladaed@feddit.org
        link
        fedilink
        English
        arrow-up
        2
        ·
        edit-2
        6 days ago

        Do informatics people use a different quantor syntax? ¬∃x(∀y(y∈x↔y∉y)) Doesn’t make any statement. The not shouldn’t be in the front. That doesn’t parse. You say: “not exists x[from undefined] such that for all y[from undefined][lack of |]y element from x exactly when y is not element in y” Round braces don’t belong.