Jukka Häkkinen
- Abonnieren: RSS
- Plattformen: Windows Apps (3)
- Klassifizierungen: 0
- Gesamt: 3
- Listen: 0 + 0
- Rezensionen: 0
- Kostenlos: 3
- Punkte: ¡ 1 + 9
- Videos: 0
- Kostenpflichtig: 0
- Rabatte: 0
- Webseite:
Öffnen
-
- Natural Deduction using Strict Implication
- Windows Apps: Bildung Von: Jukka Häkkinen
- Kostenlos
- Listen: 0 + 0 Klassifizierungen: 0 Rezensionen: 0
- Punkte: 0 + 3 (3.0) Version: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Apps: Bildung Von: Jukka Häkkinen
- Kostenlos
- Listen: 0 + 0 Klassifizierungen: 0 Rezensionen: 0
- Punkte: 0 + 4 (4.0) Version: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Apps: Bildung Von: Jukka Häkkinen
- Kostenlos
- Listen: 0 + 0 Klassifizierungen: 0 Rezensionen: 0
- Punkte: 1 + 2 (2.5) Version: PC Truth table generator. ⥯
Teilen
Jukka Häkkinen | Entwickler
Kurz-URL: Kopiert!
- 🌟 Teilen