Hi, I'm Ning Wang. I hold a master's degree in computer science and information engineering. (I just tried to convey that I will treat my edits seriously.)

• I'm a new contributor of Wikipedia pages.
  • If you're an experienced user and have any suggestion regarding the conventions I failed to adopt, please let me know through my Talk page. Thank you!
• I'm currently interested contributing in these topics: logics, computer science, and mathematics.
  • I'm open to any suggestion regarding my edits on these topics.
  • I had fun solving & asking questions in combinatorics years ago. So maybe I will take a look at the related pages in the future.

• Noam Chomsky
• Stephen Cole Kleene
• Ernst Zermelo
• Geoffrey Hunter
• Hartley Rogers Jr.
• Oded Goldreich

• Philosophy
  • Symbol grounding problem: just reading it.
  • Meaning (philosophy): just reading it.
  • Algorithm characterizations: to-read.
• Mathematics (pure)
  • Relation (mathematics)
  • Operation (mathematics)
    • Binary operation
      • Cartesian product
  • Closure (mathematics): Definition, Binary relations.
    • Transitive closure
  • Indicator function
  • Iverson bracket
• Theory of computation/
  • Chomsky hierarchy: just reading it.
    • Recursive language: Intro, Def; (computable set, (computable function)), (primitive recursive function, to-read), (general recursive function, to-read)
  • Computational problem
    • Decision problem: todo: sections {comp,func,opti}-problems; (Effective method, !)
    • (Search problem, !)
  • Many-one reduction
  • Feasible region
• Computational complexity theory/
  • Time hierarchy theorem
• Formal languages/
  • Formal language: Intro, Definition.
  • Alphabet (formal languages): Notation.
  • Non-logical symbol: nothing done yet.
  • Formal grammar: Definition, (Non/terminal symbols, done)
    • Rewriting: Logic.
      • Logical equivalence: just reading it.
  • Formation rule: Intro.
    • Term (logic): nothing done yet.
• Semantic theory of truth: just reading it.
  • Problem of multiple generality: Intro.
  • Interpretation (logic): Intro.
  • Truth condition: Intro.

• Symbol (formal): philosophical idea, abstract idea, hard to define.
• Effective method: informal term (should focus on "effective").
• Search problem: lack of references and examples.

• IR/UV mixing

• The other side of a Wiki page, sometimes, also provides some valuable information to learn.
• How to use wiki Watchlist for tracking people's responses.
• Set theory is incredible in that it covers true/false without saying it explicitly.
• How to link a Category wiki-page.
• How to create a decent (in CS sense) footnote, which is available for copy-pasting below. See also.

{{more references|date=NAME_MONTH YYYY}}
{{more footnotes needed|date=NAME_MONTH YYYY}}

<ref group="note" name="fox"/>

{{reflist|group=note|refs=
<ref name="fox">The quick brown fox jumps over the lazy dog, cf. [[#dog|dog]]).</ref>
}}