Logic Calculator Hakkında

Bu nedir?

Bu, önerme mantığı ve boolean mantığını destekleyen bir mantık hesaplayıcısıdır. Analiz, görselleştirme ve hesaplama araçları sağlayarak öğrencilerin ve profesyonellerin mantıksal ifadelerle çalışmasına yardımcı olur.

Özellikler

• Önerme mantığı ifadelerini çözün ve görselleştirin
• Olumsuzlama, çıkarım, bağlaç, ayrılma ve çift koşullu desteği
• İfadelerin tatmin edici ve geçerli olup olmadığını kontrol edin
• Kapsamlı doğruluk tabloları oluşturun
• Görsel ifade ağaçları oluşturun
• Alternatif eşdeğer formülasyonlar sağlayın

Yaratıcı

Bu hesaplayıcı, mantık ve bilgisayar bilimi okuyan öğrenciler için eğitici bir araç olarak Jonathan Søholm-Boesen tarafından oluşturulmuştur.

Bakımını yapan

Logic Calculator şu anda gizlilik dostu ürünler geliştiren bir yazılım geliştirme şirketi olan Infobits ApS tarafından bakımı ve geliştirilmektedir.

Eğitim amacı

Bu araç, öğrencilerin önerme mantığını anlamalarına yardımcı olmak için bir eğitim kaynağı olarak tasarlanmıştır. Başlangıçta Aarhus Üniversitesi'ndeki Hesaplanabilirlik ve Mantık dersi için yapılmış olsa da, üniversite ile resmi olarak ilişkili değildir.