Kategori:Tanıtlama teorisi

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

Matematiksel mantıkta tanıtlama teorisi, tanıtları formel matematiksel nesneler olarak ele alarak matematiksel tekniklerle analiz edilmelerine olanak sağlar.

Alt kategoriler

Bu kategoride sadece bir alt kategori bulunmaktadır.

Tanıtlama teorisi(1 K, 2 M)

"Tanıtlama teorisi" kategorisindeki sayfalar

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