^^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. Calcolatore quantistico

  21. Automi. State machine.

  22. Automa.
  23. Automa a stati finiti.
  24. Automa Ascensore.
  25. Automa che riconosce il tipo di stringhe.

  26. Varie

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

  32. Altrove

  33. Links. Informatica.

  34. ix Logica matematica.

  35. ix Informatica; codici.
  36. ix Programmazione informatica; avvio.

 

Timeline of

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