Jukka Häkkinen | Windows تطبيقات
- اشتراك: RSS
- المنصات: Windows تطبيقات (3)
- لتصنيفات: 0
- المجموع: 3
- قوائم: 0 + 0
- المراجعات: 0
- المجانية: 3
- النقاط: ¡ 1 + 9
- أشرطة فيديو: 0
- المدفوعة: 0
- تخفيضات: 0
- الموقع الإلكتروني:
فتح
-
- Natural Deduction using Strict Implication
- Windows تطبيقات: تعليم بواسطة: Jukka Häkkinen
- مجاني
- قوائم: 0 + 0 لتصنيفات: 0 المراجعات: 0
- النقاط: 0 + 3 (3.0) الإصدار: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows تطبيقات: تعليم بواسطة: Jukka Häkkinen
- مجاني
- قوائم: 0 + 0 لتصنيفات: 0 المراجعات: 0
- النقاط: 0 + 4 (4.0) الإصدار: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows تطبيقات: تعليم بواسطة: Jukka Häkkinen
- مجاني
- قوائم: 0 + 0 لتصنيفات: 0 المراجعات: 0
- النقاط: 1 + 2 (2.5) الإصدار: PC Truth table generator. ⥯
مشاركة
Jukka Häkkinen | مطوّر البرامج
عنوان URL مختصر: تم النسخ!
- مشاركة