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: Скопировано!
- Поделиться