^^ix Informatica teorica
- ix Informatica; codici.
- >ix Programmazione informatica; avvio.
-
Programmazione
- c2.com
- Donald Knuth. Tex. Literate programming.
- Reasoned Programming.
- Constraint programming.
- Programmi funzionalmente
equivalenti.
- "Let it crash" programming style.
- FP Functional programming.
- aPToP a Practical Theory of Programming - Eric C.R.
Hehner.
- Programming art.
- Design patterns. Software patterns.
- Data structure.
- Variabili informatiche.
- Overloading degli operatori.
- Mutex, Semaphore, Spin Locks; Concurrency
control.
- Algoritmo di ordinamento. Sorting
algorithm.
- Ricorsione in informatica.
-
Linguaggio formale
- Linguaggio formale.
- Rewriting system. Sistemi di riscrittura.
- Formal grammar. |
es
- BNF Backus–Naur Form.
EBNF Extended BNF.
- Grammatica formale per le espressioni di
operazioni binarie.
- Context-free grammar.
Context-sensitive grammar.
- Regex. Regular expression, grammar, language.
- Parsing (a string of a language). | Parsing timeline.
- CFG vs PEG Context-Free Grammars VS
Parsing Expression Grammars.
- Linguaggio formale. Semantica
- The decision problem.
- Turing machine.
- Lambda calculus. Combinators.
- Computable function, funzione calcolabile.
- Complessita' in informatica.
-
Automi. State machine.
- Automa.
- Automa a stati finiti.
- Automa Ascensore.
- Automa che riconosce il tipo di stringhe.
-
Artificial intellingence. Machine learning.
- Artificial intelligence.
- Artificial intelligence timeline.
- NLP Natural Language Processing.
- NLG natural language generation, text generation.
- Knowledge representation. Ontologia. Semantic web.
- RDF Resource Description Framework. RDFS = RDF
Schema.
- Wikify. Wikification. Wikifier.
- Machine learning; apprendimento
automatico.
- Recupero e precisione. Recall and precision.
- Computer vision.
-
Varie
- Ipse dixit.
- > FizzBuzz. Gioco di gruppo su divisibilita'.
-
Altrove
-
Links. Informatica.
-
ix Logica matematica.
Timeline of
- Artificial intelligence.
- Computer science timeline.
- Robots.
- inet/Parsing