Kategori:Tanıtlama teorisi

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)

T

Matematiksel tümevarım (2 M)

"Tanıtlama teorisi" kategorisindeki sayfalar

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

M

Matematiksel safsata

T

Temel fonksiyon aritmetiği