^^ix Informatica teorica

  1. Informazione

  2. it from bit.

  3. Linguaggio formale

  4. Linguaggio formale.
  5. Rewriting system. Sistemi di riscrittura.
  6. Formal grammar. | es
  7. BNF Backus–Naur Form. EBNF Extended BNF.
  8. Grammatica formale per le espressioni di operazioni binarie.
  9. Context-free grammar. Context-sensitive grammar.
  10. Regex. Regular expression, grammar, language.
  11. Parsing (a string of a language). | Parsing timeline.
  12. CFG vs PEG Context-Free Grammars VS Parsing Expression Grammars.
  13. Linguaggio formale. Semantica
  15. The decision problem.
  16. Turing machine.
  17. Lambda calculus. Combinators.
  18. Computable function, funzione calcolabile.
  19. Complessita' in informatica.
  20. Curry‑Howard correspondence
  22. Calcolatore quantistico

  23. Automi. State machine.

  24. Automa.
  25. Automa a stati finiti.
  26. Automa Ascensore.
  27. Automa che riconosce il tipo di stringhe.

  28. Varie

  29. Quantum computing. Computer quantistico.
  30. Ipse dixit.
  31. Informatica. Varie.
  32. > FizzBuzz. Gioco di gruppo su divisibilita'.
  33. Struttura dati autoconvergente

  34. Altrove

  35. Links. Informatica.

  36. ix Logica matematica.

  37. ix Informatica; codici.
  38. ix Programmazione informatica; avvio.

 

Timeline of

  1. Artificial intelligence.
  2. Computer science timeline.
  3. Robots.
  4. inet/Parsing