List All Pages
Adolfo Neto
Assistant Professor
Informatics Department (DAINF)
Federal University of Technology - Paraná (UTFPR)
PhD. in Computer Science (USP - 2007)
Curriculum Vitae...
Alice in the News
Learning to Program with Alice (book)
Páginas/Referências em português sobre/ao Alice
Ensine a programar brincando, Thomas Alexander Semple
Ferramentas que auxiliam o ensino...
1. Java (Site da linguagem Java)
1.1 Eclipse (o meu preferido)
1.2 Netbeans (dizem que é muito bom também)
1.3 Dr.Java (básico e bom para quem está começando)
Guia para instalação do Java...
Links
http://www.asacalcpro.com.br/
http://www.asacalcpro.com.br/Downloads/Install_ASA-CalcPro.exe
http://www.asacalcpro.com.br/Downloads/So_fontes_ASA-CalcPro.exe
Old...
Em Programação em Lógica:
Paraconsistent logic programming, de H. A. Blair e V. S. Subrahmanian
A paraconsistent logic programming approach for querying inconsistent databases
Em...
Artigos na na Stanford Encyclopedia of Philosophy (SEP)
Logic and Artificial Intelligence
Computability and Complexity
Inconsistent Mathematics
Science and Pseudo-Science
Artigos na...
Clique abaixo em (no canto inferior direito do slide "Introdução à Informática") para ver em tela cheia.
Aula 1
Links
O DESAFIO DE AVALIAR BEM NO ENSINO SUPERIOR, HERBERT GONÇALVES ESPUNY
Obtendo informações sobre tipos de parto no DATASUS
Maceió - minha cidade natal
Recife - cidade em que fiz o mestrado
Campinas - cidade em que morei durante o doutorado
São Paulo - cidade onde fiz o doutorado (ia e voltava no mesmo dia)
Ribeirão...
Maratona de Programação
Olimpíada Brasileira de Informática
Objetivos:
Habilitar os alunos ao conhecimento da Informática e sua utilização com uma linguagem orientada para o uso científico na solução de problemas, com um enfoque em Algoritmos e...
Objetivos:
Ao final do curso o aluno será capaz de utilizar a programação utilizando os conteúdos apresentados como ferramenta de apoio fundamental nos cursos de Engenharia.
Ementa:
Variáveis...
Turma S24 - Computação 2 - Página da disciplina no sistema de EAD (Moodle) do DAINF
Address:
Universidade Tecnológica Federal do Paraná
Departamento de Informática
Av. Sete de Setembro, 3165, Rebouças
Curitiba-PR Brasil
CEP 80230-901
DAINF Phone: 3310-4644 / DAINF Fax:...
Estufa do Jardim Botânico
Familiares em Curitiba
Minha avó paterna (Dulce Plácido Neto) era sobrinha e afilhada de Oscar Joseph de Plácido e Silva, um dos fundadores da Gazeta do Povo. Minha...
ConsRel - Logical Consequence and Combinations of Logics
FAPESP Project Number: 2004/14107-2. Institution: Centro de Lógica, Epistemologia e História da Ciência - Unicamp. Area: 07010000 -...
What am I doing this semester?
Teaching
Logic for Computer Science, for Computer Engineering (S71) - 4 hours a week
Logic for Computer Science, for Information Systems (S73) - 4 hours a...
Links
Hybrid Logic na SEP
Tese "Logic Engineering. The Case of Description and Hybrid Logics"
Torben Braüner, Ph.D.
Hybrid Logics' home page
OPTIMISING TABLEAUX DECISION PROCEDURES FOR...
Gato - setembro de 2008
Programação Orientada a Aspectos
AspectJ
Spring com AspectJ
Empresas que usam AOSD no Paraná/Brasil
JBOSS AOP?
Padrões de projeto para AOP?
Bibliografia básica para AOSD
Alguns...
Tutorials
Recommended TDD Tutorials
JUnit
JUnit 4 em 60 segundos
JUnit 4 you
Suítes de testes no JUnit 4
Criando Testes de Unidades com o Junit 4 usando anotações
JUnit Cookbook
Temas
Estratégias de Ensinagem
Avaliação
Bibliografia
GIL, ANTONIO CARLOS. Didática do ensino superior. 1.ed. 2. reimpr. São Paulo: Atlas, 2007.
ANASTASIOU, L. G. C.; ALVES, L. P. (orgs.)....
UTFPR
Disciplinas no semestre 2009.1
Disciplinas no semestre 2008.2
UDESC
Disciplinas no semestre 2008.1
Computação 1 (IF61A)
Computação 2 (IF62A)
Informática I (IF01A)
Teoria da Computação
Compiladores
Lógica e Programação em Lógica
Lógica para Computação
Computação 2
Matemática Discreta - S71 - 2009.2
Lógica para Computação - S71 - 2009.2
Lógica para Computação - S73 - 2009.2
Disciplinas em semestres anteriores
Humor
PhD. Comic Strip
UTFPR na Desciclopédia
José Simão
CQC
Monty Python
Futebol dos Filósofos
Frases
Vídeos
Randy Pausch Last Lecture: Achieving Your Childhood Dreams
Resumo da última...
Região Centro-Oeste
Em Brasília-DF
SEA
Região Nordeste
Em Fortaleza-CE
Fortes Informática (com diversas filiais)
Região Sudeste
Em São Paulo-SP
Objective Solutions
Paggo
Caelum (com...
Disciplinas
Didática
Competições de programação
Tutores
Utilidades
Estratégias de trabalho docente (ANASTASIOU e ALVES, 2007, pp. 86-106):
Aula expositiva dialogada
Estudo de texto
Portfólio
Tempestade cerebral
Mapa conceitual
Estudo dirigido
Lista de...
Listas de Exercício
Lista de exercício (Grupo A - Exercícios Básicos) do professor Paulo Roberto Bueno
Lista de exercício (Grupo B - Estruturas de Repetição) do professor Paulo Roberto...
Problemas da Olimpíada Brasileira de Informática
Alguns ex-professores da UTFPR:
Décio Krause
Newton da Costa
Consultoria
Metodologias Ágeis de Desenvolvimento de Software
Desenvolvimento de Software Orientado a Aspectos
rb.ude.rpftu|ofloda#otatnoc me rartne arap iuqa euqilC
Idéias para ExpoUT...
Doutor em Ciência da Computação (veja a tese aqui)
Departamento de Ciência da Computação
Instituto de Matemática e Estatística
Universidade de São Paulo, São Paulo-SP
Janeiro de...
[Pablo Madril] "A adoção de padrões abertos e o uso de software livre nos permite ingressar no primeiro mundo pela porta da frente e de cabeça erguida, e não pela porta dos fundos como...
If you are allowed to edit pages in this Site, simply click on edit button at the bottom of the page. This will open an editor.
To create a link to a new page, use syntax: [[[new page name]]] or...
Objetivos:
Ao final do curso o aluno será capaz de usar os recursos mais importantes dos principais tipos de programas para escritório: editores de texto, planilhas eletrônicas e programas para...
under construction
The idea
To be able to represent:
logical formulas
logical connectives
logical systems
Using:
design patterns
java collections
Objectives
To be able to create a formula...
Please change this page according to your policy (configure first using Site Manager) and remove this note.
Who can join?
You can write here who can become a member of this site.
Join!
So you...
Description
KEMS is a KE-based Multi-Strategy theorem prover. The KE system, a tableau method developed by Marco Mondadori and Marcello D'Agostino [1], was presented as an improvement, in the...
O que é?
Ver o que é uma Liga Acadêmica em Ligas Acadêmicas.
Sem fins lucrativos
Possui estatuto
Integrantes recebem certificado condicionado a presença e desenvolvimento de atividades
Há...
O que é uma liga acadêmica?
Respostas encontradas na Web:
UNIFESP
O que é uma Liga Acadêmica?
Uma Liga Acadêmica é formada por um grupo de alunos com um interesse comum, que se reúnem...
Squeak
Ambientes de Ensino
Ferramentas que auxiliam o ensino de algoritmos
Oferecimentos anteriores:
Prof. Robson (2005.2)
Prof. Etéocles
Profa. Myriam
Oferecimentos passados da disciplina
Prof. Ricardo Lüders (2008.1)
Prof. Merkle (2002)
Prof. Robson (2003)
Prof. Diogo
Prof. Fabro (2008.2)
Oferecimentos anteriores da disciplina Informática 1
Prof. João Fabro - 2008.1
Prof. Roberto Teixeira Alves
UDESC - Fui professor efetivo.
CEFET-SP (atual IFET-SP) Sertãozinho - Fui professor efetivo de informática.
USP - Aqui fui aluno (bolsista) de Doutorado e também asistente de ensino (programa...
Descrição da disciplina na página da UDESC
Carga horária (teórica): 30
Carga horária (prática): 30
Objetivo
Ao final do curso o aluno deverá ser capaz de:
utilizar os conceitos básicos de...
Turmas S71 (Engenharia de Computação) e S73 (Bacharelado em Sistemas de Informação) - Moodle DAINF
Vídeo (formato AVI) mostrando como entrar no Moodle
Lógicas paraconsistentes
Aplicações de Lógicas Paraconsistentes
Praia de Pajuçara
Documentos
Como Abordar um Problema de Programação, Vinícius José Fortuna
Maratona de Programação no Wiki do DAINF
Apostilas
Linguagem C
Linguagem C - vol. 1 - Prof. Marco Antonio Garcia de Carvalho - CESET-Unicamp
Linguagem C - vol. 2 - Prof. Marco Antonio Garcia de Carvalho - CESET-Unicamp
A Linguagem C -...
Aulas
Aulas do curso
Apostilas
Apostilas no site do BrOffice
Apresentações
Slides introduzindo o OpenOffice, de Mauricio Stasiak Orloski. Obtido em...
Slides:
Slides sobre KE Tableaux. Autor: Ulle Endriss. Evento: CS3AUR: Automated Reasoning 2002.
Software:
WinKE: A Proof Assistant for Teaching Logic
(EM CONSTRUÇÃO)
Minhas apresentações
Métodos ágeis para Iniciantes (PDF)
Métodos ágeis para Iniciantes (HTML)
Engenharia de Computação - UTFPR - "Oficinas de Integração 1" -...
No CEFET-AL: Uma das minhas primeiras páginas na internet: professor Adolfo Neto - CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE ALAGOAS capturada pelo Internet Archive
Na USP:
Em 05/12/2003:...
Sou a favor de:
Parto humanizado
Metodologias Ágeis
Slow food
Slow Science
Medicina Antroposófica
Sou contra:
Computadores na educação de crianças e jovens
Cesarianas desnecessárias
Vá até o site do DATASUS.
Clique em Informações de Saúde (lado esquerdo da tela, em cima do mapa do Brasil]
Clique em Estatísticas Vitais - Mortalidade e Nascidos Vivos
Selecione *Nascidos...
Welcome page
Horário 2008.2
What is a Wiki Site?
How to edit pages?
How to join this site?
Site members
Recent changes
List all pages
Page Tags
Site Manager
Page tags
Add a new...
If this is your first site
Then there are some things you need to know:
You can configure all security and other settings online, using the Site Manager. When you invite other people to help build...
Estudar para que se eu já sei o que fazer
Linguagens de Programação
Conheça os objetos Mock
Gerenciamento de Tempo
Time Management, Randy Pausch (slides)
Time Management for New Faculty,...
Adolfo Neto
Professor Adjunto
Departamento Acadêmico de Informática (DAINF)
Universidade Tecnológica Federal do Paraná (UTFPR)
Formação Acadêmica
Curriculum Vitae...
Minha dissertação de mestrado no Banco de Teses da CAPES
Minha tese de doutorado no Banco de Teses da CAPES
Sistema de Informações sobre Nascidos Vivos (SINASC) - Perfil de Nascidos Vivos - Curitiba - 2005
Ver p.9 - Nascidos Vivos segundo o tipo de parto - Curitiba 1995 a 2005
Clicar em "Perfil dos...
Áreas de interesse
Provadores automáticos de teoremas
Inteligência computacional
Metodologias Ágeis
Desenvolvimento de software orientado a aspectos
Description Logics
Participação em...
Cidades
Locais onde trabalhei
Igreja Cristã Maranata
Desenhos
Minhas páginas na Internet
Páginas relacionadas a mim
Meus computadores
Ringo R-470 (meu primeiro...
ANASTASIOU, L. G. C.; ALVES, L. P. (orgs.). Processos de ensinagem na universidade: pressupostos para as estratégias de trabalho em aula. 7. ed. Joinville: UNIVILLE, 2007.
Links
Impressões...
A Dra. Laurie Williams, autora do livro Pair Programming Illuminated, elaborou um vídeo onde ensina como fazer programação pareada: the Pair Programming Video.
Folha de instruções sobre como...
Programas que uso e recomendo
Fedora 11
Moneylog Experience
Kile
Eclipse
Opera
gedit
Firefox
Skype
MPlayer
OpenOffice
Gnumeric
Codeblocks
Adobe Reader
Okular
GIMP
Programas que estou...
WinKE
Tarkski's World
Páginas diversas
Tools for Teaching Logic conference
Logic programs and teaching aids, theorem provers and languages.
The Openproof Project
TEACHING LOGIC AND REASONING IN...
Resolvedores SAT
Lógicas Não-Clássicas
A list of Adolfo Neto's publications with links to full text of papers
An up-to-date list of Adolfo Neto's publications (Lattes curriculum)
Automated Theorem Proving
Logic for Computer Science
Agile Software Development
Information Retrieval
Página do zChaff
SAT Solving : A Mini Course
Adolfo Neto is currently an assistant professor at the Informatics Department of the Federal University of Technology - Paraná (UTFPR), Brazil. He was formerly with the Federal Center for...
English
Welcome Page
Short Biography
My Lattes CV
Publications
Português
Página Inicial
Horário 2009.2
Ensino
Currículo Lattes
Pesquisa
Extensão
Blog
Twitter
Pessoal
Diversão
Wiki
Recent...
Members:
Moderators
Admins
indentcode.net
Source Code Formatter, Painter, and Validation
http://www.prettyprinter.de/
http://www.jindent.com/ (commercial)
http://www.polystyle.com/...
Estou disponível para orientar TCCs nas seguintes áreas:
Metodologias ágeis de desenvolvimento de software
Programação orientada a Aspectos
Implementação de provadores de teoremas
Descrição da disciplina na página da UDESC
Carga horária (teórica): 30
Carga horária (prática): 30
Objetivo
Ao final do curso, o aluno deverá ser capaz de:
descrever os principais modelos...
This is the link to the agile manifesto: http://agilemanifesto.org/
Manifesto for Agile Software Development
We are uncovering better ways of developing
software by doing it and helping others do...
contact
O que são tutores?
Ver http://www.fm.usp.br/tutores/ e http://www.fm.usp.br/tutores/progtut.php
What is a University of Technology?
In Wikipedia the term University of Technology is redirected to Institute of Technology.
The definition of a Institute of Technology there is
Institute of...
UTFPR (Universidade Tecnológica Federal do Paraná) is the Federal University of Technology, Paraná.
This is the original logo, where you can hardly see the "T" and "F" letters :
This one is the...
Latex
Curso de Latex via Exemplos
Exemplos (poster, slides) e modelos (TCC) em LyX e LaTeX
Google (Docs, Groups, Gmail, etc.)
Como criar uma conta no Google
A Broader Definition of Merit: The Trouble With College Entry Exams
"The obsession with admissions tests is damaging education"
According to Wikipedia, the world largest wiki site:
A Wiki ([ˈwiː.kiː] <wee-kee> or [ˈwɪ.kiː] <wick-ey>) is a type of website that allows users to add, remove, or otherwise edit...
Inglês versus português
Fábio Kon's writing tips
