Jukka Häkkinen
- Feliratkozás: RSS
- Platformok: Windows Alkalmazások (3)
- Rangsorolások: 0
- Összes: 3
- Listák: 0 + 0
- Vélemények: 0
- Ingyenes: 3
- Pontok: ¡ 1 + 9
- Videók: 0
- Fizetős: 0
- Kedvezmények: 0
- Weboldal:
Megnyitása
-
- Natural Deduction using Strict Implication
- Windows Alkalmazások: Oktatás Által: Jukka Häkkinen
- Ingyenes
- Listák: 0 + 0 Rangsorolások: 0 Vélemények: 0
- Pontok: 0 + 3 (3.0) Változat: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Alkalmazások: Oktatás Által: Jukka Häkkinen
- Ingyenes
- Listák: 0 + 0 Rangsorolások: 0 Vélemények: 0
- Pontok: 0 + 4 (4.0) Változat: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Alkalmazások: Oktatás Által: Jukka Häkkinen
- Ingyenes
- Listák: 0 + 0 Rangsorolások: 0 Vélemények: 0
- Pontok: 1 + 2 (2.5) Változat: PC Truth table generator. ⥯
Megosztás
Jukka Häkkinen | Fejlesztő
Rövid URL: Másolva!
- Megosztás