^^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. Automi. State machine.

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

  25. Varie

  26. Quantum computing. Computer quantistico.
  27. Ipse dixit.
  28. Informatica. Varie.
  29. > FizzBuzz. Gioco di gruppo su divisibilita'.

  30. Altrove

  31. Links. Informatica.

  32. ix Logica matematica.

  33. ix Informatica; codici.
  34. ix Programmazione informatica; avvio.

 

Timeline of

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