Alex's KB
Search
Cerca
Tema scuro
Tema chiaro
Esplora
Home
❯
1 Cultura
❯
1.1 Informatica
❯
1.1.5 Informatica teorica
Cartella: 1-Cultura/1.1-Informatica/1.1.5-Informatica-teorica
22 oggetti in questa cartella.
25 nov 2025
Linguaggi
25 nov 2025
Matematica discreta
25 nov 2025
Modelli di computazione
25 nov 2025
Alfabeto (Informatica teorica)
informatica
informatica-teorica
25 nov 2025
Approccio Bottom-Up
approach-bottom-up
object-oriented-programming
software-development
25 nov 2025
Approccio Top-Down
approach-top-down
decomposition-method
programmazione-procedurale
25 nov 2025
Chiusura di Kleene
informatica-teorica
linguaggio-formale
espressione-regolare
25 nov 2025
Compilatore (Informatica)
compilers
computer-science
ingegneria-software
25 nov 2025
Concatenazione di linguaggi
algoritmi-ordinamento
linguaggi-formali
grammatica-context-free
25 nov 2025
Connettivi logici (Informatica Teorica)
notazioni-matematiche
operatori-logici
scienze-cognitive
25 nov 2025
Decidibilità
algoritmi-ordinamento
linguaggio-formale
computazionale
25 nov 2025
Grafo (Struttura dati)
algoritmi-ordinamento
struttura-dati-informatica-teorica
grafi
25 nov 2025
Informatica teorica
complessita-computazionale
teoria-probabilità
computazione
25 nov 2025
Logica classica
logic-classica
logica-classica
tipi-logica-classica
25 nov 2025
Logica del primo ordine (FOL)
logica-primo-ordine
logica-classica
conoscenza-dichiarativa
25 nov 2025
Logica proposizionale
logica-proposizionale
linguaggio-formale
connettivi-logici
25 nov 2025
Operazioni su linguaggi (Informatica teorica)
informatica-teorica
linguaggi-formali
25 nov 2025
Stringa (Informatica teorica)
informatica-teorica
linguaggio-formale
stringa
25 nov 2025
Stringa vuota (Informatica teorica)
informatica-teorica
linguaggio-formale
stringa-informatica
25 nov 2025
Terminologia, notazione matematica, grafi, logica Booleana, stringhe e linguaggi
algebra-lineare
matematica-discreta
logica-booleana
in-corso
25 nov 2025
Test di Turing
informatica-teorica
test-turing
intelligenza-artificiale
25 nov 2025
Valore booleano (Informatica)
informatica-teorica
tipo-dati
logica-classica