{"slug": "computer-science-tools-books-articles", "title": "Computer Science Tools, Books & Articles", "summary": "This article provides a curated list of computer science resources, including books and PDFs, covering topics from basic computer hardware and software principles to advanced subjects like compilers, operating systems, and logic. Key titles featured include *Code: The Hidden Language of Computer Hardware and Software*, *Computer Systems: A Programmer's Perspective*, and *Structure and Interpretation of Computer Programs*. The list aims to serve as a comprehensive reference for learners and programmers seeking to deepen their understanding of how computers work.", "body_md": "\n## BOOKS:\n* ```The Secret Life of Programs: Understand Computers -- Craft Better Code [Steinhart, Jonathan E.]```\n* ```Computer Systems: A Programmer's Perspective, 3 Edition [Randal E. Bryant, David R. O'Hallaron]```\n* ```Code: The Hidden Language of Computer Hardware and Software [Petzold, Charles]```\n* ```How Computers Really Work: A Hands-On Guide to the Inner Workings of the Machine [Justice, Matthew]```\n* ```How the Internet Really Works: An Illustrated Guide to Protocols, Privacy, Censorship, and Governance [Article 19, Knodel, Mallory, Uhlig, Ulrike, ten Oever, Niels, Cath, Corinne]```\n* ```How Software Works: The Magic Behind Encryption, CGI, Search Engines, and Other Everyday Technologies [Spraul, V. Anton]```\n* ```The Secret Life of Programs: Understand Computers -- Craft Better Code [Steinhart, Jonathan E.]```\n* ```How Cybersecurity Really Works: A Hands-On Guide for Total Beginners [Grubb, Sam]```\n* ```But How Do It Know? - The Basic Principles of Computers for Everyone [Scott, J Clark]```\n* https://yurichev.com/mirrors/machine-code-for-beginners.pdf\n  * https://archive.org/details/machine-code-for-beginners\n    * https://ia800206.us.archive.org/20/items/machine-code-for-beginners/machine-code-for-beginners.pdf\n  * https://drive.google.com/file/d/0Bxv0SsvibDMTcHNXalEtYkVtU00/view\n* ```Hacker's Delight (2nd Edition) [Warren, Henry S.]```\n* ```Computer Science from the Bottom Up [Ian Wienand]```: https://www.bottomupcs.com\n  * https://www.bottomupcs.com/csbu.pdf\n  * https://www.bottomupcs.com/intro.xhtml\n  * https://www.bottomupcs.com/chapter01.xhtml\n  * <https://www.bottomupcs.com/virtual_addresses.xhtml>\n  * <https://www.bottomupcs.com/file_descriptors.xhtml>\n  * <https://www.bottomupcs.com/memory.xhtml>\n  * http://www.bottomupcs.com/privileges.xhtml\n* ```Think Like a Programmer: An Introduction to Creative Problem Solving [Spraul, V. Anton]```\n* ```How Computers Work: The Evolution of Technology, 10th Edition (How It Works) [Ron White, Timothy Edward Downs]```\n* ```Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Kroening, Daniel, Strichman, Ofer]```\n* ```Model Checking (Cyber Physical Systems Series) [Jr., Edmund M. Clarke, Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut]```\n  * http://www.decision-procedures.org\n  * http://www.decision-procedures.org/slides/\n* ```Concrete Mathematics: A Foundation for Computer Science (2nd Edition) [Graham, Ronald, Knuth, Donald, Patashnik, Oren]```\n* https://mathematicalolympiads.files.wordpress.com/2012/08/mathematics-for-computer-science.pdf\n* <http://xn--webducation-dbb.com/wp-content/uploads/2018/10/Mathematics-for-Computer-Science.pdf>\n* ```Mathematical Logic for Computer Science [Ben-Ari, Mordechai]```\n  * ```Mathematical Logic For Computer Science (2Nd Edition) (World Scientific Computer Science) [Zhongwan, Lu]```\n  * https://cs.uwaterloo.ca/~cbright/mlfcs-errata.html\n* ```Logic in Computer Science: Modelling and Reasoning about Systems [Huth, Michael]```\n* ```Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) [Dowek, Gilles]```\n  * <https://doc.lagout.org/science/0_Computer%20Science/2_Algorithms/Proofs%20and%20Algorithms_%20An%20Introduction%20to%20Logic%20and%20Computability%20%5BDowek%202011-01-13%5D.pdf>\n* Logic for Mathematics and Computer Science - Stanley N. Burris: https://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html\n* ```The Calculus of Computation: Decision Procedures with Applications to Verification [Bradley, Aaron R., Manna, Zohar]```\n* Gary Hardegree, Introduction to Modal Logic: https://courses.umass.edu/phil511-gmh/text.htm\n* <https://leanprover.github.io/logic_and_proof/>\n* ```Advanced Compiler Design and Implementation [Steven Muchnick]```\n* ```Compilers: Principles, Techniques, and Tools (2nd Edition) [Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman]```\n* The Nature of Code: http://natureofcode.com/book/introduction/\n* ```Modern Operating Systems (4th Edition) [Tanenbaum, Andrew S., Bos, Herbert]```\n* ```Operating Systems: Three Easy Pieces [Arpaci-Dusseau, Remzi H, Arpaci-Dusseau, Andrea C]```\n* ```Operating System Concepts [Abraham Silberschatz, Galvin, Gagne, peter]```\n* ```Clean Architecture: A Craftsman's Guide to Software Structure and Design (Robert C. Martin Series) [Robert C. Martin]```\n* ```Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers [John MacCormick, Chris Bishop]```\n* ```Computer Science Principles: The Foundational Concepts of Computer Science - For AP Computer Science Principles [Mr. Kevin P Hare, Mr. Pindar Van Arman]```\n* ```Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science) [Harold Abelson, Gerald Jay Sussman, Julie Sussman]```\n* ```Think Complexity: Complexity Science and Computational Modeling [Allen B. Downey]```\n* Category theory for scientists - David I. Spivak: https://arxiv.org/abs/1302.6946\n  * https://arxiv.org/pdf/1302.6946.pdf\n  * https://arxiv.org/pdf/1302.6946v2.pdf\n  * https://arxiv.org/pdf/1302.6946v3.pdf\n  * <http://math.mit.edu/~dspivak/teaching/sp13/CT4S--static.pdf>\n  * https://math.mit.edu/~dspivak/CT4S.pdf\n* ```Category Theory for Computing Science [Barr, Michael, Wells, Charles]```: http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf\n  * https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf\n* ```Introduction to Automata Theory, Languages, and Computation [John E. Hopcroft]```\n* ```Computational Fairy Tales [Jeremy Kubica]```\n* ```Classic Computer Science Problems in Python [Kopec, David]```\n* ```Database Internals: A Deep Dive into How Distributed Data Systems Work [Petrov, Alex]```\n* ```Distributed Systems [van Steen, Maarten, Tanenbaum, Andrew S.]```\n* ```The Manga Guide to Databases [Mana Takahashi, Shoko Azuma]```\n* ```The Manga Guide to Cryptography (Manga Guides) [Masaaki Mitani, Shinichi Sato, Idero Hinoki, Verte Corp.]```\n* ```Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science) [Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie]```\n* ```Concrete Mathematics: A Foundation for Computer Science (2nd Edition) [Graham, Ronald L., Knuth, Donald E., Patashnik, Oren]```\n* ```Mathematics for Computer Science [Lehman, Eric, Leighton, F. Thomson, Meyer, Albert R.]```\n* ```Introduction to Graph Theory (Dover Books on Mathematics) [Richard J. Trudeau]```\n* ```Logic for Mathematics and Computer Science [Burris, Stanley N.]```\n* ```Mathematical Logic Applications and Theory (Saunders series) [Rubin, Jean E.]```\n* ```A Mathematical Introduction to Logic [Herbert B. Enderton]```\n* ```Introductory Logic and Sets for Computer Scientists (International Computer Science Series) [Nissanke, N.]```\n* <https://data.cyber.org.il/os/os_book.pdf>\n  * <https://data.cyber.org.il/assembly/assembly_book.pdf>\n  * <https://data.cyber.org.il/networks/networks.pdf>\n  * <https://data.cyber.org.il/python/python_book.pdf>\n* ```The Elements of Computing Systems: Building a Modern Computer from First Principles [Nisan, Noam, Schocken, Shimon]```\n* Book in preparation: introduction to theoretical computer science: https://github.com/boazbk/tcs\n* <https://doc.lagout.org/programmation/Multi-Language/A%20Short%20Course%20in%20Computational%20Science%20and%20Engineering_%20C%20%20%2C%20Java%20and%20Octave%20Numerical%20Programming%20with%20Free%20Software%20Tools%20%5BYevick%202012-07-09%5D.pdf>\n* <http://repo.darmajaya.ac.id/5310/1/Logic%20for%20Computer%20Science%20and%20Artificial%20Intelligence%20%28%20PDFDrive%20%29.pdf>\n* \n\n## BOOKSETS:\n* http://www.msreverseengineering.com/program-analysis-reading-list/\n* https://web.archive.org/web/20110228072830/http://www.unprotectedhex.com/psv/index.php/Books\n  * https://web.archive.org/web/20120202123742/http://www.unprotectedhex.com:80/psv/index.php/Books\n* https://www.maa.org/press/maa-reviews/browse\n* https://procul.org/blog/2007/10/01/sach-khmt/\n  * https://cse.buffalo.edu/~hungngo/vietnamese.html\n  * <https://web.archive.org/web/20181001024832/http://www.procul.org/blog/2012/05/02/lam-an-toan-thong-tin-thi-h%E1%BB%8Dc-gi/>\n  * <https://web.archive.org/web/20181009102742/http://www.procul.org/blog/category/gi%E1%BB%9Bi-thi%E1%BB%87u-sach/>\n  * <https://web.archive.org/web/20181012010932/http://www.procul.org/blog/2007/10/01/sach-khmt>\n    * <https://web.archive.org/web/20201101015946/http://www.procul.org/blog/2007/10/01/sach-khmt/>\n  * <https://web.archive.org/web/20181003083414/http://www.procul.org/blog/2007/10/07/gi%E1%BB%9Bi-thi%E1%BB%87u-m%E1%BB%99t-s%E1%BB%91-sach-khmt-2-machine-learning-statistics-optimization/>\n  * <https://web.archive.org/web/20170528024628/http://www.procul.org/blog/2007/10/10/sach-khmt-3-databases-anh-doan-an-h%E1%BA%A3i-gi%E1%BB%9Bi-thi%E1%BB%87u/>\n* http://tandon-books.com/Computer%20Science/\n  * http://tandon-books.com/Mathematics/\n* http://www.openculture.com/free-computer-science-textbooks\n* Top mentioned books on stackoverflow.com: http://www.dev-books.com/\n* Teach Yourself Computer Science: https://teachyourselfcs.com\n* https://marcofavorito.github.io/my-bookshelf/\n  * https://marcofavorito.me/my-bookshelf/\n* https://travmaturg.github.io/links/books.html\n* http://www.sporaw.com/books/coding.htm\n* https://freecomputerbooks.com/compscCategory.html\n  * Introduction to Computer Science: https://freecomputerbooks.com/compscComputerScienceBooks.html\n* http://minus4.info/books.html\n* https://github.com/prakhar1989/awesome-courses\n* <https://www.cs.drexel.edu/~csgordon/books.html>\n  * https://trsumit.github.io/links.html\n* https://github.com/nculwell/MathStudy\n  * https://github.com/nculwell/MathStudy/blob/master/LogicDiscrete.md\n* http://matol.kz/books\n* https://www.hse.ru/data/2018/10/17/1162915628/program-1720755843-xdn7xiyY4F.pdf\n* https://diendantoanhoc.net/topic/42241-all-math-books-categorized-47gb/\n* learning resources.md: https://gist.github.com/rdbuf/b8137d834ba93eb0a7a83ef934e77d43\n* Software Engineering: https://www.amazon.com/gp/most-wished-for/digital-text/16977186011\n* Computers & Technology: https://www.amazon.com/gp/most-wished-for/books/5/\n* https://nielinjie.github.io/pp/\n* \n\n## COMPETITIONS:\n* http://matol.kz/nodes/173\n* \n\n## ARTICLES:\n* https://medium.freecodecamp.com/why-i-studied-full-time-for-8-months-for-a-google-interview-cc662ce9bb13\n* https://www.facebook.com/xcode412/posts/1804080229607280\n  * Bài toán phân loại nổi tiếng nhất là bài toán P v.s. NP. P là tập các bài toán dễ. NP là tập các bài toán dễ kiểm tra lời giải! Câu hỏi triệu đô: có bài toán nào khó giải (không thuộc P) nhưng dễ kiểm tra lời giải (thuộc NP)?\n* https://defuse.ca/advice-to-aspiring-computer-engineers.htm\n* https://github.com/alex/what-happens-when\n* https://wiki.theory.org/YourLanguageSucks\n  * https://yourlanguagesucks.com\n  * Your language sucks.md: https://gist.github.com/P4/0096b30ff0d0d1645e4f9f59c85d9483\n* 2020:\n  * Tự học Khoa Học Máy Tính như thế nào? https://www.facebook.com/pnstung/posts/10207089030019702\n* 2019:\n  * <http://www.cs-study.com/koga/category/eng_index.html>\n* 2018:\n  * http://www.chrisbaldassano.com/blog/2018/03/02/reproducible/\n  * https://www.secplicity.org/2018/10/12/from-binary-to-character-representations/\n* 2017:\n  * First-order logic with identity: <https://courses.maths.ox.ac.uk/node/view_material/3218>\n  * https://sgros-students.blogspot.com/2017/01/interpreter-internals.html\n* 2016:\n  * https://www.johndcook.com/blog/2016/01/27/next-areas-of-math-to-be-applied/\n* 2015:\n  * https://defuse.ca/advice-to-aspiring-computer-engineers.htm\n* \n\n## PRESENTATIONS:\n* https://personal.utdallas.edu/~kxh060100/hamlen-writingtips.pdf\n* 2017:\n  * <https://www.hackinbo.it/slides/1508354216_MAISTRI_Presentazione_Stefano_Maistri.pdf>\n* 2007:\n  * https://www.blackhat.com/presentations/bh-usa-07/Harbour/Presentation/bh-usa-07-harbour.pdf\n* NO-TIME:\n  * https://personal.utdallas.edu/~kxh060100/hamlen-writingtips.pdf\n* \n\n## PAPERS:\n* http://www.cs.northwestern.edu/~pdinda/ics-s05/doc/dsa.pdf\n* 2018:\n  * http://cse.sustech.edu.cn/faculty/~zhangfw/paper/malt-patent18.pdf\n* 2015:\n  * https://theory.stanford.edu/~barrett/pubs/BdMF15.pdf\n* 2007:\n  * http://asm.rajiska.fr/misc/cpumemory.pdf\n* 1973:\n  * <https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1093891000>\n* LINKS:\n  * https://github.com/papers-we-love/papers-we-love\n  * <https://jeffhuang.com/best_paper_awards.html>\n  * https://lemire.me/blog/my-favorite-articles/\n* \n\n## VIDEOS:\n* Hamming, \"You and Your Research\" (June 6, 1995): https://www.youtube.com/watch?v=a1zDuOPkMSw\n* 2020:\n  * How do you \"solve\" an NP Complete Problem? - Dr. Know-it-all Knows it all: https://www.youtube.com/watch?v=L9AEJKwrb_Q\n  * 4.3 Giải thuật luyện thép - SACH LE THANH: https://www.youtube.com/watch?v=P_cgr7Y56b4\n* 2018:\n  * 4 Programming Paradigms In 40 Minutes - Coding Tech: https://www.youtube.com/watch?v=cgVVZMfLjEI\n* 2017:\n  * ```Registers and RAM: Crash Course Computer Science #6 - CrashCourse```: https://www.youtube.com/watch?v=fpnE6UAfbtU\n  * ```Operating Systems: Crash Course Computer Science #18 - CrashCourse```: https://www.youtube.com/watch?v=26QPDBe-NB8\n* 2014:\n  * P vs NP on TV - Computerphile: https://www.youtube.com/watch?v=dJUEkjxylBw\n  * P vs. NP and the Computational Complexity Zoo - hackerdashery: https://www.youtube.com/watch?v=YX40hbAHx3s\n  * Computer science is for everyone | Hadi Partovi | TEDxRainier - TEDx Talks: https://www.youtube.com/watch?v=FpMNs7H24X0\n* 1995:\n  * Hamming, \"You and Your Research\" (June 6, 1995): https://www.youtube.com/watch?v=a1zDuOPkMSw\n* \n\n## YOUTUBE PLAYLISTS:\n* Computer Science and Security - stanfordonline: https://www.youtube.com/playlist?list=PLoROMvodv4rPIdnIoOMmjjxZRqM1pPkLT\n  * Donald Knuth Lectures - stanfordonline: https://www.youtube.com/playlist?list=PL94E35692EB9D36F3\n  * Lectures - stanfordonline: <https://www.youtube.com/playlist?list=PLoROMvodv4rM2uc1Cg9oTblVaF-EEOlw->\n  * Donald Knuth Christmas Lectures - stanfordonline: https://www.youtube.com/playlist?list=PLoROMvodv4rOAvKVR_dyCigSBMcYjevYB\n  * Seminars - stanfordonline: https://www.youtube.com/playlist?list=PLoROMvodv4rPK8qltZIBfiC7xomcvMXH7\n* Computer Science Concepts - freeCodeCamp.org: https://www.youtube.com/playlist?list=PLWKjhJtqVAbn5emQ3RRG8gEBqkhf_5vxD\n  * Introduction to Computer Science - Harvard's CS50 - freeCodeCamp.org: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmGw5fN5BQlwuug-8bDmabi\n* CS Concepts - sandeep dasgupta: https://www.youtube.com/playlist?list=PLzMO53i0g72-QkMZYMSPOV_pU5ZZomWdF\n* Computer Memory for Coders - BinaryAdventure: https://www.youtube.com/playlist?list=PLg_QXA4bGHps_jaWHhBFQTPKxUHo3JxcQ\n* Vienna Gödel Lectures - TU Wien: <https://www.youtube.com/playlist?list=PLQku6m__XAxGEb1-ZIWSYnLxINppXHbXF>\n* Graph Theory - PBS Infinite Series: <https://www.youtube.com/playlist?list=PLa6IE8XPP_gnJkQ9xeimi1sFHg7Y6UBA6>\n  * Your Brain as Math - PBS Infinite Series: https://www.youtube.com/playlist?list=PLa6IE8XPP_gnTQcD8qgl72tgrhIsQYvQM\n* Computer Science - Up and Atom: https://www.youtube.com/playlist?list=PL1lNrW4e0G8V59k2acXxwwGHrBQoTYZS7\n* Mini Course: Randomized algorithms (Primality test) - Art of the Problem: https://www.youtube.com/playlist?list=PLbg3ZX2pWlgKZ0eR9lviOkeagDuSPl89K\n* Episode 3: Computer Science - Art of the Problem: https://www.youtube.com/playlist?list=PLbg3ZX2pWlgI_ej6ZhGd45-cPoWLZD9pT\n  * The Great Papers: Information Theory - Art of the Problem: https://www.youtube.com/playlist?list=PLbg3ZX2pWlgJOTf5YXNq-rdXXuUkJTXHm\n  * Episode 2: Information Theory - Art of the Problem: https://www.youtube.com/playlist?list=PLbg3ZX2pWlgKDVFNwn9B63UhYJVIerzHL\n* Turing Lectures - The Alan Turing Institute: https://www.youtube.com/playlist?list=PLuD_SqLtxSdVDcrCYIHayTL91DapuIHrO\n  * Short Talks - The Alan Turing Institute: <https://www.youtube.com/playlist?list=PLuD_SqLtxSdU774xWBKNjg54GgNpKvWbC>\n  * Logic and learning workshop - The Alan Turing Institute: <https://www.youtube.com/playlist?list=PLuD_SqLtxSdVhcjUFDYwaMB95AD85EsO5>\n* Programming and Programming Languages - Microsoft Research: https://www.youtube.com/playlist?list=PLD7HFcN7LXRd3irm6OcpJJp7XmtBVQbHt\n  * Quantum Computing - Microsoft Research: https://www.youtube.com/playlist?list=PLD7HFcN7LXRcKEiyRxdTDVRaMZQDhojhb\n* Computer Science/Computer Engineering - Zach Star: https://www.youtube.com/playlist?list=PLi5WqFHu_OJMouMI0TC6uH4AjqJqKdA0x\n* Meetings - CyberAtUC: https://www.youtube.com/playlist?list=PLWlcSb74R2eKYY0blLGrnFnp4fhv_OzZH\n* Compilers with Professor Brailsford - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckoJaMwuI1fhr5n8cJL18hYd\n  * Alan Turing and Enigma - Computerphile: <https://www.youtube.com/playlist?list=PLzH6n4zXuckodsatCTEuxaygCHizMS0_I>\n  * Turing Machines Collection - Computerphile: <https://www.youtube.com/playlist?list=PLzH6n4zXuckrEzV0CB1xXbSdsP_a7VUoK>\n  * The History of Undecidability - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckpIQPv8hiHpJkSyv0fmXEYr\n  * Brian Kernighan on Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckqZ90zLyy36qjO5YIn1RulG\n  * Brian Kernighan Q&A 2018 - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckr7UDOdvPy2bDVsDlMBKTav\n  * How Computer Memory Works - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckoxFPyhsMOYMGqyZOeN2SDJ\n  * Tom Scott on Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckqmf_xUcvU5caZVoctP2ehL\n  * Triangles and Pixels - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckrPkEUK5iMQrQyvj9Z6WCrm\n  * How JPEG Works - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckoAod3z31QEST1ZaizBuNHh\n  * Information Theory & Coding - Professor Brailsford - Computerphile: <https://www.youtube.com/playlist?list=PLzH6n4zXuckpKAj1_88VS-8Z6yn9zX_P6>\n  * Computer stuff on Numberphile: https://www.youtube.com/playlist?list=PLzH6n4zXucko9k1NR7G-lz77eIwLNSU9s\n  * Artificial Immune Systems - Computerphile: <https://www.youtube.com/playlist?list=PLzH6n4zXuckr_brLgi8SlrLzoprSApFrG>\n  * The Story of Mel - Computerphile: https://www.youtube.com/playlist?list=PLzH6n4zXuckoXiDGh3c16nMCPABZKHc9I\n* Tìm kiếm theo kinh nghiệm - SACH LE THANH: https://www.youtube.com/playlist?list=PL13VD7ErsVSBW0HHuS-Id44vdsdN7jbRa\n  * Tìm kiếm cục bộ - SACH LE THANH: https://www.youtube.com/playlist?list=PL13VD7ErsVSDVTBAJoGSLhZ3Js5AxWMJA\n  * Bài toán thỏa mãn ràng buộc - SACH LE THANH: https://www.youtube.com/playlist?list=PL13VD7ErsVSDDAvW0POwOIfUvR4jAyZVR\n* Introduction to Optimization - AlphaOpt: https://www.youtube.com/playlist?list=PLLK3oSbvdxFdF67yVxF_1FQO9SbBY3yTL\n  * Optimization Examples - AlphaOpt: https://www.youtube.com/playlist?list=PLLK3oSbvdxFemomwJeXyDtiIKUmJpZDRv\n* Computer Chronicles - 1983 - Steven Whiting: https://www.youtube.com/playlist?list=PL96F5PDvO1HGC1sZkeAkvXe0ZD3I_RlbH\n* Highlights from the Christmas Lectures Archive - The Royal Institution: https://www.youtube.com/playlist?list=PLbnrZHfNEDZy9ZL0GpfoRi93hipIKUjFy\n* Career in Engineering - Various Branches - Freshersworld - Mechnicaal, Civil, Computer, Electrocnics - Freshersworld.com: https://www.youtube.com/playlist?list=PLjLhUHPsqNYm5Y3st3k3K3Z4yvfUqKXd3\n* Computer Science Concepts - Cyborg Elf: https://www.youtube.com/playlist?list=PLzBukBmD3Gxt7EIqCpov-J5N4ZCt0fQZD\n* 2010:\n  * CSE549 - Computational Biology - 2010 SBU: https://www.youtube.com/playlist?list=PLA48145CC64FE7990\n* 2007:\n  * COMP510 - Computational Finance - 2007 HKUST: https://www.youtube.com/playlist?list=PL9E205B8FAAD530E1\n* 1983:\n  * Computer Chronicles - 1983 - Steven Whiting: https://www.youtube.com/playlist?list=PL96F5PDvO1HGC1sZkeAkvXe0ZD3I_RlbH\n* \n\n## GUIDES:\n* Teach Yourself Computer Science: https://teachyourselfcs.com\n* \n\n## NOTES:\n* https://github.com/CyC2018/CS-Notes\n* <http://www.stonedcoder.org/~kd/instant_review.txt>\n* https://web.njit.edu/~plastock/index1.html\n  * https://web.njit.edu/~plastock/ma326/ma326.pdf\n  * https://web.njit.edu/~plastock/ma226DL/ma226dl.pdf\n* http://www.cs.nott.ac.uk/~psztxa/g51mcs/notes.pdf\n* \n\n## WIKI RESOURCES:\n* <https://en.wikipedia.org/wiki/Category:Logic_in_computer_science>\n  * <https://en.wikipedia.org/wiki/Satisfiability_modulo_theories>\n  * <https://en.wikipedia.org/wiki/Peano_axioms>\n* <https://en.wikipedia.org/wiki/Category:Model_theory>\n  * <https://en.wikipedia.org/wiki/First-order_logic>\n  * <https://en.wikipedia.org/wiki/Presburger_arithmetic>\n* <https://en.wikipedia.org/wiki/Category:Mathematical_logic>\n* <https://en.wikipedia.org/wiki/Category:Predicate_logic>\n* <https://en.wikipedia.org/wiki/Category:Constraint_programming>\n* <https://en.wikipedia.org/wiki/Category:Systems_of_formal_logic>\n* <https://en.wikipedia.org/wiki/Category:Proof_theory>\n* <https://en.wikipedia.org/wiki/Category:Formal_theories_of_arithmetic>\n* <https://en.wikipedia.org/wiki/Category:Mathematical_axioms>\n* <https://en.wikipedia.org/wiki/Category:NP-complete_problems>\n* <https://en.wikipedia.org/wiki/Category:Satisfiability_problems>\n* <https://en.wikipedia.org/wiki/Category:Introductions_by_year>\n  * <https://en.wikipedia.org/wiki/Category:1929_introductions>\n  * <https://en.wikipedia.org/wiki/Category:1929_beginnings>\n  * <https://en.wikipedia.org/wiki/Category:1920s_introductions>\n* https://en.wikipedia.org/wiki/Category:Diagrams\n* <https://en.wikipedia.org/wiki/Category:Graph_data_structures>\n* <https://en.wikipedia.org/wiki/Category:Formal_methods>\n* <https://en.wikipedia.org/wiki/Category:Formal_methods_tools>\n* <https://en.wikipedia.org/wiki/Category:Model_checking>\n* <https://en.wikipedia.org/wiki/Category:Boolean_algebra>\n  * <https://en.wikipedia.org/wiki/Binary_decision_diagram>\n* <https://en.wikipedia.org/wiki/Category:Compiler_optimizations>\n  * <https://en.wikipedia.org/wiki/Static_single_assignment_form>\n* https://0x00sec.org/t/cs-related-books-wiki/4854\n* <https://wiki.osdev.org/System_Calls>\n* <http://kcchao.wikidot.com/state-machine>\n  * http://kcchao.wikidot.com/flowchart\n* \n\n## WIKIs:\n* <https://math-wiki.com/index.php?title=%D7%A2%D7%9E%D7%95%D7%93_%D7%A8%D7%90%D7%A9%D7%99>\n* http://www.elvis.ac.nz/twikipub/Main/\n  * http://www.elvis.ac.nz/twikipub/Main/MakingPostersAndGivingTalks/\n* \n\n## FREE COURSES:\n* CS50: https://cs50.harvard.edu\n  * CS50's Introduction to Computer Science: https://www.edx.org/course/cs50s-introduction-to-computer-science\n    * https://cs50.edx.org\n  * CS50x: https://cs50.harvard.edu/x/\n  * CSCI E-50 at Harvard Extension School: https://cs50.harvard.edu/extension/\n* The Missing Semester of Your CS Education: https://missing.csail.mit.edu\n  * https://missing.csail.mit.edu/2020/debugging-profiling/\n  * https://missing.csail.mit.edu/2020/security/\n  * https://missing.csail.mit.edu/2019/security/\n* Mathematics For Computer Science: <https://openlearninglibrary.mit.edu/courses/course-v1:OCW+6.042J+2T2019/course/>\n  * https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-spring-2015/\n  * https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/\n    * <https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/e5079d6e1b0dc66d426df26e05dee250_MIT6_042JF10_chap03.pdf>\n  * https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2005/\n* https://olympiads.bc-pf.org/plans/informatics\n* CS 108/258, \"Advanced Operating Systems\":\n  * http://www.cs.dartmouth.edu/~sergey/cs108/\n    * http://www.cs.dartmouth.edu/~sergey/cs108/2009/\n    * http://www.cs.dartmouth.edu/~sergey/cs108/2010/\n    * http://www.cs.dartmouth.edu/~sergey/cs108/2012/\n* cs143a Principles of Operating Systems class: https://github.com/antonburtsev/cs143a\n* https://www.coursera.org/browse/math-and-logic\n* Computer Science: Programming with a Purpose: https://www.coursera.org/learn/cs-programming-java\n* Computer Science: Algorithms, Theory, and Machines: https://www.coursera.org/learn/cs-algorithms-theory-machines\n* Introduction to Logic: https://www.coursera.org/learn/logic-introduction\n* CS 245: Logic and Computation: https://www.student.cs.uwaterloo.ca/~cs245/\n  * **Alice Gao's CS 245 Resources Page**: https://cs.uwaterloo.ca/~a23gao/cs245_s18/index.shtml\n    * https://cs.uwaterloo.ca/~a23gao/cs245_s18/slides/\n    * https://cs.uwaterloo.ca/~a23gao/cs245_s18/notes/\n      * <https://cs.uwaterloo.ca/~a23gao/cs245_s18/notes/workbook_sol.pdf>\n    * https://cs.uwaterloo.ca/~a23gao/cs245_f17/\n      * https://cs.uwaterloo.ca/~a23gao/cs245_f17/slides/\n      * https://cs.uwaterloo.ca/~a23gao/cs245_f17/notes/\n  * CPSC 121: Models of Computation: https://www.students.cs.ubc.ca/~cs-121/2016W1/\n  * CPSC 121: Models of Computation: https://www.students.cs.ubc.ca/~cs-121/2016W2/\n  * CPSC 121: Models of Computation: https://www.students.cs.ubc.ca/~cs-121/2015W1/\n  * CPSC 121: Models of Computation: https://www.students.cs.ubc.ca/~cs-121/2015W2/\n  * https://cs.uwaterloo.ca/~cbruni/CS245Resources/index.php\n  * https://cs.uwaterloo.ca/~bbonakda/teaching/CS245/\n* Science of Computational Logic: <https://iccl.inf.tu-dresden.de/web/Science_of_Computational_Logic_(WS2015)>\n* CS103: Mathematical Foundations of Computing\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1202/\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1202/lectures/\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1202/lectures/04/Slides04.pdf\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1202/lectures/04/Small04.pdf\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1198/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1194/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1192/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1184/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1182/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1176/\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1176/notes/\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1176/notes/Guide%20to%20Logic%20Translations.pdf\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1172/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1164/\n    * https://web.stanford.edu/class/archive/cs/cs103/cs103.1164/fall1516/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1156/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1152/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1134/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1132/\n  * https://web.stanford.edu/class/archive/cs/cs103/cs103.1126/\n* Techniques in Artificial Intelligence (SMA 5504): https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/\n  * https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/lecture-notes/\n    * https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/lecture-notes/Lecture5FinalPart1Save.pdf\n* 601.464/664 Artificial Intelligence: http://www.cs.jhu.edu/~phi/ai/\n  * http://www.cs.jhu.edu/~phi/ai/slides/lecture-first-order-logic.pdf\n* UMBC CMSC 671 Fall 2009 Principles of Artificial Intelligence: https://www.csee.umbc.edu/courses/671/fall09/\n  * https://www.csee.umbc.edu/courses/671/fall09/notes/\n  * https://www.csee.umbc.edu/courses/671/fall09/notes/10b.pdf\n* CSCI.4430/6430 Programming Languages-- Fall 2019: https://www.cs.rpi.edu/academics/courses/fall19/csci4430/\n  * http://www.cs.rpi.edu/~milanova/csci4430/schedule.html\n  * Programming Languages (CSCI-4430): http://www.cs.rpi.edu/~milanova/csci4430/index.html\n* COS 516 / ELE 516 Automated Reasoning about Software: https://www.cs.princeton.edu/courses/archive/fall19/cos516/schedule.html\n* Foundations of Artificial Intelligence - CS4700  - Fall 2011 - Hod Lipson: https://www.cs.cornell.edu/courses/cs4700/2011fa/\n  * <https://www.cs.cornell.edu/courses/cs4700/2011fa/lectures/16_FirstOrderLogic.pdf>\n* CS 343: Artificial Intelligence: https://www.cs.utexas.edu/~mooney/cs343/\n  * https://www.cs.utexas.edu/~mooney/cs343/slide-handouts/fopc.4.pdf\n* COMP 590 Artificial Intelligence: https://www.cs.unc.edu/~lazebnik/fall10/\n  * https://www.cs.unc.edu/~lazebnik/fall10/lec13_fol.pdf\n* Fall 2017 Artificial Intelligence (CS440/ECE448 Sections Q3, Q4, ONL): http://slazebni.cs.illinois.edu/fall17/\n* Logic in Computer Science: https://courses.engr.illinois.edu/cs498mv/fa2018/\n  * https://courses.engr.illinois.edu/cs498mv/fa2018/FirstOrderLogic.pdf\n* Programming Languages (CS162): https://sites.cs.ucsb.edu/~kyledewey/cs162w17/\n  * https://sites.cs.ucsb.edu/~kyledewey/cs162w17/handouts/\n* ICS 271 Intro AI (graduate course): https://www.ics.uci.edu/~welling/teaching/271fall09/271fall09.html\n  * https://www.ics.uci.edu/~welling/teaching/271fall09/\n  * https://www.ics.uci.edu/~welling/teaching/271fall09/FOL271-f09.pdf\n* Math 260AB Introduction to Mathematical Logic Winter - Spring 2012: https://www.math.ucsd.edu/~sbuss/CourseWeb/Math260_2012WS/\n  * <https://www.math.ucsd.edu/~sbuss/CourseWeb/Math260_2012WS/Feb10Parrish.pdf>\n  * http://www.math.ucsd.edu/~sbuss/ResearchWeb/HandbookProofTheory/\n* Introduction to Artificial Intelligence: https://cs.nyu.edu/faculty/davise/ai/\n* Seminar: Decision Procedures (CPSC 729a): http://www.cs.yale.edu/homes/piskac/teaching/decpro-729.html\n  * https://www.cs.yale.edu/homes/piskac/teaching/decpro-729/fol.pdf\n* Philosophy 511 - Modal Logic: https://courses.umass.edu/phil511-gmh/MAIN/IHome-1.htm\n  * https://courses.umass.edu/phil511-gmh/MAIN/IHome-4.htm\n  * https://courses.umass.edu/phil511-gmh/pdf/c07.pdf\n* https://home.uchicago.edu/~anubav/Intermediate%20Logic%20Course%20Notes\n  * https://ttic.uchicago.edu/~dmcallester/notes/fol.html\n* CS540-2: Introduction to Artificial Intelligence: http://pages.cs.wisc.edu/~bgibson/cs540/\n  * http://pages.cs.wisc.edu/~bgibson/cs540/handouts/\n  * http://pages.cs.wisc.edu/~bgibson/cs540/handouts/fol_zhu.pdf\n* COMP 409/509:Logic in Computer Science and Artificial intelligence: https://www.cs.rice.edu/~vardi/comp409/\n  * https://www.cs.rice.edu/~vardi/comp409/409.lectures.html\n  * https://www.cs.rice.edu/~vardi/comp409/lec15.pdf\n* CPS 270: Introduction to Artificial Intelligence (Spring 2015): https://www2.cs.duke.edu/courses/spring15/compsci270/\n  * https://www2.cs.duke.edu/courses/spring15/compsci270/slides/\n  * https://www2.cs.duke.edu/courses/spring15/compsci270/slides/270_6.pdf\n* COMS W4701 Artificial Intelligence - Jonathan Voris: https://www.cs.columbia.edu/~jvoris/AI/\n  * https://www.cs.columbia.edu/~jvoris/AI/notes/m8-fol.pdf\n* https://www.sas.upenn.edu/~htowsner/index.html?previous\n  * https://www.sas.upenn.edu/~htowsner/prooftheory/\n  * https://www.sas.upenn.edu/~htowsner/prooftheory/FirstOrderLogic.pdf\n* CS2740  Knowledge Representation (ISSP 3712): https://people.cs.pitt.edu/~milos/courses/cs2740/\n  * https://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class8.pdf\n* CS420: Artificial Intelligence: https://www.cpp.edu/~ftang/courses/CS420/\n  * https://www.cpp.edu/~ftang/courses/CS420/notes.htm\n  * https://www.cpp.edu/~ftang/courses/CS420/notes/\n  * https://www.cpp.edu/~ftang/courses/CS420/notes/FOL.pdf\n* CS 440: https://www.cs.colostate.edu/~howe/cs440/csroo/yr2015fa/index.php\n  * <https://www.cs.colostate.edu/~howe/cs440/csroo/yr2015fa/home_progress.php>\n  * <https://www.cs.colostate.edu/~howe/cs440/csroo/yr2015fa/more_progress/11_fol2015.pdf>\n* CSU 290   Spring 2009   Section 2 (16h35) Logic and Computation: https://www.ccs.neu.edu/home/riccardo/courses/csu290-sp09/\n  * https://www.ccs.neu.edu/home/riccardo/courses/csu290-sp09/lect29-fol.pdf\n* CS 404 Artificial Intelligence - Berrin Yanikoglu: http://people.sabanciuniv.edu/~berrin/cs404/\n  * http://people.sabanciuniv.edu/~berrin/cs404/lectures/\n  * http://people.sabanciuniv.edu/~berrin/cs404/lectures/chapter08-aima-by.pdf\n* https://web.njit.edu/~plastock/index1.html\n  * https://web.njit.edu/~plastock/ma326/ma326.pdf\n  * https://web.njit.edu/~plastock/ma226DL/ma226dl.pdf\n* PMath 330: https://www.math.uwaterloo.ca/~snburris/htdocs/FALL00/pm330_f00.html\n  * https://www.math.uwaterloo.ca/~snburris/htdocs/FALL00/\n  * https://www.math.uwaterloo.ca/~snburris/htdocs/FALL00/SLIDES/\n  * https://www.math.uwaterloo.ca/~snburris/htdocs/FALL00/SLIDES/chap5.pdf\n* CMPT 310: Artificial Intelligence Survey: https://coursys.sfu.ca/2017fa-cmpt-310-d1/pages/\n  * https://coursys.sfu.ca/2017fa-cmpt-310-d1/pages/lectures\n  * https://coursys.sfu.ca/2017fa-cmpt-310-d1/pages/chapter08/view\n* https://people.ucalgary.ca/~rzach/static/open-logic/\n  * https://people.ucalgary.ca/~rzach/static/open-logic/content/\n  * https://people.ucalgary.ca/~rzach/static/open-logic/content/first-order-logic/\n  * https://people.ucalgary.ca/~rzach/static/open-logic/content/first-order-logic/first-order-logic.pdf\n* Logic: http://fmv.jku.at/logic/\n  * http://fmv.jku.at/logic/FO1.pdf\n* Introduction to Logic: https://www.cs.ox.ac.uk/people/james.worrell/lectures.html\n  * https://www.cs.ox.ac.uk/people/james.worrell/lecture9-2015.pdf\n* Software Engineering: http://www.cs.ox.ac.uk/people/michael.wooldridge/teaching/soft-eng/\n  * http://www.cs.ox.ac.uk/people/michael.wooldridge/teaching/soft-eng/lect10.pdf\n* Logic in Computer Science (COMP118): https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/comp118.html\n  * https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/slides.html\n  * https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/material.html\n  * https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/\n  * https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/lecture4.pdf\n* AUTOMATED REASONING (2019-20): THIS COURSE IS BEING UPDATED: https://www.inf.ed.ac.uk/teaching/courses/ar/\n  * https://www.inf.ed.ac.uk/teaching/courses/ar/slides05.pdf\n  * <https://www.inf.ed.ac.uk/teaching/courses/ar/slides/lec04/FOL_lec.pdf>\n* Reasoning: https://canvas.bham.ac.uk/courses/31166\n  * <https://canvas.bham.ac.uk/courses/31166/files/6796158/download?download_frd=1>\n* Logic - Math 461, Section 1 Spring 2006: https://homepages.warwick.ac.uk/~masgar/Teach/2006_461/class.html\n  * https://homepages.warwick.ac.uk/~masgar/Teach/2006_461/class_schedule.html\n  * https://homepages.warwick.ac.uk/~masgar/Teach/2006_461/\n  * <https://homepages.warwick.ac.uk/~masgar/Teach/2006_461/2006_03_20lecture_first_order.pdf>\n* http://users.cecs.anu.edu.au/~baumgart/teaching/\n  * http://users.cecs.anu.edu.au/~baumgart/teaching/COMP4630-2019/fo-logic-handout.pdf\n* https://people.math.ethz.ch/~halorenz/4students/ ; https://people.math.ethz.ch/~halorenz/4students/4students.html\n  * Axiomatic set theory: https://people.math.ethz.ch/~halorenz/4students/LogikML.html\n    * https://people.math.ethz.ch/~halorenz/4students/LogikML/\n    * https://people.math.ethz.ch/~halorenz/4students/LogikML/Nutshell.pdf\n* Logic - Prof. Tobias Nipkow, Sommersemester 2016: https://www21.in.tum.de/teaching/logik/SS16/\n  * https://www21.in.tum.de/teaching/logik/SS16/Slides/decision-problem.pdf\n* Learning Mathematical Philosophy: https://www.mcmp.philosophie.uni-muenchen.de/students/math/index.html\n  * <https://www.mcmp.philosophie.uni-muenchen.de/students/math/math_logic_munich.pdf>\n* Decision Procedures for Verification: https://userpages.uni-koblenz.de/~sofronie/lecture-dp-ws-2011/\n  * https://userpages.uni-koblenz.de/~sofronie/lecture-dp-ws-2011/slides/\n  * https://userpages.uni-koblenz.de/~sofronie/lecture-dp-ws-2011/exercises/\n  * https://userpages.uni-koblenz.de/~sofronie/lecture-dp-ws-2011/slides/first-order-logic2.pdf\n* CS486: Applied Logic: https://www.cs.uni-potsdam.de/ti/kreitz/Teaching/CS486/current.html\n  * https://www.cs.uni-potsdam.de/ti/kreitz/Teaching/CS486/notes-24.pdf\n* Can computers think? Automatic proof and artificial intelligence - Dr. Sebastian Koch and Dr. Joris Roos:\n  * http://www.math.uni-konstanz.de/~krapp/leysin_18_ag4/\n  * http://www.math.uni-konstanz.de/~krapp/leysin_18_ag4/FormalizingFirstOrderLogic.pdf\n* Artificial Intelligence Course, WS 14/15, U Stuttgart: https://ipvs.informatik.uni-stuttgart.de/mlr/marc/teaching/14-ArtificialIntelligence/\n  * https://ipvs.informatik.uni-stuttgart.de/mlr/marc/teaching/14-ArtificialIntelligence/08-firstOrderLogic.pdf\n* Core Logic 2006/2007; 1st Semester: https://www.math.uni-hamburg.de/home/loewe/2006-07-I/CoreLogic.html\n  * https://www.math.uni-hamburg.de/home/loewe/2006-07-I/L10.pdf\n* Core Logic 2005/2006; 1st Semester: https://www.math.uni-hamburg.de/home/loewe/2005-I-CL.html\n* https://www.math.uni-heidelberg.de/logic/lehre/skripten.html\n  * https://www.math.uni-heidelberg.de/logic/skripten/randalgo/ra41-forallexists-41.pdf\n* Logic and Modelling - Jörg Endrullis: http://joerg.endrullis.de/logic-and-modelling/\n  * <http://joerg.endrullis.de/logic-and-modelling/12_predicate_logic_undecidability.pdf/print_12_predicate_logic_undecidability.pdf>\n* Automatic structures ESSLLI 10: http://eiche.theoinf.tu-ilmenau.de/kuske/\n  * http://eiche.theoinf.tu-ilmenau.de/kuske/ESSLLI10/\n  * http://eiche.theoinf.tu-ilmenau.de/kuske/ESSLLI10/lecture2.pdf\n* http://www.math.uni-bonn.de/ag/logik/oldlectures.shtml\n  * <http://www.math.uni-bonn.de/ag/logik/teaching/2015SS/mathematische_logik.shtml>\n    * <http://www.math.uni-bonn.de/ag/logik/teaching/2015SS/mathematische%20logik/Skript01.pdf>\n    * http://www.math.uni-bonn.de/people/krapf/IncompUndecEnglish.pdf\n  * <http://www.math.uni-bonn.de/ag/logik/teaching/2015SS/formale_mathematik.shtml>\n* https://www.eti.uni-siegen.de/ti/lehre/?lang=de\n  * https://www.eti.uni-siegen.de/ti/lehre/ws1920/logik/index.html?lang=de\n    * https://www.eti.uni-siegen.de/ti/lehre/ws1718/logik/folien1.pdf\n  * https://www.eti.uni-siegen.de/ti/lehre/ss20/logikii/\n    * https://www.eti.uni-siegen.de/ti/lehre/ss20/logikii/folien2.pdf\n* Introduction to Artificial Intelligence (specialization KITE) / Artificial Intelligence for information managers: https://formal.iti.kit.edu/~beckert/teaching/Einfuehrung-KI-WS0304/\n  * https://formal.iti.kit.edu/~beckert/teaching/Einfuehrung-KI-WS0304/08FirstOrderLogic.pdf\n* http://homepages.laas.fr/ypencole/teaching.html\n  * http://homepages.laas.fr/ypencole/teaching/KRR2Notes.pdf\n* DESCRIPTION LOGICS: https://www.inf.unibz.it/~franconi/dl/course/\n  * https://www.inf.unibz.it/~franconi/dl/course/slides/\n  * https://www.inf.unibz.it/~franconi/dl/course/slides/logic/\n    * https://www.inf.unibz.it/~franconi/dl/course/slides/logic/fol/\n      * https://www.inf.unibz.it/~franconi/dl/course/slides/logic/fol/fol-2.pdf\n    * https://www.inf.unibz.it/~franconi/dl/course/slides/logic/propositional/\n* Ragionamento Automatico: http://profs.sci.univr.it/~farinelli/courses/ar/ar2010.html\n  * http://profs.sci.univr.it/~farinelli/courses/ar/slides.html\n  * http://profs.sci.univr.it/~farinelli/courses/ar/slides/prop-fol.pdf\n* http://logic.amu.edu.pl/index.php/Dydaktyka\n* https://github.com/wlmnzf/NJU-PHD\n* https://github.com/wlmnzf/courses\n* https://github.com/lib-pku/libpku\n* https://github.com/PKUanonym/REKCARC-TSC-UHT\n* https://github.com/c-hj/SJTU-Courses\n* https://github.com/QSCTech/zju-icicles\n* Operating Systems Spring 2015 (CS 416 – Operating Systems Design): https://www.cs.rutgers.edu/~pxk/416/\n  * https://www.cs.rutgers.edu/~pxk/416/syllabus.html\n  * https://www.cs.rutgers.edu/~pxk/416/notes/\n  * https://www.cs.rutgers.edu/~pxk/416/notes/content/\n* Spring 2017 :: CSE 506 — Operating Systems: https://compas.cs.stonybrook.edu/~nhonarmand/courses/sp17/cse506/\n  * https://compas.cs.stonybrook.edu/~nhonarmand/courses/sp17/cse506/schedule.html\n  * https://compas.cs.stonybrook.edu/~nhonarmand/courses/sp17/cse506/slides/\n* Advanced Operating Systems and Virtualization Academic Year 2018/2019: http://www.ce.uniroma2.it/~pellegrini///didattica/2018/aosv.html\n* 050065 VU Visualization: http://vda.univie.ac.at/Teaching/Vis/13s/\n  * http://vda.univie.ac.at/Teaching/Vis/13s/Presentations/\n  * http://vda.univie.ac.at/Teaching/Vis/13s/presentation.html\n* https://www.cs.swarthmore.edu/~kwebb/cs31/\n  * CS31: Introduction to Computer Systems Fall 2018: https://www.cs.swarthmore.edu/~kwebb/cs31/f18/\n  * CS31: Introduction to Computer Systems Spring 2016: https://www.cs.swarthmore.edu/~kwebb/cs31/s16/\n  * CS31: Introduction to Computer Systems Spring 2015: https://www.cs.swarthmore.edu/~kwebb/cs31/s15/\n  * CS31: Introduction to Computer Systems Spring 2014: https://www.cs.swarthmore.edu/~kwebb/cs31/s14/\n* CS361 - COMPUTER SYSTEMS: https://www.cs.uic.edu/bin/view/CS361fall13/\n  * https://www.cs.uic.edu/bin/view/CS361fall13/LectureNotes\n  * https://www.cs.uic.edu/bin/view/CS361fall13/WebIndex\n* 234118 - Computer Organization And Programming (ATAM): https://webcourse.cs.technion.ac.il/234118/\n  * 234118 - Computer Organization And Programming (ATAM) Spring 2020: https://webcourse.cs.technion.ac.il/234118/Spring2020/\n  * https://webcourse.cs.technion.ac.il/234118/Spring2020/book.html\n* CS 739: Distributed Systems: http://pages.cs.wisc.edu/~bart/cs739.html\n* 16-385 Computer Vision, Spring 2018: https://www.cs.cmu.edu/~16385/s18/\n  * https://www.cs.cmu.edu/~16385/s18/lectures/\n    * https://www.cs.cmu.edu/~16385/s18/lectures/lecture7.pdf\n* LINKS:\n  * https://defuse.ca/online-free-computer-science-education.htm\n  * https://github.com/Developer-Y/cs-video-courses\n  * https://github.com/prakhar1989/awesome-courses\n  * http://www.openculture.com/computer_science_free_courses\n* \n\n## INACCESSIBLE COURSES:\n* https://iccl.inf.tu-dresden.de\n  * <https://iccl.inf.tu-dresden.de/web/Science_of_Computational_Logic_(WS2019)/en>\n  * <http://www.wv.inf.tu-dresden.de/materials/logic/>\n* \n\n## IMAGES:\n* https://raw.githubusercontent.com/corkami/pics/master/binary/charsets/ASCII.png\n  * https://raw.githubusercontent.com/corkami/pics/master/binary/charsets/ASCIIprintable.png\n* \n\n## MOOCs:\n* https://www.khanacademy.org\n* https://code.org\n* \n\n## SCHOOLS:\n* LISTS:\n  * List of Computer Science related contacts for PhD applicants from US-banned countries: https://docs.google.com/document/d/17r18cKaMSeZF4fI7UZYV0QwCvdbEb3vy3BMNZfgbgzI/edit\n\n## FRAMEWORKS:\n* k12cs.org – K–12 Computer Science Framework: https://k12cs.org\n  * <https://k12cs.org/wp-content/uploads/2016/09/K%E2%80%9312-Computer-Science-Framework.pdf>\n  * https://k12cs.org/framework-statements-by-grade-band/\n    * <https://k12cs.org/wp-content/uploads/2016/09/K%E2%80%9312-CS-Framework-Statements-Grade-Band-View.pdf>\n* \n\n## GLOSSARY:\n* https://sebsauvage.net/comprendre/\n* https://k12cs.org/glossary/\n* \n\n## QUIZ WEBSITES:\n* https://brilliant.org/computer-science/\n* \n\n## NOT-PUBLIC COURSES:\n* CS-3210: https://cs3210.cc.gatech.edu/info.html\n  * https://cs3210.cc.gatech.edu/refs.html\n  * https://tc.gtisc.gatech.edu/cs3210/2017/spring/refs.html\n  * https://tc.gts3.org/cs3210/2016/spring/refs.html\n  * https://tc.gts3.org/cs3210/2016/spring/info.html\n* \n\n## INTERVIEW QUESTION RESOURCES:\n* <https://github.com/vietnakid/learning-material/blob/master/computer-science/cs_questions.md>\n* \n\n## PROJECTS:\n* Historic Documents in Computer Science collected by Karl Kleine: http://web.eah-jena.de/~kleine/history/\n* \n\n## COMMERCIAL COURSES:\n* https://www.msreverseengineering.com/program-analysis-training\n  * https://static1.squarespace.com/static/53a64cc2e4b0c63fc41a3320/t/55763177e4b099e5803400e7/1433809298780/Course+Overview.pdf\n    * https://www.msreverseengineering.com/s/Course-Overview.pdf\n  * https://www.msreverseengineering.com/s/Course-Sample-X86.zip\n    * <https://static1.squarespace.com/static/53a64cc2e4b0c63fc41a3320/t/55bbc88de4b067fc8a789aec/1438369933469/Course+Sample+-+X86.zip>\n  * https://www.msreverseengineering.com/s/Syllabus.pdf\n    * https://static1.squarespace.com/static/53a64cc2e4b0c63fc41a3320/t/547e6dc8e4b03d37576d217e/1417571784791/Syllabus.pdf\n* \n\n## COMMERCIAL KITS/PRODUCTS:\n* Turing Tumble - Build Marble-Powered Computers: https://www.turingtumble.com\n* \n\n## FORUMS:\n* https://cs.stackexchange.com\n* \n\n## HOMEPAGES:\n* https://cs.uwaterloo.ca/~a23gao/\n* http://www.chrisbaldassano.com/teaching.html\n* https://petrzemek.net/talks/\n* https://cse.buffalo.edu/~hungngo/vietnamese.html\n* https://www.mimuw.edu.pl/~son/html/teaching.html\n* http://slazebni.cs.illinois.edu\n* https://www.ics.uci.edu/~welling/teaching/courses.html\n* http://www.math.uni-konstanz.de/~krapp/Lehre.html\n* http://pages.cs.wisc.edu/~bgibson/teaching.html\n* https://homepages.warwick.ac.uk/~masgar/teach.html\n  * https://homepages.warwick.ac.uk/~masgar/Teach/\n* https://leanprover.github.io/publications/\n* https://www.math.uni-heidelberg.de/logic/lehre/\n  * https://www.math.uni-heidelberg.de/logic/lehre/fruehere.html\n  * https://www.math.uni-heidelberg.de/logic/lehre/skripten.html\n  * https://www.math.uni-hamburg.de/home/loewe/Teaching.html\n* http://eiche.theoinf.tu-ilmenau.de/kuske/\n* https://www.mcmp.philosophie.uni-muenchen.de/research/index.html\n  * https://www.mcmp.philosophie.uni-muenchen.de/research/logic/publications/index.html\n* http://www.math.uni-bonn.de/ag/logik/teaching.shtml\n  * http://www.math.uni-bonn.de/ag/logik/oldlectures.shtml\n* https://users.dimi.uniud.it/~peter.holy/\n* https://www.eti.uni-siegen.de/ti/lehre/?lang=de\n* https://www.portokalidis.net\n  * https://www.portokalidis.net/teaching.html\n  * https://www.portokalidis.net/publications.html\n* http://www.ce.uniroma2.it/~pellegrini//teaching/\n* https://eelcovisser.org/wiki/teaching/\n* http://pages.cs.wisc.edu/~bart/includes/teaching.html\n* https://www.cs.cmu.edu/~epxing/\n  * https://www.cs.cmu.edu/~epxing/teaching.html\n  * https://www.cs.cmu.edu/~epxing/Class/\n* https://web.njit.edu/~plastock/index1.html\n* https://www.albany.edu/~ravi/\n  * https://www.albany.edu/~ravi/pdfs/\n* http://www.cs-study.com/koga/index.html\n* https://davejingtian.org\n* https://lemire.me/en/\n  * https://lemire.me/blog/about-me/\n  * https://lemire.me/blog/interviews-and-talks/\n* http://www.cs.ru.nl/~marko/\n* http://www.petiba.hu/?menu=info\n* https://web.archive.org/web/20150625135137/http://www.jaist.ac.jp/~hoangle/\n* \n\n## BLOGS:\n* https://www.quantamagazine.org/computer-science/\n  * https://www.quantamagazine.org/tag/computer-science/\n  * https://www.quantamagazine.org/tag/algorithms/\n  * https://www.quantamagazine.org/tag/networks\n* https://procul.org/blog/\n  * <https://web.archive.org/web/20181009102742/http://www.procul.org/blog/category/gi%E1%BB%9Bi-thi%E1%BB%87u-sach/>\n* http://www.chrisbaldassano.com/blog/\n* http://mytechroad.com/category/system/operating-system/\n* https://tthtlc.wordpress.com/category/computer-architecture/\n* LINKS:\n  * https://queue.acm.org/bloglist.cfm\n* \n\n## PUBLICATION WEBSITES:\n* https://arxiv.org\n  * https://arxiv.org/list/cs.CR/recent\n* https://www.researchgate.net\n* https://www.semanticscholar.org\n* https://independent.academia.edu\n* https://deepai.org\n* https://www.csauthors.net\n* \n\n## WEBSITES:\n* http://sciencewise.info\n* \n\n## TWITTER:\n* https://twitter.com/fermatslibrary/with_replies\n* https://twitter.com/portokalidis/with_replies\n* \n\n## TWITTER LISTS:\n* https://twitter.com/acmeducation/lists/computingprofessionals\n* https://twitter.com/acmeducation/lists/acm-essentials\n* \n\n## YOUTUBE CHANNELS:\n* My CS: https://www.youtube.com/channel/UCq8JbYayUHvKvjimPV0TCqQ/playlists\n* Computer History Museum: https://www.youtube.com/user/ComputerHistory/playlists\n* Web of Stories - Life Stories of Remarkable People: https://www.youtube.com/user/webofstories/playlists\n* The Alan Turing Institute: https://www.youtube.com/c/TheAlanTuringInstituteUK/playlists\n* MITCSAIL: https://www.youtube.com/c/MITCSAIL/playlists\n* TAUVOD: https://www.youtube.com/c/telavivuniversity/playlists\n* Microsoft Research: https://www.youtube.com/user/MicrosoftResearch\n* CrashCourse: https://www.youtube.com/user/crashcourse/videos\n  * CrashCourse: https://www.youtube.com/user/crashcourse/playlists\n* PBS Infinite Series: https://www.youtube.com/c/pbsinfiniteseries/playlists\n* Code NCode: https://www.youtube.com/channel/UC0zvY3yIBQTrSutsV-4yscQ/playlists\n* saurabhschool: https://www.youtube.com/user/saurabhschool/playlists\n* Sundeep Saradhi Kanthety: https://www.youtube.com/channel/UC63URkuUvnugRBeTNqmToKg/playlists\n* Gaurav Sen: https://www.youtube.com/c/GauravSensei/playlists\n* Computational Complexity: https://www.youtube.com/channel/UCzBw287tly0c2lE6a-9XymA/playlists\n* Coding Tech: https://www.youtube.com/channel/UCtxCXg-UvSnTKPOzLH4wJaQ/playlists\n* Art of the Problem: https://www.youtube.com/c/ArtOfTheProblem/playlists\n* ```code_report```: https://www.youtube.com/c/codereport/playlists\n* Ben Eater: https://www.youtube.com/c/BenEater/playlists\n* CppCon: https://www.youtube.com/user/CppCon/playlists\n* Lambda World: https://www.youtube.com/c/LambdaWorld/playlists\n* FOMUS 2016: https://www.youtube.com/channel/UCKaadwPtdsKwsWTLZ8GGxCA/videos\n* SACH LE THANH: https://www.youtube.com/channel/UCJ3pQ6OMWN22ImorTcdREYg/playlists\n* AlphaOpt: https://www.youtube.com/channel/UCkL2HNDjyhrT6hgWjikmQAg/playlists\n* Solving Optimization Problems: https://www.youtube.com/c/SolvingOptimizationProblems/playlists\n  * Son Duy Dao: <https://www.youtube.com/channel/UC4RTwZqnnPhVYpa3--8Xwgw/playlists>\n* \n\n## FACEBOOK GROUPS:\n* Shoqata e Informatikës: https://www.facebook.com/groups/shoqinf\n* \n\n## CVs:\n* http://www.chrisbaldassano.com/cv.pdf\n* http://cs.lmu.edu/~ray/vita/vita.pdf\n* \n\n## LECTURER HOMEPAGES:\n* http://cs.lmu.edu/~ray/\n* \n\n## REDDIT:\n* https://www.reddit.com/r/cs50/\n* https://www.reddit.com/r/compsci/\n* https://www.reddit.com/r/AskComputerScience/\n* https://www.reddit.com/r/cscareerquestions/\n* https://www.reddit.com/r/vintagecomputing/\n* https://www.reddit.com/r/programming/\n* https://www.reddit.com/r/logic/\n* https://www.reddit.com/r/math/\n* https://www.reddit.com/r/askmath/\n* https://www.reddit.com/r/philosophy/\n* https://www.reddit.com/r/askphilosophy/\n* https://www.reddit.com/r/explainlikeimfive/\n* \n\n## MAGAZINE WEBSITES:\n* https://cacm.acm.org/magazines\n* \n\n## GITHUB ORGANIZATIONS:\n* https://github.com/Schoolforbasics\n* \n\n## ASK.FM:\n* https://ask.fm/VeffaMentoring\n* \n\n## MEDIUM:\n* https://medium.com/@cscalfani\n* \n\n## REPOs:\n* https://index-of.es/z0ro-Repository-2/\n  * https://index-of.es/z0ro-Repository-2/Cyber/01%20-%20Computer%20Science/\n  * https://index-of.es/z0ro-Repository-2/Operating-Systems/\n* <https://theswissbay.ch/pdf/Books/Computer%20science/>\n* \n\n## WAREZ:\n* http://s2.bitdownload.ir/Ebook/Computer%20Science/\n* \n\n## SEARCH:\n* sequence calculus first order logic\n* heuristic search modeling\n  * heuristic pattern matching\n* first order logic solver \"vampire\"\n* binary decision diagram\n* smtlibv2 \"z3\"\n* Peano axiom\n* bounded model checking (gioi han so vong lap)\n  * bounded problem\n  * bounded value problem\n* logic in computer science\n  * entailment induction logic\n* completeness logic\n  * soundness logic\n* smt modulo\n* natural deduction first order logic\n* bottomupcs.com\n* \"Category theory for scientists\" \"computer science\"\n  * \"Category theory for scientists\" \"order logic\"\n* \"category theory\" \"practical malware\"\n  * \"category theory\" \"practical reverse\"\n  * \"category theory\" \"ida pro\"\n* \n\n## SITE SEARCH:\n* \"first order logic\" site:uchicago.edu\n* \n\n## DOMAIN SEARCH:\n* undecidability first order logic site:de\n* \n\n## GITHUB SEARCH:\n* \"Category theory for scientists\" \"order logic\"\n  * \"Category theory for scientists\"\n* \n\n## LINKS:\n* https://queue.acm.org/bloglist.cfm\n* **https://github.com/prakhar1989/awesome-courses**\n  * https://github.com/sindresorhus/awesome\n* https://github.com/jwasham/coding-interview-university\n  * https://github.com/jwasham/coding-interview-university/tree/master/extras/cheat%20sheets\n* https://github.com/Spacial/csstuff\n* https://github.com/ossu/computer-science\n* **https://github.com/Developer-Y/cs-video-courses**\n* **https://github.com/Macmod/awesome-cs**\n* https://github.com/CSwala/awesome-computer-science\n* https://github.com/quabanc/awesome-computer-science\n* https://github.com/jwasham/lecture-reference\n* http://protopage.com/startsecurity#Security/Courses\n  * https://neverendingsecurity.wordpress.com/computer-science/\n  * https://neverendingsecurity.wordpress.com/learn/free-courses/\n* https://sebsauvage.net/comprendre/\n* Teach Yourself Computer Science: https://teachyourselfcs.com\n* https://github.com/mtdvio/every-programmer-should-know\n* https://gist.github.com/trietptm/69626720df307efd9048e01c636b98e2\n  * \"first order logic\": https://gist.github.com/trietptm/6d7b761a401743b9357403d17878faac\n* http://csrankings.org\n  * http://csrankings.org/#/index?sec\n* Free Computer Science Courses in time of COVID-19: https://www.notion.so/07d80644a8d8485f97cf893bfcd25638\n* https://github.com/Froren/sisyphus/blob/master/learn.md\n* https://leanprover-community.github.io/learn.html\n* https://eelcovisser.org/wiki/teaching/writing/\n* https://krow89.github.io/developer-resources/\n* https://tthtlc.wordpress.com/category/computer-architecture/\n* https://lemire.me/blog/my-readers/\n* https://www.lesswrong.com/posts/TNHQLZK5pHbxdnz4e/references-and-resources-for-lesswrong\n* https://github.com/liuzhenqi77/awesome-stars\n* https://www.facebook.com/DataAnalysisSchool/posts/847425035909155\n* \n", "url": "https://wpnews.pro/news/computer-science-tools-books-articles", "canonical_source": "https://gist.github.com/trietptm/e705ec013cffdac4bd5f2857ccf02ac4", "published_at": "2016-08-13 15:20:13+00:00", "updated_at": "2026-05-22 22:05:13.927859+00:00", "lang": "en", "topics": ["developer-tools", "hardware", "cybersecurity", "open-source", "research"], "entities": ["Jonathan E. Steinhart", "Randal E. Bryant", "David R. O'Hallaron", "Charles Petzold", "Matthew Justice", "V. Anton Spraul", "Sam Grubb", "Henry S. Warren"], "alternates": {"html": "https://wpnews.pro/news/computer-science-tools-books-articles", "markdown": "https://wpnews.pro/news/computer-science-tools-books-articles.md", "text": "https://wpnews.pro/news/computer-science-tools-books-articles.txt", "jsonld": "https://wpnews.pro/news/computer-science-tools-books-articles.jsonld"}}