Palestra: Rede de Sensores sem fio para Monitorar o meio Ambiente.
Document Actions
Palestra: Introdução às Linguagens Formais e Autômatos Finitos: UMA Abordagem Prática.
Prof. Candido Ferreira Xavier de Mendonça Neto da Escola de Artes, Ciências e Humanidades (EACH) da Universidade de São Paulo, na Série de Seminários 2010 da Pós-Graduação, dia 22/10/2010, às 14:00 h, Auditório do IC, Sala 85 - IC 2.
| What | Palestra |
|---|---|
| When |
22/10/2010 from 14:00 to 15:00 |
| Where | Auditório do IC - Sala 85 - IC 2 |
| Add event to calendar |
vCal
iCal
|
Um dos meus maiores desafios era ensinar a disciplina Introdução à Teoria da Computação, que já era difícil para alunos de Ciências da Computação e Engenharia da Computação. Ao me tornar professor do Curso de Sistemas de Informação na USP. Ora, como seria ensinar esta disciplina para um público com uma carga teórica ainda menor? Este trabalho é o resultado de como introduzir de maneira prática os conceitos dos 3 modelos computacionais para os alunos de Sistemas de Informação: Autômato Finito, Autômato à Pilha e Autômato de 2 Pilhas (que é equivalente à Máquina de Turing). O modelo criado é desenvolvido dentro de uma perspectiva de ficção (na história real Turing, 1936, descobriu a Máquina de Turing, McCulloc e Pittz, 1951, descobrem o Autômato Finito e Autômato à Pilha) do que poderia ter sido a história dos 3 modelos até a Máquina de Turing. O resultado é uma metodologia mais fácil para a introdução da disciplina, além disto, a motivação para o aprendizado deste conteúdo, cresceu bastante. =================================================================== Candido Ferreira Xavier de Mendonça Neto é Bacharel em Matemática (Unicamp) Mestre em Ciência da Computação (UNICAMP) PhD.em Ciência da Computação (Univ. Of Queensland) Livre-docente em Combinatória e Grafos (UNICAMP) =================================================================== Organizadora: Profª. Drª. Ariadne Maria Brito Rizzoni Carvalho (ariadne@ic.unicamp.br) IC -- Unicamp Fone: (019) 3521-5864 ===================================================================
VII WTD do IC 2012
