Página com simuladores de Máquinas de Turing

O aluno Danilo Matias, do curso de Ciência da Computação da UDESC, preparou uma página com links para simuladores de  Máquinas de Turing. Leia abaixo o texto que ele me enviou:

--------------------

Acabei de terminar de editar a página com os simuladores de Turing:

A grande maioria deles é software livre e ou rodam no browser:

Os links diretos para os simuladores estão em:

http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/MT/levantamento/links.html

Os links para download dos artigos que descrevem brevemente cada simulador é;

http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/MT/downloads/dw.html


O link para a descrição do trabalhho é:
http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/MT/MT.html

O link para chegar nesse link é:

http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/LFM.html

ou:

http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/TEC.html

Para chegar nesse link:

Acesse:

http://br.geocities.com/danilomatias17/

Vá em:

Disciplinas cursadas na UDESC  ->Teoria da Computação->Levantamento de Implementações de máquinas de Turing na Internet (Confira aqui a página que nós elaboraramos )
                                                            -> Linguagens Formais de Máquinas->Levantamento de Implementações de máquinas de Turing na Internet(Confira aqui )

Resumo de "Linguagens Formais, Autômatos e Computabilidade" para o ENADE

Clique em http://usuarios.upf.br/~mcpinto/LFAC-Enade.pdf para acessar. Autor: Marcelo Cezar Pinto

Novos cargos consolidam programas de expansão das universidades e das escolas técnicas federais

O Plenário do Senado aprovou na quarta-feira, 2, dois projetos de lei da Câmara que, juntos, criam 49.025 novos cargos em instituições federais de ensino superior e de educação profissional e tecnológica. A criação dos novos cargos dá suporte ao Programa de Apoio a Planos de Reestruturação e Expansão das Universidades Federais (Reuni) e à expansão da rede federal de educação profissional e tecnológica.

O Projeto nº 30/08 institui 3.375 cargos no âmbito do Ministério da Educação, destinados à redistribuição para as instituições federais de ensino superior. Desses, 2.300 são cargos efetivos de professor para a carreira do magistério superior e 1.075 de técnicos administrativos para diversas áreas.

Já o outro projeto, de número 91/08, cria 13.264 cargos para docentes e 10.656 para técnicos administrativos, destinados às universidades federais. Além disso, cria 9.430 cargos de técnico administrativo e 12.300 cargos de professor de ensino fundamental e médio, a serem distribuídos a instituições federais de educação profissional e tecnológica.

Para o secretário de Educação Superior do MEC, Ronaldo Mota, trata-se de um momento histórico. "As universidades poderão crescer de forma planificada, contratando os melhores profissionais disponíveis e vislumbrando de forma perene um novo e melhor futuro para o parque das universidades federais brasileiras", destaca.

O secretário de Educação Profissional e Tecnológica, Eliezer Pacheco, acredita que a ação vai fortalecer a formação de trabalhadores qualificados para o Brasil. "O fato de o Senado Federal ter aprovado a criação de novos cargos de professores de ensino fundamental e médio e de técnicos administrativos destinados às instituições federais de educação profissional e tecnológica irá ampliar ainda mais o ensino de qualidade ofertado pelas escolas técnicas da rede federal", afirma.

Hoje, há 12.664 professores para 173 mil estudantes nas 185 escolas da rede federal de educação profissional, que oferecem cursos de nível médio e superior. O Ministério da Educação está investindo R$ 750 milhões na construção de 150 escolas técnicas no Brasil. A meta do governo federal é chegar, em 2010, a 354 escolas técnicas e cerca de 500 mil matrículas nas instituições federais de educação profissional. As novas unidades integram a segunda fase do plano de expansão da rede federal de educação profissional e tecnológica, política do Plano de Desenvolvimento da Educação (PDE).

Assessoria de Comunicação Social

Leia mais...
Escolas técnicas têm construção acelerada
Fim da DRU da Educação: R$ 7 bi anuais
Piso beneficia 800 mil professores

Fonte: http://portal.mec.gov.br/index.php?option=com_content&task=view&id=10810

Verbetes (confiáveis!) na Wikipédia sobre Lógica

Reproduzo abaixo mensagem do professor João Marcos, da UFRN, relatando experiência de criação supervisionada de conteúdo sobre lógica para a Wikipédia. É uma importante contribuição para a Wikipédia em português, que costuma ser criticada pela baixa qualidade de seus verbetes.

---------- Forwarded message ---------- From: Joao Marcos <jmarcos@dimap.ufrn.br> Date: 2008/7/2 Subject: [Logica-l] Mais conteúdo adicionado à Wikipédia lusófona To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <logica-l@dimap.ufrn.br> PessoALL: No início de 2007 relatei aqui na lista um experimento que foi feito com alunos de graduação na criação supervisionada de conteúdo para a Wikipédia lusófona: http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001031.html Foram implementados naquela ocasião 35 verbetes, através do trabalho cooperativo de 20 alunos: http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001032.html Confesso que este tipo de atividade de fim de semestre tem dado ao maluco do professor um trabalho absurdo, pois ele rarissimamente aceita a primeira versão que os alunos lhe entregam... Com efeito, eles recebem normalmente do mestre, ao invés, uma lista detalhadíssima de correções para que uma segunda versão seja produzida --- uma versão minimamente decente, de cujo conteúdo eles possam de alguma forma se orgulhar. Como é natural, mesmo após a revisão a qualidade geral dos verbetes ainda é irregular: alguns ficam simplesmente *ótimos*, às vezes até *bem melhores* do que a versão anglófona correspondente; outros permanecem com erros que envergonhariam qualquer especialista no assunto. De uma maneira ou de outra, quer-me parecer que este experimento de *criação de conteúdo* tem sido bastante bem sucedido, e também bastante útil. Alguns de vocês, ou seus alunos, talvez já têm encontrado alguns destes verbetes nos últimos tempos, em suas pesquisas na net, e quiçá o conteúdo tenha lhes parecido satisfatório, informativo e aproveitável. Entre os objetivos mais imediatos e frutíferos deste tipo de trabalhos, em geral, eu mencionaria: (i) a criação de conteúdo útil, livre, colaborativo e não-alienado, que continuará disponível e vivo muito depois que a disciplina em questão tiver formalmente se encerrado (ii) a oportunidade para os alunos de explorar em detalhe e aprender mais sobre algum tópico estreitamente relacionado com o tema da disciplina em questão (iii) a oportunidade para os alunos de praticar a capacidade de síntese e exposição cientificamente informada e matematicamente correta, uma das habilidades fundamentais a serem desenvolvidas na educação superior (iv) o estímulo à formação de uma nova geração de wikipedistas * * * Entre junho de 2007 e junho de 2008 a criação dos seguintes 75 verbetes envolveu 52 novos alunos: (para o bem ou para o mal, alguns destes verbetes já foram modificados neste ínterim; outros permaneceram intocados desde que foram criados) * "Acarretamento" / "Consequência semântica" http://pt.wikipedia.org/wiki/Acarretamento * "Alfred Horn" http://pt.wikipedia.org/wiki/Alfred_Horn * "Alfred Tarski" http://pt.wikipedia.org/wiki/Alfred_Tarski * "Algoritmo Chaff" http://pt.wikipedia.org/wiki/Algoritmo_Chaff * "Algoritmo de Davis-Putnam" http://pt.wikipedia.org/wiki/Algoritmo_de_Davis-Putnam * "Algoritmo DPLL" http://pt.wikipedia.org/wiki/Algoritmo_DPLL * "Anfeque" http://pt.wikipedia.org/wiki/Anfeque * "Argumento" http://pt.wikipedia.org/wiki/Argumento * "Assinatura (lógica)" http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 * "Atribuição (lógica)" http://pt.wikipedia.org/wiki/Atribui%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Axioma" http://pt.wikipedia.org/wiki/Axioma * "Axioma esquemático" http://pt.wikipedia.org/wiki/Axioma_esquem%C3%A1tico * "Cálculo proposicional implicacional" http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional_implicacional * "Completude (lógica)" http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 * "Completude funcional" http://pt.wikipedia.org/wiki/Completude_funcional * "Consequência lógica" http://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica * "Correção" http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o * "Dedução natural" http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural * "Derivação formal" http://pt.wikipedia.org/wiki/Deriva%C3%A7%C3%A3o_formal * "Disjunção exclusiva" http://pt.wikipedia.org/wiki/Disjun%C3%A7%C3%A3o_exclusiva * "Dupla negação" http://pt.wikipedia.org/wiki/Dupla_nega%C3%A7%C3%A3o * "Equivalência lógica" http://pt.wikipedia.org/wiki/Equival%C3%AAncia_l%C3%B3gica * "Estrutura (lógica)" http://pt.wikipedia.org/wiki/Estrutura_%28l%C3%B3gica%29 * "Forma de um argumento" http://pt.wikipedia.org/wiki/Forma_de_um_argumento * "Forma lógica" http://pt.wikipedia.org/wiki/Forma_l%C3%B3gica * "Forma normal algébrica" http://pt.wikipedia.org/wiki/Forma_normal_alg%C3%A9brica * "Fórmula (lógica)" http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 * "Fórmula atômica" http://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica * "Fórmula bem formada" http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada * "Função de verdade" http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade * "Função booleana" http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_booleana * "Grafo lógico" http://pt.wikipedia.org/wiki/Grafo_l%C3%B3gico * "Henry M. Sheffer" http://pt.wikipedia.org/wiki/Henry_M._Sheffer * "Interpretação (lógica)" http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Interpretação pretendida" http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_pretendida * "Lei de Peirce" http://pt.wikipedia.org/wiki/Lei_de_Peirce * "Leon Henkin" http://pt.wikipedia.org/wiki/Leon_Henkin * "Lista de regras de inferência" http://pt.wikipedia.org/wiki/Lista_de_regras_de_infer%C3%AAncia * "Lista de teorias de primeira ordem" http://pt.wikipedia.org/wiki/Anexo:Lista_de_teorias_de_primeira_ordem * "Lógica proposicional" http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional * "NE (NAND)"' http://pt.wikipedia.org/wiki/NE_%28NAND%29 * "NOU (NOR)" http://pt.wikipedia.org/wiki/NOU_%28NOR%29 * "Operação unária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_un%C3%A1ria * "Operação ternária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_tern%C3%A1ria * "Peter Naur" http://pt.wikipedia.org/wiki/Peter_Naur * "Quadrado das oposições" http://pt.wikipedia.org/wiki/Quadrado_das_oposi%C3%A7%C3%B5es * "Quantificação" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o * "Quantificação universal" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal * "Quantificação existencial" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencial * "Regra de inferência" http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia * "Relação bem-fundada" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bem-fundada * "Relação binária" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bin%C3%A1ria * "Relação de recorrência" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_Recorr%C3%AAncia * "Relação ternária" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_tern%C3%A1ria * "Silogismo disjuntivo" http://pt.wikipedia.org/wiki/Silogismo_disjuntivo * "Silogismo hipotético" http://pt.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico * "Silogística booleana" http://pt.wikipedia.org/wiki/Silog%C3%ADstica_Booleana * "Símbolo não-lógico" http://pt.wikipedia.org/wiki/S%C3%ADmbolo_n%C3%A3o-l%C3%B3gico * "Sintaxe (lógica)" http://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 * "Sistema dedutivo" http://pt.wikipedia.org/wiki/Sistema_dedutivo * "Teorema da compacidade" http://pt.wikipedia.org/wiki/Teorema_da_compacidade * "Teorema da completude de Gödel" http://pt.wikipedia.org/wiki/Teorema_da_completude_de_G%C3%B6del * "Teoria semântica da verdade" http://pt.wikipedia.org/wiki/Teoria_sem%C3%A2ntica_da_verdade * "Universo de discurso" http://pt.wikipedia.org/wiki/Universo_de_discurso * "Valor de verdade" http://pt.wikipedia.org/wiki/Valor_de_verdade * "Valoração (lógica)" http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Variáveis livres e ligadas" http://pt.wikipedia.org/wiki/Vari%C3%A1veis_livres_e_ligadas Foram inteiramente reescritos e reformados os seguintes verbetes pré-existentes: * "Aridade" http://pt.wikipedia.org/wiki/Aridade * "Constante" http://pt.wikipedia.org/wiki/Constante * "Lógica aristotélica" http://pt.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica * "Operação binária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_bin%C3%A1ria * "Par ordenado" http://pt.wikipedia.org/wiki/Par_ordenado * "Problema de satisfatibilidade booleana" http://pt.wikipedia.org/wiki/Problema_de_satisfatibilidade_booleana * "Tautologia (lógica)" http://pt.wikipedia.org/wiki/Tautologia_%28l%C3%B3gica%29 * "Validade" http://pt.wikipedia.org/wiki/Validade Finalmente, os alunos envolvidos nesta empreitada, nestes últimos semestres, foram: Alexandre Everton Freire de Araujo Alexandre Guirao Tasca Alisson Santos do Nascimento Anderson Medeiros de Santana Atila Varela Ferreira Medeiros de Oliveira Beremiz Reno Cavalcanti Rodrigues de Macedo Carla da Costa Fernandes Carlos Eduardo Maia Cavalcanti de Lima Dalmo Vinicius Gomes Mendonca Danilo Chaves de Sousa Ichihara Danilo Curvelo de Souza Denyson Diego Delgado de Lima Edson Alyppyo Gomes Coutinho Elder Fernandes de Oliveira Erick Odlanier do Nascimento Xavier Cortez Erico Mozart da Silva Campelo Felizardo Lima Fernandes Sousa DAlmeida Gustavo de Araujo Sabry Haroldo Watson Teodosio da Silva Igor Augusto de Carvalho Alves Ivan Soares de Medeiros Junior Jackson Douglas Vital dos Santos Jacyana Suassuna Nunes Jeferson Queiroga Pereira Jhonatas Xavier da Silva Santos Joao Teixeira de Carvalho Neto Jose Sueney de Lima Kaio Henrique Fonseca Dantas Luis Celso Dantas Silveira Cruz Marcelo Pereira Maia Micael Felipe dos Santos Natalia dos Santos Lucena Neta Osmar Vieira da Silva Otto Luis Pontes Soares de Araujo Pablo de Melo Nascimento Paulo Victor Oliveira do Egito Pedro Henrique Ribeiro F Peixoto Priscilla Victor Dantas Randell Schneider da Camara Bezerril Raul Joaquim Camara dos Santos Renato Simonetti Bullio Rivaldo Rodrigues Machado Junior Samuel Paulino de Melo Talis Lincoln Fonseca Barbalho Thiago Aires de Medeiros Thiago Oliveira de Araujo Tyago Tayrony Rodrigues da Silva Valber Cesar Cavalcanti Roza Victor Leonardo Cavalcante Melo da Silva Victor Pereira Ferreira Vielimir Silva Luz Wendell de Farias Cortez Como é óbvio, estão todos os colegas convidados doravante a modificar, consertar e melhorar qualquer um dos verbetes supra-mencionados diretamente na Wikipédia. * * * É isso. Fica aqui então mais uma vez a divulgação da idéia e a homenagem a todos os envolvidos. Espero que a iniciativa de alguma forma se reproduza em outras partes, para o benefício de todos! Saudações lógicas, João Marcos -- My homepages: http://www.dimap.ufrn.br/~jmarcos/ http://slc.math.ist.utl.pt/jmarcos.html _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Plágio na Academia

O que esperar de um profissional que compra o trabalho de conclusão de
curso para terminar a faculdade? No Rio Grande do Sul, o Jornal Hoje
investigou o comércio ilegal de monografias e descobriu até um
programa criado para farejar plágios.

Uma fraude contra o Ensino Superior aconteceu dentro do próprio campus
da Universidade Luterana do Brasil em Torres, no litoral gaúcho.
Decidimos simular a compra de um trabalho de conclusão de curso e
descobrimos quem presta o serviço ilegal é a bibliotecária da
universidade, Flávia Monte.

Procuramos a bibliotecária com o tema do trabalho e, depois de dois
encontros, ela deu o preço:

Repórter:Teu nome não vai aparecer?
Flávia: Não, nem conheço vocês.
Repórter: E fica mais ou menos em cima de R$ 800?
Flávia: É, eu tinha dito. Mais ou menos isso.
Repórter: Se tivesse que começar hoje fazer a monografia, tu levaria
quanto tempo?
Flávia: Em torno de dois meses, por aí.

Não há números sobre a quantidade de plágios flagrados nas
universidades gaúchas, mas a preocupação dos professores mostra que o
problema é grave. Maximiliano Pexxin dá aulas de informática em Santa
Cataria e criou o "Farejador de Plágio": o programa de computador
pesquisa na internet a origem dos trabalhos feitos por alunos.

"É muito comum que os acadêmicos copiem trechos de sites da Internet e
apresentem como seus", explica o professor. "O grande objetivo do
programa é automatizar o processo de detecção desse tipo de fraude",
explica o professor.

Fraude pela Internet
Páginas na Internet também oferecem monografias feitas sob encomenda.

Ligamos para o telefone indicado em uma delas:

Repórter: Pesquisando na Internet, não tem como descobrir que não fui
eu que fiz o trabalho?
Interlocutor: Não tem, cara, porque na verdade o trabalho em si é
feito individualmente. Cada trabalho é um trabalho, não se pega
trabalho de outro. Tu vai montando ele a partir da bibliografia, como
se fosse construindo do zero, não tem o que eles descobrirem. Eu faço
em torno de oito por semestre.

Para driblar os professores que orientam a elaboração dos trabalhos,
os golpistas ensinam: "Tu vai ter que ir levando parte pro teu
orientador e ele vai sugerindo modificações. Colocar trabalho pronto é
muito incerto", ensina outra fraudadora.

O universitário que copia um trabalho pronto ou paga para alguém fazer
no lugar dele pode perder o diploma e ser enquadrado por crime de
falsidade ideológica e violação do direito autoral. A pena pode chegar
a três anos de prisão. Quem presta o serviço pode responder por
co-autoria do crime.

Depois de ser informada sobre a fraude, a Universidade Luterana do
Brasil demitiu a bibliotecária por justa causa.

Fonte: http://jornalhoje.globo.com/JHoje/0,19125,VJS0-3076-20080630-324722,00.html