Now limiting view to projects in the following categories:
Topic :: Education [Remove This Filter]
5 projects in result set.
1. Sócrates - Sistema de auxÃlio ao ensino da dedução natural e tableau semântico (lógica proposicional).
O usuário poderá:
- provar argumentos usando as regras de inferência da lógica proposicional
- geração de tableaux semânticos a partir de fórmulas
| - Development Status: 2 - Pre-Alpha [Filter]
- Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop [Filter]
- License: GNU General Public License (GPL) [Filter]
- Maemo/Tablet OS version: OS2008 [Filter]
- Operating System: Other OS [Filter] , Linux [Filter]
- Programming Language: C++ [Filter]
- Topic: Education (Now Filtering)
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-11-07 12:25 |
2. Arsenik - Arsenik is a collection of utilities to help you create and learn sets of flashcards.
| - Development Status: 2 - Pre-Alpha [Filter]
- Environment: Console \(Text Based\) [Filter] , Gnome [Filter] , Maemo [Filter]
- Intended Audience: End Users/Desktop [Filter]
- License: GNU General Public License (GPL) [Filter]
- Operating System: OS Independent [Filter]
- Programming Language: Python [Filter]
- Topic: Education (Now Filtering)
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2007-05-25 09:35 |
3. ODF Mobile - ODF Mobile is a reader of files ODF (Open Document Format) for maemo platform, developed over python.
| |
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-04-29 02:22 |
4. LUCID/iron - Learn About Structural Engineering on your Desktop, Tablet or Smartphone
| |
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2010-12-19 10:17 |
5. mReader - mReader – an eBook reader and an audiobook player for the Maemo platform. Version for MeeGo is also planned.
| - Development Status: 2 - Pre-Alpha [Filter]
- Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop [Filter]
- License: GNU General Public License (GPL) [Filter]
- Natural Language: English [Filter]
- Operating System: Linux [Filter]
- Programming Language: C++ [Filter]
- Topic: Education (Now Filtering) , Games/Entertainment [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2011-09-10 20:52 |
|
Environment