Uzaktan Eğitim Odaklı Çevrimiçi Formel Mantık Öğretimi

Amaç

Projenin temel amacı Formel Mantık eğitiminin web-tabanlı bir sistem ile öğrenci, öğretici ve ilgilenen diğer kullanıcılara ulaştırılmasıdır. Söz konusu içeriğin web ortamına taşınması ve ilgililere bu yolla sanal ortamdan ulaştırılması hedeflenmektedir. Üstelik eğitimin etkileşimli şekilde yapılması, projenin ilerleyen süreçte geliştirilmesi olanağını da yaratacaktır.

Yöntem

Carnap, formel mantık öğretmek ve öğrenmek üzere Haskell dilinde yazılmış ücretsiz ve açık yazılım çerçevesidir. Carnap, dünya çapında pekçok kolej ve üniversitede okutulan mantık derslerine güç katar.

Carnap kullanan bir derse kayıtlı öğrenciyseniz, oturum açmak ve ders içeriğine erişmek için lütfen sayfanın üst kısmındaki bağlantıları izleyin.

Carnap'ı sadece merak ediyorsanız, bazı genel bilgileri sitemizin hakkında sayfasında bulabilirsiniz. Projeyle ilgileniyorsanız ve Carnap'ı mantık öğrettiğiniz bir sınıfta kullanmak istiyorsanız bizimle irtibata geçebilirsiniz.