Jukka Häkkinen
- 購読する: RSS
- プラットフォーム: Windows アプリ (3)
- ランキング: 0
- 合計: 3
- リスト: 0 + 0
- レビュー: 0
- 無料: 3
- ポイント: ¡ 1 + 9
- 動画: 0
- 有料: 0
- 割引: 0
- ウェブサイト:
を開く
-
- Natural Deduction using Strict Implication
- Windows アプリ: 教育 作者: Jukka Häkkinen
- フリー
- リスト: 0 + 0 ランキング: 0 レビュー: 0
- ポイント: 0 + 3 (3.0) バージョン: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows アプリ: 教育 作者: Jukka Häkkinen
- フリー
- リスト: 0 + 0 ランキング: 0 レビュー: 0
- ポイント: 0 + 4 (4.0) バージョン: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows アプリ: 教育 作者: Jukka Häkkinen
- フリー
- リスト: 0 + 0 ランキング: 0 レビュー: 0
- ポイント: 1 + 2 (2.5) バージョン: PC Truth table generator. ⥯
シェア
Jukka Häkkinen | デベロッパー
短縮 URL: コピーしました!
- 🌟 シェア