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