Kategori:Bilgisayar biliminde mantık

Alt kategoriler

Toplam 5 alt kategoriden 5 tanesi burada bulunmaktadır.

Bilgisayar biliminde mantık‎ (5 K, 7 M)

M

Mantık aileleri‎ (4 M)

O

Operasyonel semantik‎ (1 K, 1 M)

P

Mantık programlama‎ (3 K, 4 M)

S

Semantik (bilgisayar bilimi)‎ (1 K, 2 M)

T

Turing makinesi‎ (3 M)

"Bilgisayar biliminde mantık" kategorisindeki sayfalar

Bu kategoride toplam 7 sayfa bulunmaktadır ve şu anda bunların 7 tanesi görülmektedir.

B

Bilgi temsili ve akıl yürütme

H

Horn cümlesi

K

Kodlama teorisi

L

Logic for Computable Functions

M

Model kontrolü

O

Otomatikleştirilmiş muhakeme

S

Sıralı mantık

"https://tr.wikipedia.org/w/index.php?title=Kategori:Bilgisayar_biliminde_mantık&oldid=25230384" sayfasından alınmıştır