Tanıtlama teorisi: Revizyonlar arasındaki fark

[kontrol edilmemiş revizyon][kontrol edilmemiş revizyon]
İçerik silindi İçerik eklendi
Arf (mesaj | katkılar)
Değişiklik özeti yok
Arf (mesaj | katkılar)
Değişiklik özeti yok
1. satır:
'''Tanıtlama teorisi''' [[matematiksel mantık|matematiksel mantığın]] bir alt dalıdır ve [[matematiksel tanıt|tanıtları]] formel matematiksel nesneler olarak ele alarak matematiksel tekniklerle analiz edilmelerine olanak sağlar. Tanıtlar genelde tümevarımsal olarak tanımlanmış [[veri yapısı|veri yapıları]], örneğin listeler ve ağaçlar şeklinde gösterilir. Bu veri yapıları, esas alınan mantık sisteminin aksiyomlarına ve çıkarım kurallarına göre oluşturulur. Tanıtlama teorisinin doğası sözdizimseldir. Buna karşın [[model teorisi|model teorisinin]] doğası anlambilimseldir.
 
Tanıtlama teorisi felsefecilerin de ilgili alanına girmekte, felsefi mantığın bir alt dalı olarak anlambilimsel araştırmaların konusu olmaktadır.