2 resultados para BINDERLESS CBN TOOLS

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The radio is just not seen as conveying information, but a media able to establish ways that generate certain direction. We see an inclusion of the listener in the construction of programs, is exposing their life stories, commenting on facts, answering questions, choosing subjects and participating in some form of radio programming. This insertion of the listener in radio programs is generally thought of as a constituent element of the message. This study aims to analyze the participation of the listener and the forms of interaction in the " Debates of the People" that thirty- past two years is the schedule for CBN Fortaleza. The investigation was conducted through observation in studio, interview, transcription, content analysis and association analysis. This is a qualitative and quantitative research while. We found that the listeners of the program had no acceptance of interactive tools such as the Internet and social networks to make their holdings. In clipping analyzed, we noted that the participation of the listener was selected according to their relationship and proximity to the topic discussed. Also detected that the opinion is superior to the listener questions on the topic. The presenter has the function to put the questions in the listener program. Among the public comments are questions and opinions on the subject and speaks of the debaters. Among the authors, use Barbosa (2009 ), Ferraretto (2007 ), Lopez (2010 ), Ortriwano (2001 ), Peruzzo (2004 ), Prata (2009 ), Primo (2006 ), Thompson (2009 ), among others

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic