Deductions

Öğrenciler, örgün mantık deliller öğrenmenize yardımcı olmak için tasarlanmış eğitim yazılımı

Kesintiler olduğunu. Bu eğitmenler ve felsefe, matematik ve bilgisayar bilimleri üniversite düzeyinde mantık derslerinin öğrenciler tarafından kullanılmak üzere tasarlanmıştır. Bu, bir ispat her aşamasında anında geri bildirim verir deliller tamamlamak konusunda ipuçları sağlar, ve açıklamak ve mantık birkaç zorlu kavramları gözden video eğitimlerini bir dizi ile geliyor. Kurallar kurallar ve stratejileri hakkında bir kanıtı ortasında ve belirsizlik içinde saplanıyor, doğru uygulanıp uygulanmadığını bilmeden: Kesintiler deliller formel mantık derslerinin en zor bileşen yapmak üç sorunları çözmeyi hedeflemektedir. Kesintiler bir kanıtı tamamlamak için, ve multimedya öğreticiler sahip karmaşık kurallar aracılığıyla öğrencilere yardımcı olmak için nasıl hakkında önerilerde yapmak için bir ipucu motoru da dahil olmak üzere, hataları işaretleyerek bu sorunları giderir. Özellikler Önemli: 1. Ders Kitabı: Kesintiler aşağıdaki ders kitapları ile sorunsuz çalışmak üzere tasarlanmıştır: (i) (Bergmann, Moor, ve Nelson) Mantık Kitabı, (ii) (Paul Teller) tarafından A Modern Biçimsel Mantık Astar, (iii Tony Roy Matematiksel Mantık) A Serious Giriş (). 2. İşaretleme Hatalar - en kısa sürede ortaya çıktıkça ispatlarda Kesintiler bayrakları hataları. Öğrenciler ilk deliller öğrenme zaman, Kesintiler yanlış kuralları öğrenmesini önler, çünkü bu, önemlidir. 3. İpucu Motor - Kesintiler deliller tamamlamak konusunda ipuçları sağlar. Öğrenciler bir kanıtı ortasında sıkışıp zaman Kesintiler ilerleme nasıl öneriyor. Mantığını öğrenmek için kesintiler nasıl kullanılacağı ve nasıl mantık kurallarını kullanmak için: - 4. Multimedya Öğreticiler Kesintiler iki gruba ayrıldı multimedya öğreticiler bir dizi ile geliyor. 5. Esneklik - Kesintiler birçok farklı mantık sistemleri ve ders kitapları ile çalışmak üzere tasarlanmıştır. Hem standart hem de alternatif semboller kapalı ayrı ayrı açık ve olabilir kuralları yanı sıra, dahildir. 6. Modern Tasarım - Kesintiler modern bir arayüz sağlar. (Birçok mantık programları DOS, Windows 9x için yazılmış, ya da gelişmemiş Java uygulamaları vardır vardır) son yıllarda birçok güncelleştirmeleri görmediği bir alana yeni bir giriş olarak, Kesintiler temiz bir kullanıcı arayüzü sağlamak için Mac OS X teknolojilerini güçlendirir, sürükle-ve-bırak desteği, ve kapsamlı bir yardım sistemi. . 7. Kağıt Fazla Verimli - Kesintiler hatları kaldırıldı veya taşınır, eklendiğinde otomatik deliller ayarlayarak düzenleme ayrıntıları ilgilenir

Yeni Bu sürümde ne:

• Mantık Kitap PD + kural sistemi için destek eklendi
  
• Erişilebilir Tanıtım ND + kural sistemi için destek eklendi
  
• Metin dosyasına bir kesinti ihracat yeteneği eklendi
  
• LaTeX pasajına bir kesinti ihracat yeteneği ekledi

Sınırlamalar :

Sadece Aşağıdaki kesinti kuralları deneme sürümü mevcuttur: Öncül, Varsayım, yineleme, Bağlaç Giriş, Bağlaç Eliminasyon, Koşullu Giriş, Koşullu Eliminasyon, Tilde Giriş, Tilde Eleme