Escolar Documentos
Profissional Documentos
Cultura Documentos
2
MAR./ABR. 2009 ISSN 1678-6971
Submisso: 15 fev. 2008. Aceitao: 8 out. 2008. Sistema de avaliao: s cegas dupla (double blind review).
UNIVERSIDADE PRESBITERIANA MACKENZIE. Walter Bataglia (Ed.), p. 164-180.
RESUM O
O impacto causado pelo uso de novas tecnologias nos diversos setores da atividade
econmica requer profundas transformaes no processo pedaggico dos cursos
superiores de Cincias Humanas e Cincias Sociais Aplicadas, trazendo dificuldade e insegurana para os educadores e coordenadores de instituies de ensino
superior. Para alcanar um conhecimento das tecnologias correntes, que possa ser
aplicado na soluo de problemas reais de diversas naturezas, torna-se essencial o
ensino de conceitos fundamentais de Lgica Aplicada tradicionalmente presentes
em cursos de Cincias da Computao, proporcionando uma formao terica, o
desenvolvimento de raciocnio lgico e formal e de habilidades prticas bastante
exigidas no mercado de trabalho. Apresentamos uma metodologia para o ensino
de conceitos fundamentais de Lgica Formal Aplicada que vem sendo usada em
cursos de graduao em Administrao e Economia, com o propsito de colaborar na construo de um novo paradigma de ensino de tecnologia, que se aplica a
diversas reas de atuao, e contribuir para o aprimoramento do processo pedaggico desses cursos.
A BST RA CT
The use of new technologies in so many sectors changed the way of how economic activities are done. Because of this transformation, pedagogical processes of
Social Sciences and Applied Social Sciences courses need deep attention and must
restructured. Since this is not an easy task, educator and undergraduate programs
coordinators sometimes become insecure. This paper presents a teaching methodology of basic Applied Formal Logic that, if properly used, can assist professors to
165
better deal with new technologies and help them to reduce their uncertainty. Once
this methodology can be applied in the solution of different real problems, it can be
useful teaching basic concepts of Applied Logic, traditionally present in Computer
Science courses. It provides a steady theoretical formation, enhances the development of logical and formal reasoning and practical abilities. This methodology has
been used and tested in undergraduate courses in Schools of Business Administration and Economics. This experience contributed to construct new paradigm of
technology education.
KEYWO RD S
Logic; Logic reasoning; Methodology; Algorithm and teaching of technology;
Management Teaching.
166
IN TRO D UO
QU E S T E S RE L ACI ONA DA S A O E NS I NO
DE AL GO RI T M O
167
ME T O D O L O GIA
3.1
168
de determinadas condies. Tais condies podem ser situaes cotidianas presentes na vida das pessoas.
Em linhas gerais, deve-se introduzir o conceito de algoritmos como sendo:
qualquer procedimento bem definido que considera valores/dados de entrada
(insumos), uma condio ou uma combinao de condies (processamento) e
que a aplicao das condies aos dados gera os valores/dados de sada (produto).
Um exemplo comumente citado o aptema de Descartes: Penso, logo existo.
O fato de pensar (dado de entrada) levou Descartes constatao de sua existncia (dado de sada).
Na mesma linha, deve-se introduzir o conceito da lgica proposicional, to
cobrada em concursos pblicos e processos de seleo para estgios e empregos. Essa caracterstica fundamental para incentivar os alunos mais jovens,
que rapidamente iro perceber que a importncia da lgica proposicional transcende a realidade dos concursos, funcionando, em um segundo momento, como
outro agente motivador para que eles permaneam matriculados na disciplina
at alcanar o nvel de maturidade desejado. A peculiaridade da lgica proposicional trabalhar apenas com variveis cujos valores se alternam exclusivamente
entre dois estados (verdadeiro e falso; sim ou no; 0 ou 1). Portanto, a lgica proposicional a ferramenta ideal para trabalhar com grandezas cujos valores so
expressos no sistema binrio.
Para exemplificar a lgica proposicional em sala de aula, devem ser usados
exemplos do cotidiano cultural dos alunos, o que facilita o entendimento. Um exemplo bastante comum cultura ocidental apresentado na Figura 1: uma placa de
identificao de banheiro pblico.
Quando se observa a porta de um banheiro onde consta esta figura, possvel fazer uma anlise e concluir, usando o senso comum, que o banheiro
feminino. Logo, essa a condio imposta para o problema de usar o banheiro. O dado de entrada o sexo da pessoa que pretende usar o banheiro: feminino ou masculino. J o dado de sada, ou seja, a deciso sobre a pessoa entrar ou
no no banheiro, obtido mediante a aplicao da condio ao dado de entrada.
Logo, tem-se a condio ( do sexo feminino: sim ou no?) e a deciso (sim se
a resposta for sim; no se for no). Esse um exemplo introdutrio de uma
condio simples, na qual h apenas um dado de entrada e um dado de sada.
FIGURA 1
169
170
3.2
TORRE DE HANI
a
171
1
2
3
3.3
Esta etapa trabalhada em duas fases. Na primeira, evidencia-se a necessidade de representar a soluo de um problema em uma linguagem utilizada para
comunicao. Quando a comunicao homem-homem, utiliza-se a linguagem
natural (portugus, ingls etc.) ou uma representao grfica. Cada aluno pode
expor verbalmente sua soluo ao grupo. Simultaneamente, o grupo estimulado pelo professor a explorar, questionar e validar a soluo apresentada. Essa
verbalizao constri, sob a interveno dos componentes do grupo, progressiva
e interativamente, uma formalizao considerada satisfatria pelo grupo.
FIGURA 3
2
3
1
2
2
1
c
1
2
3
172
7. Mova o disco 1 da torre A para a torre B
REPRESENTAO EM FLUXOGRAMA
PARA SOLUO DE UM PROBLEMA
Identificar as bolas
a, b, c, d, e, f, g, h
sim
sim
dmais
pesada
d>e
no
a, b, c = f, g, h
sim
no
emais
pesada
sim
bmais
pesada
a=c
sim
amais
pesada
no
a, b, c > f, g, h
no
a>c
no
cmais
pesada
gmais
pesada
f=h
sim
fmais
pesada
173
no
f>h
no
hmais
pesada
3.4
174
Para conduzir esta etapa, o professor pode solicitar aos alunos a descrio
formal de um procedimento simples que possa ser utilizado para definir algoritmo e programa, alm de introduzir a traduo para a linguagem de programao. Pode ser feita uma pequena descrio de como utilizar um compilador,
alm da apresentao da estrutura bsica de um programa, definindo alguns
tipos de variveis e alguns comandos ou instrues simples como as de leitura
e escrita de dados. Certamente, o formalismo de uma linguagem de programao, por ser bem mais rigorosa, poder trazer certas dificuldades para os
alunos, mas em pouco tempo estas podero ser superadas. Ao final desta etapa,
desejvel que os alunos detenham pelo menos a capacidade de desenvolver
programas que envolvam comandos de entrada e sada de dados, estruturas de
seleo e de repetio.
Os problemas propostos em sala de aula devem ter ligao direta e prtica
com outras disciplinas da grade curricular do curso. A prxima seo apresenta
um problema que pode ser utilizado no curso de Administrao, enfatizando o
contedo de disciplinas ligadas a marketing e explorando o assunto customer relationship management (CRM).
UM E XE M P L O
O gestor de um pequeno varejo, com o desejo de expandir seu negcio, decidiu conhecer melhor os seus clientes e optou por implementar um CRM, acreditando que com esse recurso tomar decises mais acertadas em relao ao futuro
do seu negcio, como na aquisio de novas mercadorias ou promoes. Assim,
foram definidas cinco categorias principais de produtos no estabelecimento: hortifrtis, aougue, gros, padaria e bazar. Identificou-se a existncia dos seguintes
perfis de clientes: de ocasio, regulares e preferenciais. E foram estabelecidos os
critrios para posicionar cada cliente em um determinado perfil:
175
Se esse problema puder ser trabalhado em parceria com o professor de marketing, ser ainda mais fcil e interessante propor ao aluno a construo de uma
macro em VBA que realize uma classificao em perfis, obedecendo s condies
estabelecidas, um conjunto de n clientes cadastrados que frequentaram o supermercado durante um determinado perodo.
Neste ponto, importante discutir com os alunos a necessidade de estudar
o problema e identificar os dados de entrada (insumo) e os de sada (produto),
verificando as condies que fazem entradas gerarem sadas, exatamente como
apresentado inicialmente na seo 3.1. Devem-se abordar os conceitos de eficcia
e eficincia, ou seja, analisar o problema, com o propsito de encontrar sempre
a melhor soluo, como referido no caso da Torre de Hani.
Com base nessa anlise, possvel mostrar ao aluno a necessidade de representar a soluo do problema de forma no ambgua, uma vez que este ser
executado por uma mquina. Em nossa experincia, o aluno codifica o problema
utilizando a linguagem VBA. O Quadro 1 ilustra uma planilha Excel onde o problema foi resolvido e executado.
QUADRO 1
HORTIFRTIS
Jos Joo
Gustavo
Azevedo
Manoel
Pereira
Juliana Silva
Eduardo
Mello
176
GROS
PADARIA
AOUGUE
BAZAR
FREQUNCIA
CLASSIFICAR
Ocasio
Preferencial
Regular
Regular
Preferencial
A seguir, apresentada uma descrio detalhada de como conduzir o processo de obteno de uma soluo para o problema apresentado. Essa descrio
apresentada como uma sugesto.
4.1
Com discrio e naturalidade, recomenda-se que o professor faa repetidamente os mesmos questionamentos e indique alguns passos para a obteno de
uma soluo. Por exemplo: Qual a incgnita? Do que que se precisa? O que
que se quer? O que que se deve procurar?. A finalidade focalizar a ateno
do aluno nas incgnitas (variveis). Algumas vezes, obtm-se o mesmo efeito
de maneira mais natural, fazendo uma sugesto objetiva: Considere a incgnita!. A indagao e a sugesto tm o mesmo objetivo: ambas tendem a provocar
uma operao mental. O exemplo apresenta, conforme o Quadro 2, as seguintes
incgnitas.
QUADRO 2
DOMNIO
DESCRIO
Frequncia
Inteiro
Hortifrtis
Lgico
Gro
Lgico
Padaria
Lgico
Aougue
Lgico
Bazar
Lgico
Perfil
Caractere
QUADRO 3
4.2
C1
Ocasional
C2
Regular
C3
Preferencial
// C1 descrita no Quadro 3
// C2 descrita no Quadro 3.
Fim Se
Fim Se
Prximo Cliente
4.3
A MACRO
A realizao deste exerccio concluda quando os alunos conseguem transcrever o algoritmo para a linguagem VBA. Dessa forma, o grupo passa a ter o
pensamento, antes intangvel, na forma tangvel, atravs de um programa que
pode ser executado por uma mquina o computador. A Figura 8 ilustra o trecho de uma macro, pertinente ao algoritmo apresentado na Figura 7, para o exerccio de CRM proposto.
FIGURA 7
C O N S ID E RA E S FI NA I S
Desde 2005, uma instituio de ensino superior tem oferecido aos alunos
de Adminstrao e Economia a disciplina Lgica Aplicada, com resultados satisfatrios que melhoram gradativamente. O objetivo de inclu-la no currculo acadmico utilizar uma abordagem mais natural e flexvel, sem perder o foco do
aprendizado proposto.
179
REFER N CIAS
180
CASTRO, T. C. et al. Utilizando programao funcional em disciplinas introdutrias de computao. In: X WORKSHOP SOBRE EDUCAO EM COMPUTAO. EVENTO INTEGRANTE DO
XXII CONGRESSO DA SBC. 2002, Florianpolis. Anais... Florianpolis: WEI, 2002.
FONSECA, C. Histria da computao teoria e tecnologia. Braslia: LTR, 1998.
FORBELLONE, A. L. V.; EBERSPCHER, H. F. Lgica de programao: a construo de algoritmos
e estrutura de dados. So Paulo: Makron Books, 1993.
FRIEDMANN, C. V. P. Matemtica discreta, algoritmos, modelos. 2003. Tese (Doutorado)Universidade Federal do Rio de Janeiro, Rio de Janeiro, 2003.
HENDERSON, P. B. Anatomy of an introductory computer science course. In: SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 17., 1986, Cincinnati. Proceedings...
Ohio: ACM Press, 1986. p. 257-264.
______. Modern introductory computer science. In: SIGCSE TECHNICAL SYMPOSIUM ON
COMPUTER SCIENCE EDUCATION, 18., 1987, St. Louis. Proceedings... Missouri: ACM Press,
1987. p. 183-190.
LEVITIN, A. Design and analysis of algorithms reconsidered. In: TECHNICAL SYMPOSIUM ON
COMPUTER SCIENCE EDUCATION, 30., 2000, EUA. Proceedings... EUA, 2000. p. 16-20.
LOIOLA, E. M.; SILVEIRA, D. S. O ensino de administrao focado em sistemas de informao.
XIV In: ENCONTRO NACIONAL DOS CURSOS DE GRADUAO EM ADMINISTRAO, 14.,
2003, Foz do Iguau. Foz do Iguau, 2003.
SARBANES-OXLEY ACT. Disponvel em: <http://www.sarbanes-oxley.com/>. Acesso em: 12 dez.
2006.
SILVEIRA, D. S.; SCHMTIZ, E. Desenvolvimento de software orientado a objetos. Rio de Janeiro:
Brasport, 2000.