çözümleyen ne demek?
- Solvent, resolvent.
çözümleyici
- Çözümleme işini yapan kimse, analist.
- Süre, genlik vb. bir ya da daha fazla işaretin dağılım fonksiyonunu belirlemeye yarayan düzen.
- Analyzer.
- Analyzer / analizör.
- Analysing.
- Analyst.
- Analytic.
- Analytical.
- Analyseur
çözümleyici çizelge
- Belli bir mantık dizgesine ilişkin başlangıç önermesi denilen K gibi sonlu bir önerme kümesi verildiğinde: (i) K kümesince üretilen sonlu çözümleyici kümeler varsa bunların tümünü alt alta yazılmış önermelerden oluşan diziler biçiminde ortaya koyan, (ii) K yı kapsayan (söz konusu mantık dizgesine ilişkin) hiç bir çözümleyici küme yoksa bunu sonlu sayıda adımla ortaya koyan ağaç biçiminde çizelge. || Eklemler mantığında her çözümleyici küme sonlu olduğundan, K kümesinin tutarlılığı da tutarsızlığı da denetlenebilir. Temel mantıkta ise sonsuz çözümleyici kümeler de bulunduğundan genel olarak K nın yalnız tutarsızlığı denetlenebilir. Bir çıkarımın geçerliliğini denetlemek için başlangıç önermeleri olarak çıkarımın geçersiz kılıcı kümesini seçmek yeter.