Jukka Häkkinen | Windows 앱
- 구독: 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: 복사됨!
- 공유하기