Jukka Häkkinen
- S'abonner: RSS
- Plateformes: Windows Applications (3)
- Classements: 0
- Total: 3
- Listes: 0 + 0
- Avis: 0
- Gratuits: 3
- Points: ¡ 1 + 9
- Vidéos: 0
- Payants: 0
- Remises: 0
- Site Web:
Ouvrir
-
- Natural Deduction using Strict Implication
- Windows Applications: Enseignement De: Jukka Häkkinen
- Gratuit
- Listes: 0 + 0 Classements: 0 Avis: 0
- Points: 0 + 3 (3.0) Version: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Applications: Enseignement De: Jukka Häkkinen
- Gratuit
- Listes: 0 + 0 Classements: 0 Avis: 0
- Points: 0 + 4 (4.0) Version: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Applications: Enseignement De: Jukka Häkkinen
- Gratuit
- Listes: 0 + 0 Classements: 0 Avis: 0
- Points: 1 + 2 (2.5) Version: PC Truth table generator. ⥯
Partager
Jukka Häkkinen | Concepteur
URL courte: Copié!
- 🌟 Partager