A integração do tutorial interativo TryLogic
via IMS Learning Tools Interoperability:
construindo uma infraestrutura para o ensino
de Lógica através de estratégias de
demonstração e refutação

Autores		Terrematte, Patrick Cesar Alves
Orientador		Almeida, João Marcos de
Editor		Universidade Federal do Rio Grande do Norte
Data		2013-06-03
Palavras-chave		Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic
Citação		TERREMATTE, Patrick Cesar Alves. The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutations. 2013. 135 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.
Resumo
Abstract
URI		https://repositorio.ufrn.br/jspui/handle/123456789/18685

Coleções	PPGSC - Mestrado em Sistemas e Computação

Arquivos

Agora exibindo 1 - 1 de 1