Logicamente UTFPR

"Logicamente" is a system to help undergraduate students learn logic. It is a version of another system (see Section Original Logicamente). Runnable jars can be downloaded from http://github.com/adolfont/Logicamente-UTFPR/downloads.

The objective of this version of Logicamente is to help students to learn the syntax of propositional classical logic.

The student gives as input a formula and the system draws a parse tree for the formula (if the formula is syntactically correct).

This system is based in the "Tree Interaction" tab of the original Logicamente system.

Original Logicamente

The original "Logicamente" system is available at http://www.dimap.ufrn.br/logicamente/.

Project Information

The development of this system is an activity in the 2010 edition of the Agile Methods course at PPGCA - UTFPR.

A Kanban diagram of the project is available at http://bit.ly/aF6ivj

The only use case for this version of the system can be seen in: http://yuml.me/diagram/scruffy/usecase/[Student]-(DrawParseTree)

• Adolfo Neto (project coordinator): http://www.dainf.ct.utfpr.edu.br/~adolfo
• UTFPR: http://www.utfpr.edu.br
• PPGCA (Masters in Applied Computing at UTFPR): http://www.ppgca.ct.utfpr.edu.br
• Agile Methods course at PPGCA: http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Metodologias_%C3%81geis_para_o_Desenvolvimento_de_Software.

How to contribute

• Make a personal fork of the project
• When you have a contribution, send a pull request

Instructions for Windows users who want to download the project

• Download Egit http://www.eclipse.org/egit/
• Download the Logicamente-UTFPR GitHub repository
• Change Worskpace "Text file encoding" (Window -> Preferences -> General -> Workspace) to UTF-8
• Download the libraries used (see instructions in lib/README)