Qual é o Nome Deste Blog?

segunda-feira, 8 de agosto de 2016

Lista de Aplicações da Lógica na Computação

Às vezes os alunos que fazem a disciplina Lógica para Computação se perguntam "Por que estudar Lógica?". Uma possível resposta está aqui.

Também é importante destacar as inúmeras aplicações da Lógica na Computação. Algumas aplicações são bem importantes, outras menos. Uma lista incompleta vai abaixo.

SAT Solvers (ver também [1]) e SMT Solvers (ver também [2])
Especificação e Verificação Formal de Software (ver [3], p.10, e [4])
Prova Automatizada ou Semi-Automatizada de Teoremas, Raciocínio Automatizado
Representação de Conhecimento (Inteligência Artificial)
Ontologias, Web Semântica e Lógicas de Descrição
Lógica de Circuitos Eletrônicos (Lógica Booleana)
Paradigma Lógico de Programação (Prolog)
Bancos de Dados Dedutivos

Uma destas aplicações é tão importante que existem até competições para os melhores provadores baseados em SAT (SAT Solvers).

SAT Competition 2016

Raciocínio Automatizado

Leonardo de Moura

Algumas grandes empresas como Amazon, Meta e Microsoft empregam pesquisadores em raciocínio automatizado. Um deles é o brasileiro Leonardo de Moura (também conhecido como Leo de Moura). A Amazon Science tem uma área de pesquisa Automated Reasoning.

Eu entrevistei Leo em meu podcast:

e no Fronteiras da Engenharia de Software.

Linguagens de Programação

Toda linguagem de programação possui o tipo de dados booleano com dois valores: verdadeiro e falso.

Em Elixir, os nomes são true e false. Os conectivos são and, or e not. Você pode também usar &&, || e ! para trabalhar com valores truthy e falsy. Veja abaixo:

A linguagem C também trabalha com valores truthy e falsy. Por exemplo:

Fonte: http://mtm.ufsc.br/~azeredo/cursoC/aulas/c410.html

                int num;
                if (num!=0) ....
                if (num==0) ....
equivalem a

                int num;
                if (num) ....
                if (!num) ....

Lembrou de alguma outra? Comente abaixo.

quarta-feira, 3 de agosto de 2016

Lógica para Computação, segundo semestre de 2016

Mensagem aos alunos

Sejam bem-vindos! Começamos as aulas de Lógica para Computação no Câmpus Curitiba da UTFPR na segunda semana de agosto de 2016.

Professor e Turmas

Neste semestre, eu, Adolfo Neto, lecionarei duas turmas:

A turma de calouros de Engenharia de Computação (44 alunos)
A turma de segundo período de Sistemas de Informação (44 alunos)

A turma de calouros de Engenharia de Computação será a última turma com o formato antigo da disciplina, com 4 horas-aula por semana, divididas em duas encontros semanais (no caso, terças e quintas-feiras). A turma de Sistemas de Informação terá apenas um encontro semanal com 3 horas-aula. A partir do semestre que vem, tanto Engenharia de Computação quanto Sistemas de Informação adotarão o mesmo formato com um encontro semanal de 3 horas-aula.

Planejamento

Disponibilizo nesta planilha o planejamento de aulas. Ele está neste momento ainda incompleto e em permanente construção. Acessem-o regularmente para mais informações.

Planos de Ensino e Demais Materiais

Planos de ensino e materiais complementares estão na página do professor no site do DAINF, na seção Ensino/Disciplinas.

Redes Sociais

A disciplina está nas redes sociais:

Nestas páginas são divulgados alguns itens interessantes mas que em geral não são obrigatórios para a disciplina. Nada obrigatório estará apenas nestas páginas, ou seja, ninguém é obrigado a criar conta nestas redes. No caso do perfil no Twitter, a página é acessível sem que seja necessário criar conta no Twitter.

Contato

O contato com o professor da disciplina deve se dar por email, para uniformizar o atendimento.

Atendimento

A disciplina geralmente possui um monitor. A monitora é uma aluna que já foi aprovada na disciplina e que é responsável por ajudar os alunos atuais da disciplina. O monitor dispõe de horários de atendimento.

O professor também dispõe de horários de atendimento.

Em caso de dúvidas, você deve:

Expor sua dúvida ao professor no início da aula
Agendar um horário de atendimento com o professor por email
Procurar a monitora nos horários de atendimento deste

Os horários de atendimento do monitor e do professor serão informados nas primeiras semanas de aula.

Demais posts relacionados à disciplina serão postados aqui com os rótulos 2016-2 e logica. Link rápido: http://qeondb.blogspot.com.br/search/label/2016-2+logica

terça-feira, 29 de março de 2016

Encontro Scrum Curitiba na UFPR

Dia 01/04/2016 (sexta-feira), às 19h. Organizado pela professora Rafaela Fontana, da UFPR.

Link para inscrições: http://goo.gl/forms/dY20XD5SIo

O objetivo é reunir a comunidade interessada para discutir tópicos relacionados à agilidade. Neste encontro, a proposta é ter "open spaces" para discussão de: Scrum para times distribuídos, Escalando Scrum; Contratos em Scrum.

O evento é gratuito, apenas exige uma inscrição prévia pois o espaço é limitado.

Encontro Scrum Curitiba na UFPR.Dia 01/04, às 19h. Link para inscrições: http://goo.gl/forms/dY20XD5SIoO objetivo é...
Posted by Métodos Ágeis na UTFPR on Monday, March 28, 2016

segunda-feira, 28 de março de 2016

Brazilian Conference on Intelligent Systems (BRACIS) 2016

Está aberta a chamada de trabalhos para o BRACIS.

BRACIS is one of the most important events in Brazil for researchers in the field of Artificial and Computational intelligence. The domain of the conference includes traditional and original topics of both areas and it aims to promote theories and novel applications dealing with the use and analysis of AI/CI techniques in various related fields.

Detalhes para a submissão em http://www.cin.ufpe.br/~bracis2016/

Segundo a professora Myriam Delgado, daqui do DAINF-UTFPR, que está participando da organização como Program Chair, "o evento tem associado à chamada uma edição especial da revista NeuroComputing (Impact Factor 2.083). Os autores dos melhores trabalhos serão convidados a submeterem uma versão estendida do artigo publicado no congresso para esta edição".

Datas importantes:

Submission Deadline: May 15, 2016
Notification Due: Jun 30, 2016
Final Version Due: Jul 20, 2016

segunda-feira, 21 de março de 2016

Professor Distinto ou Professor Voluntário?

No Brasil, quando um funcionário público completa 70 anos é obrigado a se aposentar.

Muitos professores universitários amam o que fazem e mesmo após completar 70 anos (ou se aposentar de outra forma) querem continuar contribuindo para a universidade.

Isto aconteceu recentemente com um colega: Celso Kaestner (no caso dele não foi aposentadoria aos 70 anos, acho).

Que nome se dá ao professor que quer continuar trabalhando na universidade, mesmo sem receber? Em geral, Professor Voluntário.

Mas este nome não é bom. É péssimo, como bem colocou Walter Carnielli em email sobre o professor Putnam:

Belo, e inspirador, obituário de Putnam no Huffington Post, pela Martha Nussbaum, Distinguished Professor:

"A life in reason was and is difficult." http://www.huffingtonpost.com/martha-c-nussbaum/hilary-putnam-1926-2016_b_9457774.html

Aproveito para reclamar mais uma vez do absurdo que é ser professor aposentado na Unicamp. Enquanto este cargo em como Chicago, Stanford, Berkekey, Harvard, etc., e outros lugares os professores aposentados viram "Distinguished Professors", aqui eles viram "café com leite", voluntários como se fossem fazer serviço de caridade numa creche. Ridículo.

Hilary Putnam. Fonte: Wikipedia.

Melhor seria chamar de Professor Distinto (não está soando bem... você tem algum outra sugestão?).

Eu respondi:

Concordo.

Acho um desperdício de talento.

Em alguns casos deselegante. Meu tio-avô Plácido e Silva, ex-professor da UFPR, contou sua filha em biografia, ficou muito triste quando, na data da aposentadoria, o pediram para liberar sua mesa. Nenhuma homenagem foi feita a ele.

Uma dúvida. Acho que nem todo professor aposentado em universidades americanas se torna "Distinguished Professor". Só alguns. Estou certo?

Nos EUA conheci este Distinguished Professor da UNC: Oliver Smithies, 90 anos.

https://www.med.unc.edu/pathology/faculty/biosketch-of-dr-oliver-smithies

Oliver Smithies

Smithies recebe 227.625 dólares de aposentadoria http://www.newsobserver.com/news/databases/public-salaries/

sexta-feira, 11 de março de 2016

Argumentos Pró e Contra a Existência das Bolsas de Produtividade do CNPq

As Bolsas de Produtividade em Pesquisa do CNPq são fornecidas "aos pesquisadores que se destaquem entre seus pares, valorizando sua produção científica segundo critérios normativos, estabelecidos pelo CNPq, e específicos, pelos Comitês de Assessoramento (CAs) do CNPq."

Será que elas deveriam existir? Alguns são a favor, outros contra. Meu objetivo neste post é listar os argumentos a favor e contra e deixar o leitor decidir por si. Se você tem algum argumento adicional, comente abaixo!

Por ordem alfabética, começo com os argumentos contra:

Cria uma competição não saudável entre os pesquisadores brasileiros.
Privilegia os pesquisadores de grandes centros mantendo uma distribuição desigual.
Estimula os pesquisadores a produzir mais quantidade em vez de focar em qualidade.

Argumentos a favor:

Desburocratiza a liberação de recursos aos pesquisadores com histórico de boas publicações.
Estimula os pesquisadores a produzir mais.
Cria um incentivo adicional à pesquisa nas universidades.

Este post será atualizado à medida que eu ficar sabendo de novos argumentos pró e contra.

Os argumentos acima são meus.
Abaixo vou listar os argumentos que receber de outras pessoas.

Argumentos contra recebidos de outras pessoas (ver nos comentários críticas a estes argumentos):

Retira recursos de financiamento da pesquisa para colocá-los como salário extra para os pesquisadores. (Contribuição: Armando Neves)
Remunera duplamente a atividade de pesquisa de alguns poucos que conseguem a bolsa, sem remunerar os vários que, mesmo em quase igualdade de produção, não conseguem alcançar a bolsa. (Contribuição: Armando Neves)
Desvirtua o tripé ensino, pesquisa e extensão, supervalorizando uma das três atividades. Como existem também formas de remuneração para a extensão, o efeito prático é que o ensino, a mais fundamental das atividades das universidades, acaba desprestigiado. (Contribuição: Armando Neves).
Bolsas de Produtividade em Pesquisa não aferem a competência, o mérito, mas como seu nome diz, aferem tão somente a produtividade dos pesquisadores, produtividade esta avaliada tão somente em termos de publicações. (Contribuição: Otavio Carpinteiro)
Bolsas de produtividade são concedidas aos pesquisadores com maior produtividade, o que, em um país desigual, como o Brasil, significa serem concedidas aos pesquisadores com os maiores e melhores recursos. (Contribuição: Otavio Carpinteiro)
Bolsas produtividade são concedidas aos pesquisadores dos grandes centros de pesquisa, situados nas capitais e grandes municípios do país, que fazem uso dos grandes recursos humanos lá existentes e dos grandes recursos materiais criados há decadas por gerações passadas. (Contribuição: Otavio Carpinteiro)
Só bolsistas de produtividade de nível 1 podem eleger e ser eleitos para compor os Comitês Assessores do CNPq, que são os comitês que decidem para onde vai o dinheiro da pesquisa. O CNPq é regido, portanto, por um regime oligárquico, não democrático, onde os oligarcas, os pesquisadores 1, não são os mais competentes, os mais meritórios, mas tão somente, os mais produtivos por possuírem os maiores e melhores recursos. (Contribuição: Otavio Carpinteiro)
Pesquisadores fora das capitais e dos grandes municípios, que criam as condições de pesquisa em seus centros sem recursos e que, de fato, são os que desenvolvem o país, são forte e desonestamente prejudicados pelas políticas oligarquicas do CNPq (e também da CAPES e de outras agências de fomento estaduais), que se baseiam nas bolsas de produtividade. (Contribuição: Otavio Carpinteiro)

Argumentos a favor recebidos de outras pessoas:

Por enquanto nenhum.

segunda-feira, 7 de março de 2016

Capes aprova dois mestrados (um destes em Ciências do Movimento Humano) e um doutorado na UTFPR

Recebi pelo email institucional a seguinte notícia:

Capes aprova dois mestrados e um doutorado na UTFPR

Na 162a reunião do Conselho Técnico-Científico da Educação Superior (CTC-ES) da Capes, realizada entre os dias 22 e 26 de fevereiro, a UTFPR teve aprovados mais dois Programas de Pós-Graduação stricto sensu com cursos de Mestrado: Física e Astronomia e Ciências do Movimento Humano, ambos no câmpus Curitiba.

Além disso, foi aprovado o Doutorado em Engenharia Elétrica, curso ofertando em associação entre a Universidade Estadual de Londrina e a UTFPR, câmpus Cornélio Procópio.

Com isso, a UTFPR passa de 41 programas de Pós-graduação para 43 e de sete Doutorados para oito. Graças ao esforço de toda a comunidade da UTFPR, o sistema de pós-graduação da universidade tem conseguido conciliar a uma expansão constante, a consolidação dos programas já estabelecidos.

Link para o resultado. http://www.capes.gov.br/avaliacao/entrada-no-snpg-propostas/mestrado-e-ou-doutorado-academico/resultados