quinta-feira, 11 de agosto de 2016

Argumento de Carmen Lúcia

Carmen Lúcia foi eleita presidente do STF e disse que quer ser chamada de "presidente".

Até aí tudo bem.

O que me preocupou foi a informação passada no tweet abaixo:

Vamos construir um argumento a partir do que eu entendi (posso estar errado). Vou usar as siglas CL para representar Carmen Lúcia, LP para representar Língua Portuguesa. E vou usar o símbolo "∴" para indicar conclusões. As demais frases são premissas. Supus os trechos em itálico a partir do tweet

O argumento então seria:

1. CL é presidente do STF.
2. CL quer ser chamada de "presidente¨ .
3. CL é estudante da LP.
4. CL é amante da LP.
5. ∴ CL conhece as regras da LP.
6. De acordo com as regras da LP, as mesmas regras que valem para as palavras "estudante" e "amante", valem para a palavra "presidente".
7. ∴ CL acha que o correto é presidente e que "presidenta" é errado.


As premissas (1) e (2) são verdadeiras. Na verdade (1) será verdadeira a partir de 12 de setembro de 2016 até 2018. Mas vamos considerar que estamos em 13 de setembro de 2016.

Se (1) é verdadeiro, CL tem todo o direito de (2), isto é, de querer ser chamada de "presidente". Vamos supor que (3) e (4) sejam verdade também. Mas não dá para concordar que a partir de (3) e (4) se conclua (5). Uma pessoa pode estudar e amar um assunto e ainda assim não conhecê-lo. É o que parece acontecer aqui.

Vários especialistas da Língua Portuguesa já se posicionaram dizendo que as formas "presidente" e "presidenta" são igualmente válidas. Encontra-se a palavra "presidenta" em vários textos do passado e até em dicionários do século XX.

Logo, a conclusão (5) é falsa. A premissa (6) também é falsa e nem depende de (5). E a conclusão é falsa também, principalmente pelo que se lê neste link.

Mas nem é isto que me preocupa.

O que me preocupa é que a ministra aparentemente usou argumentos de um texto falsamente atribuído a uma professora da UFPR para construir seu argumento. Claro que isto é minha suposição. Ela pode ter se enganado por conta própria.

Outros textos sobre o tema são este e este.

Só podemos aceitar as conclusões de um argumento se aceitarmos suas premissas. No caso de Carmen Lúcia, como algumas de suas premissas são falsas, a sua conclusão implícita de que "o termo "presidenta" é errado" é falsa.

Mas o mais importante é que ela deve ser chamada da forma que quiser. Não vamos fazer como certos órgãos da imprensa brasileira que chamavam Dilma de "presidente" provavelmente apenas por ele ter expresso que queria ser chamada de "presidenta".





segunda-feira, 8 de agosto de 2016

Verbetes novos na Wikipédia

O professor Ruy de Queiroz (que foi meu orientador de mestrado na UFPE) faz um excelente trabalho de solicitar a seus alunos que editem/traduzam verbetes da Wikipédia. Abaixo a mensagem que acabo de receber dele.


Verbete Substituição


Segue uma relação de verbetes da Wikipédia para os quais contribuíram alguns alunos do CIn-UFPE em 2016.1:

Traduções:

Lógica

Inéditos:

Bitcoin e Criptomoedas


Tecnologia e Sociedade

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:


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) ....

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