Skip to content

Instantly share code, notes, and snippets.

@trietptm

trietptm/Computer Science Tools, Books & Articles.md

Last active April 26, 2024 06:40
Show Gist options
  • Star 9 You must be signed in to star a gist
  • Fork 2 You must be signed in to fork a gist
  • Save trietptm/e705ec013cffdac4bd5f2857ccf02ac4 to your computer and use it in GitHub Desktop.
Save trietptm/e705ec013cffdac4bd5f2857ccf02ac4 to your computer and use it in GitHub Desktop.
Download ZIP
Computer Science Tools, Books & Articles
Raw
Computer Science Tools, Books & Articles.md

BOOKS:

BOOKSETS:

COMPETITIONS:

ARTICLES:

PRESENTATIONS:

PAPERS:

VIDEOS:

YOUTUBE PLAYLISTS:

GUIDES:

NOTES:

WIKI RESOURCES:

WIKIs:

FREE COURSES:

INACCESSIBLE COURSES:

IMAGES:

MOOCs:

SCHOOLS:

FRAMEWORKS:

GLOSSARY:

QUIZ WEBSITES:

NOT-PUBLIC COURSES:

INTERVIEW QUESTION RESOURCES:

PROJECTS:

COMMERCIAL COURSES:

COMMERCIAL KITS/PRODUCTS:

FORUMS:

HOMEPAGES:

BLOGS:

PUBLICATION WEBSITES:

WEBSITES:

TWITTER:

TWITTER LISTS:

YOUTUBE CHANNELS:

FACEBOOK GROUPS:

CVs:

LECTURER HOMEPAGES:

REDDIT:

MAGAZINE WEBSITES:

GITHUB ORGANIZATIONS:

ASK.FM:

MEDIUM:

REPOs:

WAREZ:

SEARCH:

  • sequence calculus first order logic
  • heuristic search modeling
    • heuristic pattern matching
  • first order logic solver "vampire"
  • binary decision diagram
  • smtlibv2 "z3"
  • Peano axiom
  • bounded model checking (gioi han so vong lap)
    • bounded problem
    • bounded value problem
  • logic in computer science
    • entailment induction logic
  • completeness logic
    • soundness logic
  • smt modulo
  • natural deduction first order logic
  • bottomupcs.com
  • "Category theory for scientists" "computer science"
    • "Category theory for scientists" "order logic"
  • "category theory" "practical malware"
    • "category theory" "practical reverse"
    • "category theory" "ida pro"

SITE SEARCH:

  • "first order logic" site:uchicago.edu

DOMAIN SEARCH:

  • undecidability first order logic site:de

GITHUB SEARCH:

  • "Category theory for scientists" "order logic"
    • "Category theory for scientists"

LINKS:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment