Theoretical foundations and analysis; Computers to Assist Logicians; Logic applications for computers – These are what make up Logic in computer science.

But do you know where Thirsty Dave is?

Logic

Share this Post:

8 thoughts on “Theoretical foundations and analysis; Computers to Assist Logicians; Logic applications for computers – These are what make up Logic in computer science.”

  1. This post supports my long-held view that computers are like grandmothers. Consider these ten characteristics of your Granny Mac or Gran’ma Dell.

    1. No matter how young they might be, people will regard them as elderly and behind the times. Even if they’re healthy, people will still think they have at most only a few more years.
    2. Everyone also seems concerned about how much memory they have left.
    3. They’re always making cookies.
    4. They regularly ask questions that shake your confidence: “Are you sure you want to do that?”
    5. After working awhile, they get slower and slower. Sometimes you have to force them to quit.
    6. They’re so sure they’re right and you’re wrong that they will automatically correct you.
    7. They’re hoarders. When you try to throw away something, they fight you. Instead of really getting rid of it, they’ll just put it in the trash can, where it’ll sit.
    8. Granny Mac is not PC. For example, she still uses the term “Search Engine” instead of the preferred “Search Cyber-American.”
    9. They’re susceptible to viruses.
    10. Despite their faults, you love them. So when they die, the trip to the grand-mother-board graveyard is always a hard drive.

Comments are closed.