f1a3h's Notebook

Introduction to the Theory of Computation

Initializing search

f1a3h/mkdocs-notes

Home
Computer Science
Research
Algorithm
ACGN

f1a3h's Notebook

f1a3h/mkdocs-notes

Home
Computer Science
Computer Science
- Compilers
  Compilers
  - Stanford CS143
    
    Stanford CS143
    
    Introduction to Compilers
    
    Lexical Analysis
- Computer Architecture
  Computer Architecture
  - UCB CS61C
  - CSAPP
    
    CSAPP
    
    CS:APP 第二章学习笔记
  - 计算机组成原理
    计算机组成原理
    
    计算机系统概述
    
    数据信息的表示
    
    运算方法与运算器
    
    存储系统
    
    指令系统
    
    CPU
- Computer Network
  Computer Network
  - CNATDA
    
    CNATDA
    
    CNATDA 第二章学习笔记
    
    CNATDA 第三章学习笔记
    
    CNATDA 第四章学习笔记
    
    CNATDA 第五章学习笔记
    
    CNATDA 第六章学习笔记
- Computer Security
  Computer Security
  - Stanford CS110L
  - 密码学原理
    
    密码学原理
    
    Hash 函数
    
    公钥密码
    
    分组密码
- Electronics
  Electronics
  - Signals and Systems
    Signals and Systems
    
    Convolution
    
    Signals and System Properties
- Math
  Math
  - Linear Algebra Done Wrong
  - MIT 18.330
  - 谢惠民做题记录
  - Optimization
    
    Optimization
    
    Linear Opt
    Linear Opt
    
    Introduction
    
    The geometry of linear programming
    
    Solutions to selected exercises
  - UCB EECS126
    
    UCB EECS126
    
    B-T
    B-T
    
    Sample Space and Probability
    
    Discrete Random Variables
    
    General Random Variables
    
    hw
    hw
    
    Homework 1
- Theoretical Computer Science
  Theoretical Computer Science
  - CS 170
    CS 170
    
    DPV Chapter 1: Algorithms with numbers
    
    DPV Chapter 2: Divide-and-conquer algorithms
  - CS 265
    CS 265
    
    Lec 1
    
    Lec 2
  - MIT 18.404
    
    MIT 18.404
    
    Automata and Language Theory
    
    Computability Theory
    Computability Theory
    
    The Church-Turing Thesis
  - Programming Languages
    
    Programming Languages
    
    NJU 软件分析
    
    NJU 软件分析
    
    CFL-Reachability and IFDS
    
    Data Flow Analysis
    
    Datalog-Based Program Analysis
    
    Interprocedural Analysis
    
    Pointer Analysis
    
    Soundness and Soundiness
    
    Static Analysis for Security
    
    Stanford CS242
    
    Stanford CS242
    
    Syntax and Semantics
Research
Research
- Learning Research
Algorithm
Algorithm
- ACM算法实践总结
- 双向搜索总结
- Geometry
  Geometry
  - 二维计算几何基础
  - 凸包
- Graph
  Graph
  - 虚树
  - 欧拉图
- Math
  Math
  - GCD & LCM
  - Miller Rabin
  - 基础数论
  - 快速幂
  - 博弈论
    博弈论
    
    公平组合游戏
- String
  String
  - AC自动机
  - manacher
- WriteUp
  WriteUp
  - 【XR-3】Unknown Mother-Goose
  - 量子波动速通
  - Competition
    Competition
    
    AtCoder
    
    Codeforces
ACGN
ACGN
- Comics
  Comics
  - 葬送のフリーレン
- Game
  Game
- Novel
  Novel
  - 天空、战争与巨龙的诗歌 ——「钢铁之翼」

Introduction to the Theory of Computation

Info

MIT 18.404J Theory Of Computation, Fall 2020 学习笔记

Comments

Copyright © 2024 f1a3h

Made with Material for MkDocs