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 μικρού μήκους: Αντιγράφηκε!
- Κοινή χρήση