Tanıtlama teorisi: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok |
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.
|