Jukka Häkkinen
- Đăng ký: RSS
- Nền tảng: Windows Ứng dụng (3)
- Xếp hạng: 0
- Tổng cộng: 3
- Danh sách: 0 + 0
- Đánh giá: 0
- Miễn phí: 3
- Điểm: ¡ 1 + 9
- Video: 0
- Phải trả tiền: 0
- Giảm giá: 0
- Trang web:
Mở
-
- Natural Deduction using Strict Implication
- Windows Ứng dụng: Giáo dục Bởi: Jukka Häkkinen
- Miễn phí
- Danh sách: 0 + 0 Xếp hạng: 0 Đánh giá: 0
- Điểm: 0 + 3 (3.0) Phiên bản: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Ứng dụng: Giáo dục Bởi: Jukka Häkkinen
- Miễn phí
- Danh sách: 0 + 0 Xếp hạng: 0 Đánh giá: 0
- Điểm: 0 + 4 (4.0) Phiên bản: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Ứng dụng: Giáo dục Bởi: Jukka Häkkinen
- Miễn phí
- Danh sách: 0 + 0 Xếp hạng: 0 Đánh giá: 0
- Điểm: 1 + 2 (2.5) Phiên bản: PC Truth table generator. ⥯
Chia sẻ
Jukka Häkkinen | Nhà phát triển
URL ngắn: Đã sao chép!
- 🌟 Chia sẻ