Desde 2005, através de uma iniciativa do professor Ruy de Queiroz, alunos do Centro de Informática (CIn) da UFPE passaram a realizar contribuições a diversos conteúdos disponíveis na Wikipédia. Ao final de cada semestre, o professor disponibiliza uma lista com todos os verbetes do site cujo conteúdo tem contribuição dos estudantes do Centro.
Neste semestre, os alunos contribuíram para um total de 94 verbetes da Wikipédia. Como traduções, as contribuições estão espalhadas pelos temas: Lógica, Teoria da Computação e Criptografia. Já como contribuições inéditas, estão os temas “Internet, Empreendedorismo e o Vale do Silício” e “Tecnologia e Convivência”.
Seguem os links dos verbetes:
Traduções:
Lógica
Teoria da Computação
Problema da altura da estrela
Protocolo de Arthur-Merlin
Redução PTAS
Autômato Celular de von Neumann
Hierarquia analítica
Operações de cadeias
Teorema de Krohn-Rhodes
Lógica Sequencial
Lógica de Árvore de Computação
Gramática de árvore regular
Máquina de registradores
Linguagem Indexada
Árvore (teoria dos conjuntos)
Lógica polissortida
Ciência da computação teórica
Gramática Linear
Teorema da Enumeracao de Chomsky – Schützenberger
Forma normal de Kuroda
Redução por tabela verdade
Teoria algorítmica da informação
Protocolo de Arthur-Merlin
Redução PTAS
Autômato Celular de von Neumann
Hierarquia analítica
Operações de cadeias
Teorema de Krohn-Rhodes
Lógica Sequencial
Lógica de Árvore de Computação
Gramática de árvore regular
Máquina de registradores
Linguagem Indexada
Árvore (teoria dos conjuntos)
Lógica polissortida
Ciência da computação teórica
Gramática Linear
Teorema da Enumeracao de Chomsky – Schützenberger
Forma normal de Kuroda
Redução por tabela verdade
Teoria algorítmica da informação
Máquina de Post
David Hilbert
Complexidade de circuitos
Vizinhança de Von Neumann
Grade Cartesiana
Vizinhança de Moore
Teoria da aprendizagem computacional
Dimensão VC
Infinidade digital
Argumento de diagonalização de Cantor
Problemas de Hilbert
Gramática de concatenação de intervalo
Gramática Moderadamente Sensível ao Contexto
Sequência algoritmicamente aleatória
Gramática de estrutura frasal
Complexidade computacional de operações matemáticas
Teste X-Máquina
Bissimulação
Teorema Finito de Ramsey
Complexidade de Comunicação
Máquina X
Interpretação de Brouwer–Heyting–Kolmogorov
Arend Heyting
Gramática categorial combinatória
Conectividade de Pixel
Grafo de Moore
Operador µ
Complexidade de pior caso
Complexidade de caso médio
David Hilbert
Complexidade de circuitos
Vizinhança de Von Neumann
Grade Cartesiana
Vizinhança de Moore
Teoria da aprendizagem computacional
Dimensão VC
Infinidade digital
Argumento de diagonalização de Cantor
Problemas de Hilbert
Gramática de concatenação de intervalo
Gramática Moderadamente Sensível ao Contexto
Sequência algoritmicamente aleatória
Gramática de estrutura frasal
Complexidade computacional de operações matemáticas
Teste X-Máquina
Bissimulação
Teorema Finito de Ramsey
Complexidade de Comunicação
Máquina X
Interpretação de Brouwer–Heyting–Kolmogorov
Arend Heyting
Gramática categorial combinatória
Conectividade de Pixel
Grafo de Moore
Operador µ
Complexidade de pior caso
Complexidade de caso médio
Criptografia
Inéditos:
Internet, Empreendedorismo e o Vale do Silício
Tecnologia e Convivência
Comentários desativados