Home

Awesome

banner

Awesome Theoretical Computer Science Awesome

The interdisciplinary of Mathematics and Computer Science; It is distinguished by its emphasis on mathemtical technique and rigour.


Contents


Broad Intros<a name=broad_intros></a>

Books<a name=broad_intros_books></a>

Handbooks<a name=handbooks></a>

Theory of Computation<a name=theory_of_computation></a>

Introductory<a name=theory_of_computation_introductory></a>

Lecture Notes<a name=theory_of_computation_introductory_lecture_notes></a>

Lecture Videos Playlists<a name=theory_of_computation_introductory_lecture_videos_playlists></a>

MOOC<a name=theory_of_computation_introductory_mooc></a>

Books<a name=theory_of_computation_introductory_books></a>

Puzzles and Problem Sets<a name=theory_of_computation_introductory_puzzles_and_problem_sets></a>

Computational Complexity<a name=theory_of_computation_computational_complexity></a>

Introductory<a name=theory_of_computation_computational_complexity_introductory></a>

Lecture Videos Playlists<a name=theory_of_computation_computational_complexity_introductory_lecture_videos_playlists></a>

Lecture Notes<a name=theory_of_computation_computational_complexity_introductory_lecture_notes></a>

Books<a name=theory_of_computation_computational_complexity_introductory_books></a>

Communication Complexity<a name=theory_of_computation_computational_complexity_communication_complexity></a>

Lecture Notes<a name=theory_of_computation_computational_complexity_communication_complexity_lecture_notes></a>

Books<a name=theory_of_computation_computational_complexity_communication_complexity_books></a>

Circuit Complexity<a name=theory_of_computation_computational_complexity_circuit_complexity></a>

Books<a name=theory_of_computation_computational_complexity_circuit_complexity_books></a>

Quantum Complexity<a name=theory_of_computation_computational_complexity_quantum_complexity></a>

Lecture Videos Playlists<a name=theory_of_computation_computational_complexity_quantum_complexity_lecture_videos_playlists></a>

Lecture Notes<a name=theory_of_computation_computational_complexity_quantum_complexity_lecture_notes></a>

Proof Complexity<a name=theory_of_computation_computational_complexity_proof_complexity></a>

Lecture Notes<a name=theory_of_computation_computational_complexity_proof_complexity_lecture_notes></a>

Computability Theory<a name=theory_of_computation_computability_theory></a>

Books<a name=theory_of_computation_computability_theory_books></a>

Introductory<a name=theory_of_computation_computability_theory_books_introductory></a>

Advanced<a name=theory_of_computation_computability_theory_books_advanced></a>

Monograph<a name=theory_of_computation_computability_theory_books_monograph></a>

Logic<a name=logic></a>

Computational Complexity<a name=logic_computational_complexity></a>

Books<a name=logic_computational_complexity_books></a>

Programming Language Theory<a name=programming_language_theory></a>

Basics<a name=programming_language_theory_basics></a>

Books<a name=programming_language_theory_basics_books></a>

Introductory<a name=programming_language_theory_introductory></a>

Books<a name=programming_language_theory_introductory_books></a>

Formal Verification<a name=programming_language_theory_formal_verification></a>

Lecture Notes<a name=programming_language_theory_formal_verification_lecture_notes></a>

Books<a name=programming_language_theory_formal_verification_books></a>

Type Theory<a name=programming_language_theory_type_theory></a>

Lecture Notes<a name=programming_language_theory_type_theory_lecture_notes></a>

Books<a name=programming_language_theory_type_theory_books></a>

Functional Programming<a name=programming_language_theory_functional_programming></a>

Lecture Notes<a name=programming_language_theory_functional_programming_lecture_notes></a>

Algorithms<a name=algorithms></a>

General<a name=algorithms_general></a>

Lecture Notes<a name=algorithms_general_lecture_notes></a>

Books<a name=algorithms_general_books></a>

Lower Bounds<a name=algorithms_lower_bounds></a>

Lecture Videos Playlists<a name=algorithms_lower_bounds_lecture_videos_playlists></a>

Books<a name=algorithms_lower_bounds_books></a>

Randomization & Probability<a name=algorithms_randomization__probability></a>

Lecture Notes<a name=algorithms_randomization__probability_lecture_notes></a>

Approximation<a name=algorithms_approximation></a>

Lecture Notes<a name=algorithms_approximation_lecture_notes></a>

Books<a name=algorithms_approximation_books></a>

Parameterized<a name=algorithms_parameterized></a>

Books<a name=algorithms_parameterized_books></a>

Information/Coding Theory<a name=informationcoding_theory></a>

Lecture Notes<a name=informationcoding_theory_lecture_notes></a>

Workshops<a name=informationcoding_theory_workshops></a>

Conferences<a name=informationcoding_theory_conferences></a>

Cryptography<a name=cryptography></a>

Books<a name=cryptography_books></a>

Machine Learning Theory<a name=machine_learning_theory></a>

Lecture Notes<a name=machine_learning_theory_lecture_notes></a>

Books<a name=machine_learning_theory_books></a>

Workshops<a name=machine_learning_theory_workshops></a>

Conferences<a name=machine_learning_theory_conferences></a>

Research Groups<a name=machine_learning_theory_research_groups></a>

Other<a name=machine_learning_theory_other></a>

Game Theory<a name=game_theory></a>

Lecture Notes<a name=game_theory_lecture_notes></a>

Books<a name=game_theory_books></a>

Workshops<a name=game_theory_workshops></a>

Physics<a name=physics></a>

Lecture Notes<a name=physics_lecture_notes></a>

Books<a name=physics_books></a>

Monographs<a name=physics_monographs></a>

Philosophy<a name=philosophy></a>

Lecture Notes<a name=philosophy_lecture_notes></a>

Books<a name=philosophy_books></a>

Papers<a name=philosophy_papers></a>

Math/Logic Preliminaries<a name=mathlogic_preliminaries></a>

General<a name=mathlogic_preliminaries_general></a>

Lecture Videos Playlist<a name=mathlogic_preliminaries_general_lecture_videos_playlist></a>

Books<a name=mathlogic_preliminaries_general_books></a>

Lecture Notes<a name=mathlogic_preliminaries_general_lecture_notes></a>

TCS Inspired<a name=mathlogic_preliminaries_tcs_inspired></a>

Lecture Videos Playlists<a name=mathlogic_preliminaries_tcs_inspired_lecture_videos_playlists></a>

Lecture Notes<a name=mathlogic_preliminaries_tcs_inspired_lecture_notes></a>

Discrete Mathematics<a name=mathlogic_preliminaries_discrete_mathematics></a>

Lecture Notes<a name=mathlogic_preliminaries_discrete_mathematics_lecture_notes></a>

Books<a name=mathlogic_preliminaries_discrete_mathematics_books></a>

MOOC<a name=mathlogic_preliminaries_discrete_mathematics_mooc></a>

Transition To Pure Rigour Math<a name=mathlogic_preliminaries_transition_to_pure_rigour_math></a>

Surveys & Monographs<a name=surveys__monographs></a>

Live Content<a name=live_content></a>

Conferences, Workshops, Events, and Talks<a name=live_content_conferences_workshops_events_and_talks></a>

Aggregators<a name=live_content_conferences_workshops_events_and_talks_aggregators></a>

Live<a name=live_content_conferences_workshops_events_and_talks_live></a>

Archived<a name=live_content_conferences_workshops_events_and_talks_archived></a>

Magazines, News, and Monographs<a name=live_content_magazines_news_and_monographs></a>

Blogs Aggregators<a name=live_content_blogs_aggregators></a>

Jobs<a name=live_content_jobs></a>

Aggregator<a name=live_content_jobs_aggregator></a>

Lists<a name=live_content_jobs_lists></a>

Online Communities<a name=live_content_online_communities></a>

Other Resources<a name=other_resources></a>

Blog Posts and Essays<a name=other_resources_blog_posts_and_essays></a>

Special Magazines and Workshops<a name=other_resources_special_magazines_and_workshops></a>

Popular Science Books<a name=other_resources_popular_science_books></a>

Cheat Sheets<a name=other_resources_cheat_sheets></a>

Network Groups<a name=other_resources_network_groups></a>

Related Lists<a name=related_lists></a>