User Tools

Site Tools


2018:aplicacoes_de_logica_na_computacao

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.)
  • Foi C quem começou?
  • Como é em:
    • Elixir
    • Ruby
    • Java
    • Python

Exemplo de código

if x then do <something> else do <something_else> end

Questões

  • x precisa retornar um valor-verdade?
    • Se não precisa, o que faz fazer <something> ou <something_else>?
  • E se x tiver conectivos lógicos? Como é a avaliação?
  • E se x tiver efeitos colaterais, o que acontece com e's e ou's?
  • Por que implicação não é usada?
2018/aplicacoes_de_logica_na_computacao.txt · Last modified: 2020/11/19 08:42 (external edit)