Aula 01

Lógica para Computação
Profa. Dra. Viviane Menezes
Universidade Federal do Ceará
vivianemenezes@ufc.br
13 de março de 2016
Introdução
Eu
&
Introdução
Lógica, Inteligência Artificial, Métodos Formais.

Introdução
O que é lógica?
INTRODUÇÃO
Introdução
O que é “não ter lógica”?

Introdução
O que é “não ter lógica”?

O que é lógica?
O que é lógica?
Introdução
TRIVIA
Introdução
TRIVIA
GRAMÁTICA, RETÓRICA E LÓGICA
O que é lógica?
“Pelo contrário, continua Tweedledee, se fosse assim, poderia ser

assim; e se tivesse sido assim, teria sido assim: mas dado que
não é, não é. É a lógica.”
Alice através do espelho, Lewis Carroll
Introdução
Conjunto de regras para raciocı́nio e argumentação.

Lógica
I 1. A habilidade de determinar respostas corretas por meio de
um processo padronizado.
Introdução

Lógica
I 2. O estudo formal da inferência
Introdução

Lógica
I 3. Raciocı́nio, como oposição à intuição.
Introdução

Lógica
I 3. Raciocı́nio, como oposição à intuição.
Como distinguir o que é verdadeiro do que é falso?

Lógica Simbólica (500 a.C. - Séc. 19)
La Scuola di Atene, de Raffaello.

Todo homem é mortal.

Sócrates é um homem.
Então, Sócrates é mortal.
I Por que os sı́mbolos são importantes?


I A linguagem natural é ambı́gua!

I Paradoxos

I Paradoxos
I Paradoxo do mentiroso: Esta frase é uma mentira!!!
Lógica Algébrica (Séc. 19, 2a metade)
George Boole (1815-1864)

Lógica Algébrica (Séc. 19, 2a metade)
Lógica Matemática (Séc. 19 - Séc. 20 )
I Usando a lógica, concluiu

que existiam diversos “tipos
de infinitos”.
I Usando a lógica, concluiu I Noção de um tratamento

que existiam diversos “tipos computacional de fórmulas
de infinitos”. lógicas.
I Paradoxos na teoria dos

conjuntos (paradoxo de
Russel).
I Paradoxos na teoria dos I Teoremas da incompletude:

conjuntos (paradoxo de qualquer sistema formal
Russel). consistente é incompleto.
Existem problemas que nenhum algoritmo pode resolver!

Quarta Era da Lógica: Lógica em Computação
I Circuitos Lógicos.
I Problemas Difı́ceis: NP-Completos.

I Linguagens de Programação.
I Semânticas de Programas.
I Verificação e Validação Formal de Projeto de Sistemas.

I IA: Representação do conhecimento e Planejamento.

I Segurança em redes: proof-carrying codes.

Inteligência
Validação e Artificial Segurança
Verificação
Problemas
Difı́ceis
Linguagens de Semântica de
Programação Programas
Circuitos Lógicos
Hardware
A DISCIPLINA
Plano de Aula
Linguagem
Satisfatibilidade
Lógica Inferência Lógica
Proposicional Sistemas Dedutivos
Lógica de
Predicados
Lógica Temporal
Plano de Aula
Linguagem
Satisfatibilidade
Predicados
Lógica de Estruturas
Predicados Novos Sistemas Dedutivos
Lógica Temporal
Plano de Aula
Linguagem
Satisfatibilidade
Predicados
Lógica de Estruturas
Predicados Novos Sistemas Dedutivos
Raciocı́nio sobre o Futuro

Lógica Temporal
Verificação de Programas
Bibliografia
I Huth, Michael; Ryan, Mark, I Silva, Flávio S. C.; Finger, I De Souza, João Nunes,
Lógica em Ciência da Marcelo; Melo, Ana C. V., Lógica para Ciência da
Computação, 2a. Edição, Lógica para Computação, Computação, São Paulo,
Editora LTC, ISBN-10: 1a. Edição, Editora 1a. Edição, Editora
8521616104. Thomson Learning. Campus.

Avaliação
Avaliação Parcial
Avaliação
I Duas provas: AP1 e AP2.
Avaliação
I Duas provas: AP1 e AP2.
I Trabalho de implementação
Avaliação
Média Final
AP1
Trabalho
AP2
Avaliação
Sobre a segunda chamada ...

Freqüência
1. Vocês tem o direito de faltar vezes

Freqüência
1. Vocês tem o direito de faltar 8 vezes.

2. Regimento: “(...) será aprovado o aluno que freqüentar 75%
(setenta e cinco por cento) ou mais da carga horária da
disciplina, vedado o abono de faltas.”
Freqüência
1. Vocês tem o direito de faltar 8 vezes.

2. Regimento: “(...) será aprovado o aluno que freqüentar 75%
(setenta e cinco por cento) ou mais da carga horária da
disciplina, vedado o abono de faltas.”
3. Vocês tem o DEVER de comparecerem a 24 dias/aulas.
Freqüência
1. E se um meteoro atingir meu ônibus no caminho da aula?

Freqüência
2. E se ...
Freqüência
2. E se ...
Imprevistos acontecem... por isso o regimento prevê 75% e

não 100%.

Aula 01

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 01

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica para Computação

Profa. Dra. Viviane Menezes

Universidade Federal do Ceará

Lógica, Inteligência Artificial, Métodos Formais.

O que é “não ter lógica”?

O que é “não ter lógica”?

“Pelo contrário, continua Tweedledee, se fosse assim, poderia ser

Conjunto de regras para raciocı́nio e argumentação.

Conjunto de regras para raciocı́nio e argumentação.

Conjunto de regras para raciocı́nio e argumentação.

Conjunto de regras para raciocı́nio e argumentação.

Como distinguir o que é verdadeiro do que é falso?

La Scuola di Atene, de Raffaello.

Todo homem é mortal.

I Por que os sı́mbolos são importantes?

I Por que os sı́mbolos são importantes?

I Por que os sı́mbolos são importantes?

I Por que os sı́mbolos são importantes?

George Boole (1815-1864)

I Usando a lógica, concluiu

I Usando a lógica, concluiu I Noção de um tratamento

I Paradoxos na teoria dos

I Paradoxos na teoria dos I Teoremas da incompletude:

Existem problemas que nenhum algoritmo pode resolver!

I Problemas Difı́ceis: NP-Completos.

I Verificação e Validação Formal de Projeto de Sistemas.

I IA: Representação do conhecimento e Planejamento.

I Segurança em redes: proof-carrying codes.

Lógica Inferência Lógica

Proposicional Sistemas Dedutivos

Lógica Inferência Lógica

Proposicional Sistemas Dedutivos

Lógica Inferência Lógica

Proposicional Sistemas Dedutivos

Raciocı́nio sobre o Futuro

Lógica em Ciência da Marcelo; Melo, Ana C. V., Lógica para Ciência da

Computação, 2a. Edição, Lógica para Computação, Computação, São Paulo,

Editora LTC, ISBN-10: 1a. Edição, Editora 1a. Edição, Editora

8521616104. Thomson Learning. Campus.

Sobre a segunda chamada ...

1. Vocês tem o direito de faltar vezes

1. Vocês tem o direito de faltar 8 vezes.

1. Vocês tem o direito de faltar 8 vezes.

1. E se um meteoro atingir meu ônibus no caminho da aula?

1. E se um meteoro atingir meu ônibus no caminho da aula?

1. E se um meteoro atingir meu ônibus no caminho da aula?

Imprevistos acontecem... por isso o regimento prevê 75% e

Você também pode gostar