http://pessoal.dainf.ct.utfpr.edu.br/adolfo/ 2026-04-30T02:58:54+00:00 http://pessoal.dainf.ct.utfpr.edu.br/adolfo/ http://pessoal.dainf.ct.utfpr.edu.br/adolfo/lib/exe/fetch.php?media=logo.png text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:aplicacoes_de_logica_na_computacao&rev=1605786142&do=diff Aplicações de Lógica na Computação (RASCUNHO) Linguagens de Programação * Prolog * Erlang * Curry? Valores-verdade e expressões lógicas O que é considerado verdadeiro ou falso? * Thruthy values * Uso em condicionais (if, etc.) text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:aula_sobre_introducao_a_logica&rev=1605786142&do=diff Aula sobre Introdução a Lógica * Descrever proposição Exercício: Escrever proposições e não-proposições. * Descrever argumento * Descrever premissa * Descrever conclusão Exercício: Escrever argumentos (simples) * Descrever argumento complexo text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:aula_sobre_logica_classical_proposicional_-_sintaxe&rev=1605786142&do=diff Aula sobre Lógica Clássical Proposicional - Sintaxe Explicar como escrever fórmulas bem formadas: * Proposições (frases) como símbolos * Conjunto de átomos * Linguagem: conectivos e suas aridades * Regras (indutivas) de formação * text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:comandos_uteis_em_elixir&rev=1605786142&do=diff Comandos úteis em Elixir * iex * Abre o Elixir interativo * mix new <nome_do_projeto> * Precisa ser feito num terminal e nunca dentro do Elixir interativo! * Cria um projeto usando o mix * mix test * Testa um projeto (já criado) text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:concurrent_functional_programming&rev=1605786142&do=diff Concurrent Functional Programming Learn more here about the offer in 2018 (in Portuguese): <http://bit.ly/2P7XXYI> Workload: 45 hours (3 credits). Syllabus: Functional Programming: Concepts and Languages. The Actor Model. Functional Programming Languages aimed at the development of concurrent systems: Erlang, Elixir. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:concurrent_functional_programming_-_2018_edition&rev=1605786142&do=diff Concurrent Functional Programming - 2018 Edition * Instructor: Adolfo Neto Detailed Syllabus * Concurrent Functional Programming - 2018 Edition - Class Notes and Links The Actor Model Functional Programming Languages aimed at the development of concurrent systems: Erlang, Elixir Learning Resources * <https://elixir-lang.org/learning.html> Ideas text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:docentes_ppgca&rev=1605786142&do=diff Docentes PPGCA Professor Ativo No Documento de Área só definem Professor Ativo, não permanente ou colaborador <http://www.capes.gov.br/images/documentos/Documentos_de_area_2017/COMP_docarea_2016.pdf> “A área de Ciência da Computação utiliza o conceito de professor ativo (PA). Um professor ativo (PA) de um programa em um dado ano é definido como o professor permanente ou colaborador do programa que tenha atuado na pós-graduação realizando duas ou mais atividades naquele ano, entre:… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:elixir_and_erlang_organizations&rev=1605786142&do=diff Elixir and Erlang Organizations Elixir only Non-profit Erlang only Elixir and Erlang text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:elixir_and_erlang_podcasts&rev=1605786142&do=diff Elixir and Erlang Podcasts Page maintained by @adolfont. Send me a tweet if you find something new. Podcasts dedicated to Elixir * Blog post on Elixir podcasts * Status update: one of the podcasts seems to be discontinued. * Top 9 episodes of the Elixir Fountain podcast * Right now (September 13th, 2018), four podcasts are listed on Elixir Wiki * Elixir Talk * Elixir Outlaws * Elixir Mix * Elixir Fountain, which seems to be discontinued. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:elixir_coding_dojo_at_ftsl_2018&rev=1605786142&do=diff Elixir Coding Dojo at FTSL 2018 * When: October 24th, 2018, 2pm. * Where: UTFPR Curitiba, Room B-106. * As part of the Tenth Free Software Technology Forum (“X Fórum de Tecnologia em Software Livre” <http://ftsl.org.br/ftsl10/>). * Official link (in Portuguese): <http://ftsl.org.br/ftsl10/convidados/adolfogustavoserrasecaneto.html> * Sign up at text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:elixir_forum_survey_2018_results&rev=1605786142&do=diff Elixir Forum Survey 2018 Results This survey was conducted by Adolfo Neto, Fabio Negrini and Diego Paolo Tsutsumi from the Federal University of Technology - Paraná (UTFPR) in Brazil. We wanted to understand how software developers use the Elixir Forum. The respondents answered between text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:elixir_para_novatos&rev=1605786142&do=diff Elixir para Novatos Adolfo Neto 2019/03/27 09:14 Elixir é uma linguagem de programação. Vamos usar um editor online para que vocês não precisem, inicialmente, usar o Elixir no terminal do Linux ou numa janela do Windows. Hoje, o editor que será utilizado é o text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:empresas_de_tecnologia_em_curiitba&rev=1605786142&do=diff Empresas de Tecnologia em Curitiba Listo abaixo, em ordem alfabética, empresas de tecnologia que fazem um trabalho que considero interessante (sim, é subjetivo) e que têm sede ou filial importante em Curitiba ou na Região Metropolitana de Curitiba. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:equipes_do_trabalho_3_da_turma_s71&rev=1605786142&do=diff Esquipes do Trabalho 3 - Turma S71 - 2018.2 Equipes, Temas, Especialistas Nome Tema Especialista? 1 Artur Pessatto Pasa As maravilhas do RPG de Mesa Sim Gabriel Conte Colet As maravilhas do RPG de Mesa Sim Guilherme Liberio De Souza E Silva As maravilhas do RPG de Mesa Sim 2 Joao Felipe Raffs Espolador Astronomia Geral Sim 3 Ricardo Barbosa Farias Junior Biologia Celular Sim 4 Alessandra Fernandes Lacerda Doctor Who Sim Matheus Dos Santos Pedrozo De Lima Doctor Who Sim Pedro Ostroschi Be… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:equipes_do_trabalho_3_da_turma_s73&rev=1605786142&do=diff Esquipes do Trabalho 3 - Turma S73 - 2018.2 Equipes, Temas, Especialistas Nome Tema Especialista? 1 Guilherme Dalla Costa Novakovski A atuação da Patrulha Escolar em Curitiba Não Saulo Gregorio De Andrade Bergamo A atuação da Patrulha Escolar em Curitiba Sim Uecslei Da Silva Alves A atuação da Patrulha Escolar em Curitiba Não 2 Lucas Flavio Maia Schuchardt Aspectos históricos e culturais da cidade de Noxus do jogo League of Legends Sim Lucas Matheus Dos Santos Aspectos históricos e cultura… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:estatisticas&rev=1605786142&do=diff Estatísticas Graduação Turma Disciplina Semestre/Fase Aprovados Matriculados S73 CSD20 - Introdução À Lógica Para A Computação 2018.1 23 44 S71 CSD20 - Introdução À Lógica Para A Computação 2018.1 41 45 S73 CSE42 - Metodologias Ágeis Para O Desenvolvimento De Software text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:estudando_programas_exemplo_em_elixir&rev=1605786142&do=diff Estudando Programas Exemplo em Elixir Continuação de Elixir para Novatos Primeiro Programa Exemplo O programa exemplo que o Wandbox nos fornece é o seguinte: defmodule Wandbox do def hello() do IO.puts "Hello, Wandbox!" end end Wandbox.hello() text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:introducao_a_elixir&rev=1605786142&do=diff Introdução a Elixir Recursos auxiliares * Comandos úteis em Elixir * Elixir para novatos Cursos online * Elixir School em português Posts no Medium * Funções em Elixir * FizzBuzz em Elixir * Teaching Elixir at the Federal University of Technology — Parana * Resenha do livro Elixir: do zero á concorrência * Artefatos da Comunidade de Elixir: Podcasts e Boletins de Notícias * Outros posts Vídeos * Introduction to Elixir, Dave Thomas (2013) - Pode estar desatualizado. … text/html 2021-07-23T17:13:58+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:introducao_a_logica_para_computacao&rev=1627060438&do=diff Introdução a Lógica para Computação 2021.1 * Questionário sobre Semântica - Transposto para o Google Forms por Camila Miranda Marani 2020.1 * Plano de ensino: ver sistema acadêmico. * Links: <http://bit.ly/LogicaNotas> * Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:log_associado_iii&rev=1605786142&do=diff Log Associado III e Avaliação 2020 * Membro do Comitê de Programa da Trilha de Ferramentas do SBES 2020 <http://cbsoft2020.imd.ufrn.br/sbes-ferramentas.php> * Membro do Comitê de Programa do WTDSoft 2020 - X Workshop de Teses e Dissertações <http://cbsoft2020.imd.ufrn.br/wtdsoft.php> * Emissão de Certificado Digital - Utilização da plataforma Google Classromm text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:materiais_sobre_logica_do_professor_jair_donadelli_ufabc&rev=1605786142&do=diff Materiais sobre Lógica do Professor Jair Donadelli (UFABC) * <http://professor.ufabc.edu.br/~jair.donadelli/logica/> * <https://anotacoesdeaula.wordpress.com/category/logica/> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:metodologia_da_pesquisa&rev=1605786142&do=diff Metodologia da Pesquisa * * Todos vêem os trabalhos de todos. Nas apresentações, focar apenas no novo e no que foi modificado. Avaliação * Apenas Mapeamento Sistemático * Conversaremos sobre outros tipos de revisão, mas terão que fazer Mapeamento seguindo as orientações do livro da Katia Felizardo. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:metodos_ageis_para_o_desenvolvimento_de_software&rev=1605786142&do=diff Metodologias Ágeis para Desenvolvimento de Software 2018 Aulas * 06 - Introdução à disciplina e a Métodos Ágeis. * 13 - Aula começará às 13h. Ler capítulos 1 a 3 do livro principal. Ideia de tarefa: artigo para WBMA (alunos + professor). text/html 2022-03-01T15:13:59+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:oferecimentos_anteriores_de_disciplinas_de_metodos_ageis&rev=1646147639&do=diff Oferecimentos de Disciplinas de Métodos Ágeis * Metodologias Ágeis para o Desenvolvimento de Software 2022 * Metodologias Ágeis para o Desenvolvimento de Software 2021 * Metodologias Ágeis para o Desenvolvimento de Software 2020 * Metodologias Ágeis para o Desenvolvimento de Software 2019 * Métodos Ágeis para Dispositivos Móveis 2019 * Metodologias Ágeis para Desenvolvimento de Software 2018 * Moodle * Metodologias Ágeis para o Desenvolvimento de Software 2017 (Graduação e M… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:perguntas_sobre_scrum&rev=1605786142&do=diff Perguntas sobre Scrum Scrum é um método ou um framework? Que diferença isso faz? Quais são os papeis em Scrum? Quais são os eventos em Scrum? Quantas pessoas uma equipe pode ter? Quais são os valores por trás do Scrum? Qual é o documento oficial sobre Scrum? text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:tarefas_ppgca_2018&rev=1605786142&do=diff Tarefas PPGCA 2018--19 * [servidores-ct] DATAS LIMITE EXECUÇÃO ORÇAMENTÁRIA - IMPORTANTE! * Deixar claro diferença entre Estudo Individual e Crédito de Publicação * Atualizar documento Seminários. Apenas um e que será Qualificação, valendo como banca para os professores que participarem. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:tax_evasion_datathon&rev=1605786142&do=diff Short Datathon This is a research project whose goal is to evaluate if participating in a Short Datathon can help participants learn basic Data Analysis concepts. The main researcher is Myrian Raquel Noguera Salinas M.Sc., advised by Adolfo Gustavo Serra Seca Neto and Maria Claudia Emer. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:tax_havens&rev=1605786142&do=diff Links on Tax Havens and related subjects * Contributors: Adolfo Neto, Myrian Noguera Panama Papers * <https://github.com/santo-it/panama-papers-orientdb> * <https://www.dropbox.com/s/fmt9hjsxvulqxal/panama_papers.zip> * <https://github.com/safferli/mission_economy_hackathon2016> * <https://github.com/dgrtwo/rpanama> * <https://offshoreleaks.icij.org/pages/database> Research papers * Tax Evasion and Inequality * The Missing Profits of Nations Books * Treasure Islands: Ta… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:tdd_longo_prazo&rev=1605786142&do=diff TDD Longo Prazo Como avaliar os efeitos de longo prazo de TDD? Possíveis benefícios de TDD no longo prazo: * mais testes * mais qualidade interna e externa de código text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:the_elixir_programming_language_and_its_community&rev=1605786142&do=diff The Elixir Programming Language and its Community * Speaker: Adolfo Neto (UTFPR) * Host: Roberto Pereira (UFPR) This talk has happened at the Federal University of Paraná (UFPR) on September 18th, 2018 as part of their Graduate Seminars. Slides 1: text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:trilha_de_engenharia_de_software&rev=1605786142&do=diff Trilha de Engenharia de Software Esta página trata do estado (em 2018) da Trilha de Engenharia de Software nos cursos de Engenharia de Computação e Sistemas de Informação da UTFPR Curitiba. Descrição FIXME Motivação FIXME Disciplinas text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:videos_that_i_may_watch_someday&rev=1605786142&do=diff Videos that I may watch someday * Research seminar on analysing open source software ecosystems * Gender and GitHub * See <https://secoassist.github.io/seminar> * EMPEX LA 2019 - Five Easy Ways To Start With Nerves - Michael Ries * A Distinguished Lecture: Prof.Mark Harman The Joys and Frustration of Software * Deep Learning Needs Clojure - Carin Meier