^^ix Informatica teorica

  1. ix Informatica; codici.
  2. >ix Programmazione informatica; avvio.

  3. Programmazione

  4. c2.com
  5. Donald Knuth. Tex. Literate programming.
  6. Reasoned Programming.
  7. Constraint programming.
  8. Programmi funzionalmente equivalenti.
  9. "Let it crash" programming style.
  10. FP Functional programming.
  11. aPToP a Practical Theory of Programming - Eric C.R. Hehner.
  12. Programming art.
  13. Design patterns. Software patterns.
  14. Data structure.
  15. Variabili informatiche.
  16. Overloading degli operatori.
  17. Mutex, Semaphore, Spin Locks; Concurrency control.
  18. Algoritmo di ordinamento. Sorting algorithm.
  19. Ricorsione in informatica.

  20. Linguaggio formale

  21. Linguaggio formale.
  22. Rewriting system. Sistemi di riscrittura.
  23. Formal grammar. | es
  24. BNF Backus–Naur Form. EBNF Extended BNF.
  25. Grammatica formale per le espressioni di operazioni binarie.
  26. Context-free grammar. Context-sensitive grammar.
  27. Regex. Regular expression, grammar, language.
  28. Parsing (a string of a language). | Parsing timeline.
  29. CFG vs PEG Context-Free Grammars VS Parsing Expression Grammars.
  30. Linguaggio formale. Semantica
  32. The decision problem.
  33. Turing machine.
  34. Lambda calculus. Combinators.
  35. Computable function, funzione calcolabile.
  36. Complessita' in informatica.

  37. Automi. State machine.

  38. Automa.
  39. Automa a stati finiti.
  40. Automa Ascensore.
  41. Automa che riconosce il tipo di stringhe.

  42. Artificial intellingence. Machine learning.

  43. Artificial intelligence.
  44. Artificial intelligence timeline.
  45. NLP Natural Language Processing.
    1. NLG natural language generation, text generation.
  46. Knowledge representation. Ontologia. Semantic web.
    1. RDF Resource Description Framework. RDFS = RDF Schema.
  47. Wikify. Wikification. Wikifier.
  48. Machine learning; apprendimento automatico.
  49. Recupero e precisione. Recall and precision.
  50. Computer vision.

  51. Varie

  52. Ipse dixit.
  53. > FizzBuzz. Gioco di gruppo su divisibilita'.

  54. Altrove

  55. Links. Informatica.

  56. ix Logica matematica.

 

Timeline of

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