​

​

• Uma listagem com algumas soluções (em até 11 ambientes) de problemas do projeto Euler

• gerando_grafos_automaticamente.pdf (usando latex+tikz, python, graphviz e openoffice)

• Orientação a objetos em Python (obj.pdf)

• Exercícios de programação em Python (pytbt.pdf)

• Armazenamento de valores numéricos em computadores (maquina.pdf)

• Material sobre Python (pyt01.pdf)

• Uma apresentação do IBM 604 (vendido de 54 a 62) (ibm604.pdf)

• Material para uma disciplina semestral de Cálculo Numérico (calcnum.pdf)

• O mesmo problema de interpolação usando 4 técnicas diferentes (o_mesmo_problema... .pdf)

• Escrevendo aplicações Python com interface gráfica (GUI) (pigui01.pdf)

• Preparação (estudo) para concurso de matemática (seed1.pdf)

• Curso de matemática básica e não tão básica assim (mate.pdf)

• Demonstrando o Teorema de Pitágoras e a fórmula de Bhaskara (demos.pdf)

• Curso de cálculo (calcu.pdf)

• Um amplo estudo de cálculo (cuca1.pdf)

• Rascunho de uma publicação sobre KRITA (o estado da arte em edição de imagem) (krita1.pdf)

• Reconhecendo caracteres manuscritos (plataforma MNIST) (mnist.pdf)

• Um sistema em aprendizado profundo (usando keras) para separar gatos e cachorros (cagat.pdf)

• Desenhando fluxos em latex (fluxos.pdf)

• Diagramas de Nassi-Schneiderman em Python: fonte e resultado (gerador e gerador2.pdf)

• Uma elocubração da matriz inversa (matinv.pdf)

• Uma listagem completa dos códigos APL usados no pacote VIVO (vivoprgs.pdf)

• Um texto em português (meu) sobre o APL Dyalog (dya.pdf)

• Exercícios sobre if-else (if_else.pdf)

• Texto para um curso sobre imagens numéricas (ou digitais) (imanum.pdf)

• Transparências de um curso meu sobre Bitcoin (apresbc.pdf)

• Apresentação sobre 9 algoritmos que mudaram o mundo (apres1.pdf)

• Uma demonstração do Teorema da Incompletude de Gödel (goedel.pdf)

• Passo a passo para gerar arquivo BMP a partir do zero (em APL) (como_gerar_bmp.pdf)

• Artigo sumetido ao CONFOA 2021 (confoa2021)

• Questões de APLX: uma cartela e uma explicação da produção de desenhos (caraplx.pdf e usando_draw.pdf)

• Um belo livro de Álgebra Linear. Não vou por o link aqui, porque o traduzi sem autorização. Se quiser, me peça

• Livro de algoritmos do projeto Euler em conjunto com monitores da UFPR (Henrique Rieger - hlr19@inf.ufpr.br; Gabriel Henrique Oliveira de Mello - ghom19@inf.ufpr.br; João André Agustinho da Silva - jaads2003@gmail.com; João Vitor Vieira Flauzino- joao.flauzino@ufpr.br.

• Apresentações sobre Turing, exercício inicial (715) e enigma: versão 2021 e versão 2019

• Uma cartela com comandos de matriz (em APL, Python, Sympy, Maple, Harbour, C++ e J) (carmat2)

• Caderno de provas da UFPR com questões resolvidas (apren)

• Criando aplicativos relacionais em 24 horas sis24.

• Huffman programado em APL e em Python texhuf

• Uma proposta para a Escola do Futuro -- adolescentes estudando computação evolutiva, tensorflow, visão computacional, teorema de bayes, fractais, máquinas de Turing, demonstração automática de teoremas e ... muito
  mais (escfut1.pdf) serialização (escfut2.pdf)

• Programação genética: computadores construindo software na12_prog_genetica

• Processamento e análise de imagens na12_anal_imag

• Redes neurais artificiais: como o computador aprende na12_redes_neurais

• Um instantâneo da genialidade humana: a partida Imortal imortal algo sobre o esporte ic24_xadrez

• Busca inteligente: o algoritmo a-estrela na12_a_estrela

• Computador que fala e ouve: processamento fonético: texto_base_fonetico

• Tomografia computadorizada axial: quando um programador ganhou o Nobel de medicina texto_base_tomografia

• Alguns conceitos de bioinformática (computação + genética = bioinformática) bioinformat

• Um dos campeões da compressão: algoritmo Burrows-Wheeler bwt_by_kantek

• Algumas idéias para jogar truco computacional baralho_truco

• Backtracking: uma ferramenta e tanto na programação: backtracking

• Um texto meio simplório sobre complexidade computacional texto_base_comp

• Uma lista de programas Python funcionais todos

• Modernizando a aprendizagem da Rainha das Ciências (a matemática) rainha_das_ciencias

• Boas práticas de ensino. O uso do aplicativo GIZ de apoio ao professor.

• Uso dos Algoritmos Vivos em sala. Publicado nos cadernos de engenharia da UP v1 n1

• Um texto sobre virus de 1988 (virus)

• Texto de apoio à implementação de tarefas do ambiente Euler (xeuler)

• Livro de design de interação (dein).

• Cartela de Maple em impressão convencional (carmapl) ou impressão em frente e verso (carmapl2).

• Um texto de apoio à Matemática Discreta (madic) com 293 páginas.

• Computação Evolutiva Aplicada a Problemas Inversos com Preservação da Espacialidade na Representação dos Indivíduos. Tese de Doutorado em engenharia elétrica apresentada à Universidade Federal de Santa Catarina em abril de 2000.

• Downsizing de sistemas computacionais. Dissertação de mestrado apresentado ao CEFET/Pr em outubro de 1993.

• Um resumo de C, para impressão convencional (carlinc) e para impressão em frente e verso (carlinc2).

• International Conference on Education and Information Systems: Technologies and Applications (EISTA'03) Orlando, USA, July 31 to August 2, 2003 eista03.

• GECCO-99: Proceedings of the Genetic and Evolutionary Computation Conference, San Francisco, CA, Morgan Kaufmann, 1999. Pages 1580-1587. gecco.

• Inverse Problems in Engineering: Theory and Practice 3rd Int. Conference on Inverse Problems in Engineering June 13-18, 1999 Port Ludlow, WA, USA. icipe. 

• A inteligência artificial como ferramenta de tecnologia de informação e de comunicação na educação. Capítulo de livro publicado em 2006, pela Universidade Positivo. livropg.

• Freud e as redes neurais. (freud e redes neurais).

• Crônicas e causos (flagv2) (131 pags, versão de 26/11/08)

• 330 portais a serviço do Governo do Estado. A experiência do Paraná. (330 portais).

• Gerenciador de Workflow em software livre: O Expresso (gerenciador expresso).

• Manual do software GIZ. (manual do GIZ).

• Um livro de lnteligência artificial (livroia) (433pags, versão de 29/01/09).

• Um livro de tratamento de imagens (livroim) (115 pags, versão de 29/09/09).

• Um livro de algoritmos (livroal_n) (161 pags, versão de 23/01/09).

• Um livro de estruturas de dados e arquivos (livroed) (346 pags, versão de 13/02/10).

• Texto de apoio à Cerebração - ainda muito experimental - (cere01) 604 páginas, versão de 20/05/16.

• Uma receita para: maple, freemat, C, lisp, prolog, APL, clipper, VisualG (como_programar). 

• Texto de apoio à Cerebração 2: lista de exercícios (cere02), 12 páginas, versão de 01/06/16.