# Computer Science Tools, Books & Articles > Source: > Published: 2016-08-13 15:20:13+00:00 ## 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 * * * * 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 * * ```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]``` * * 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 * * ```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 * * 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.]``` * * * * * ```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 * * * ## 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 * * * * * * * 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://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: * * 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://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: * * 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: * * LINKS: * https://github.com/papers-we-love/papers-we-love * * 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: * 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: * Graph Theory - PBS Infinite Series: * 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: * Logic and learning workshop - The Alan Turing Institute: * 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: * Turing Machines Collection - Computerphile: * 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: * Computer stuff on Numberphile: https://www.youtube.com/playlist?list=PLzH6n4zXucko9k1NR7G-lz77eIwLNSU9s * Artificial Immune Systems - Computerphile: * 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 * * 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:Diagrams * * * * * * * * * https://0x00sec.org/t/cs-related-books-wiki/4854 * * * http://kcchao.wikidot.com/flowchart * ## WIKIs: * * 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://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-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_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: * 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/ * * 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/ * * 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 * * * 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 * * Reasoning: https://canvas.bham.ac.uk/courses/31166 * * 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/ * * 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 * * 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/ * * 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/people/krapf/IncompUndecEnglish.pdf * * 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 * * * ## 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/framework-statements-by-grade-band/ * * ## 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: * * ## 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://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/ * * 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: * ## 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/ * * ## 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 *