Kategorija:Logika u računarstvu

Potkategorije

Prikazane su 3 potkategorije, od ukupno 3.

F

Formalni metodi (1 K, 1 S)

R

Računska teorija složenosti (2 K, 2 S)

T

Teorija vrste (1 S)

Stranice u kategoriji "Logika u računarstvu"

Ova kategorija sadrži samo sljedeću stranicu.

P

Peanovi aksiomi

Preuzeto iz "https://bs.wikipedia.org/w/index.php?title=Kategorija:Logika_u_računarstvu&oldid=2045762"