Categoria:Logica nell'informatica

Da Wikipedia, l'enciclopedia libera.

Jump to navigation Jump to search

Sottocategorie

Questa categoria contiene le 4 sottocategorie indicate di seguito, su un totale di 4.

L

► Logica modale‎ (7 P)

P

► Programmazione logica‎ (1 C, 8 P)

S

► Soddisfacibilità booleana‎ (6 P)

T

► Teoria dei tipi‎ (1 C, 14 P)

Pagine nella categoria "Logica nell'informatica"

Questa categoria contiene le 19 pagine indicate di seguito, su un totale di 19.

A

C

I

Logica intuizionista

L

M

R

S

T

Teoria dei tipi intuizionista

V

Verifica formale

Estratto da "https://it.wikipedia.org/w/index.php?title=Categoria:Logica_nell%27informatica&oldid=96431205"