Jukka Häkkinen | Windows Sovellukset
- Tilaa: RSS
- Alustat: Windows Sovellukset (3)
- Rankingissa: 0
- Yhteensä: 3
- Listat: 0 + 0
- Arvostelut: 0
- Ilmaiset: 3
- Pisteet: ¡ 1 + 9
- Videot: 0
- Maksulliset: 0
- Alennukset: 0
- Verkkosivusto:
Avaa
-
- Natural Deduction using Strict Implication
- Windows Sovellukset: Koulutus Tekijänä: Jukka Häkkinen
- Ilmainen
- Listat: 0 + 0 Rankingissa: 0 Arvostelut: 0
- Pisteet: 0 + 3 (3.0) Versio: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Sovellukset: Koulutus Tekijänä: Jukka Häkkinen
- Ilmainen
- Listat: 0 + 0 Rankingissa: 0 Arvostelut: 0
- Pisteet: 0 + 4 (4.0) Versio: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Sovellukset: Koulutus Tekijänä: Jukka Häkkinen
- Ilmainen
- Listat: 0 + 0 Rankingissa: 0 Arvostelut: 0
- Pisteet: 1 + 2 (2.5) Versio: PC Truth table generator. ⥯
Jaa
Jukka Häkkinen | Kehittäjä
Lyhennetty URL: Kopioitu!
- 🌟 Jaa