Computer Science Tools, Books & Articles

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.

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