Jukka Häkkinen
- Odebírat: RSS
- Platformy: Windows Aplikace (3)
- Hodnocení: 0
- Celkem: 3
- Seznamy: 0 + 0
- Recenze: 0
- Zdarma: 3
- Body: ¡ 1 + 9
- Videa: 0
- Placené: 0
- Slevy: 0
- Web:
Otevřít
-
- Natural Deduction using Strict Implication
- Windows Aplikace: Vzdělávání Podle: Jukka Häkkinen
- Zdarma
- Seznamy: 0 + 0 Hodnocení: 0 Recenze: 0
- Body: 0 + 3 (3.0) Verze: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Aplikace: Vzdělávání Podle: Jukka Häkkinen
- Zdarma
- Seznamy: 0 + 0 Hodnocení: 0 Recenze: 0
- Body: 0 + 4 (4.0) Verze: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Aplikace: Vzdělávání Podle: Jukka Häkkinen
- Zdarma
- Seznamy: 0 + 0 Hodnocení: 0 Recenze: 0
- Body: 1 + 2 (2.5) Verze: PC Truth table generator. ⥯
Sdílet
Jukka Häkkinen | Vývojář
Krátká adresa URL: Zkopírováno!
- Sdílet