Lógica Aplicada a Computação - Aquiles Burlama .Responsável pela caracterização da sintaxe

  • View
    212

  • Download
    0

Embed Size (px)

Text of Lógica Aplicada a Computação - Aquiles Burlama .Responsável pela caracterização da sintaxe

  • LGICA APLICADA A COMPUTAO

    Aquiles Burlamaqui2009.3

  • Contedo Programtico

    Unidade I

    Linguagens Formais

    Linguagens Formais

    Sigma lgebras

    Relao entre Linguagens Formais e Sigma lgebras

    Sigma Domnios

    Lgica Proposicional

    A linguagem da lgica proposicional

    A linguagem formal da lgica Proposicional

    Lgica Proposicional

    A Teoria Formal da Lgica Proposicional

    Teorias Formais

    Teoria Formal da Lgica Proposicional

    Teorema da Deduo

    Computao na Lgica Proposicional

    Mtodo de Eliminao de Literais Complementares

    Resultados de Completude

  • Unidade I

    Linguagens Formais

    Linguagens Formais

    Sigma lgebras

    Relao entre Linguagens Formais e Sigma lgebras

    Sigma Domnios

  • Linguagens Formais

    Definio de Linguagem

    Linguagem qualquer e todo sistema de signos que serve

    de meio de comunicao de idias ou sentimentos atravs

    de signos convencionais, sonoros, grficos, gestuais etc.

    linguagem (priberam)

    1. Expresso do pensamento pela palavra, pela escrita ou

    por meio de sinais.

    2. O que as coisas significam.

    3. Voz dos animais.

    4. Estilo.

  • Linguagens Formais

    Linguagens

  • Linguagens Formais

    Portugus

    Entidades

    Letras

    Palavras

    Sentenas

    Paralelismo entre entidades:

    Letras -> Palavras -> Sentenas -> Pargrafos ->Histrias

    Linguagem C

    Entidades

    Letras

    Comandos

    Funes

    Paralelismo entre entidades:

    Letras -> Comandos -> funes -> Programas...

  • Linguagens Formais

    Diferenas entre

    Portugus e C ?

  • Linguagens Formais

    Linguagem Natural

    Faladas por seres humanos e usadas como instrumento

    de comunicao

    Habilidade de interpretao de metforas poticas de

    sentenas mal escritas.

    Linguagem Formal

    No h espao para interpretaes;

    Sentido nico;

    Definio segue um formalismo matemtico;

  • Linguagens Formais

    Linguagens Naturais x Linguagens Formais

    Ambas possuem alfabeto

    Conjunto contvel de smbolos usados na linguagem

    Ambas usam uma gramtica

    Responsvel pela caracterizao da sintaxe da linguagem

    O que as diferenciam o fato de que a gramtica da

    linguagem formal especificada precisamente, j a

    Natural isso quase que impossvel;

  • Linguagens Formais

    Outra definio de Linguagem

    Seja um conjunto contvel;

    * ser o conjunto de todas as cadeias finitas em ,

    incluindo a cadeia vazia;

    Exemplo:

    = {a,b} ento * {,a,b,aa, ab, bb, ba, aaa, aab,...}

    Onde significa cadeia vazia

    Linguagem L, sobre , qualquer subconjunto de *.

  • Linguagens Formais

    Definio de Linguagem Formal

    um par L = , onde um conjunto contvel,

    denominado alfabeto, e G um conjunto finito de

    regras de derivao, denominada gramtica, cuja

    finalidade dizer como os smbolos do alfabeto

    podem ser agrupados de modo a formarem as

    expresses admissveis na linguagem.

  • Linguagens Formais

  • Linguagens Formais

  • Linguagens Formais

  • -lgebras

    -lgebras

  • -lgebras

    Assinatura

  • -lgebras

  • -lgebras

    De uma outra maneira

  • Relao entre Linguagens Formais e

    Sigma lgebras

  • Sigma Domnios

  • Exerccios....

    Resolver os exerccios do livro de Benjamin

    Questes 1 a 6

  • Referencias

    Callejas, Bedregal. Acily, Bendito. Lgica para a

    Cincia da Computao, Natal, 2001.

    http://pt.wikipedia.org/wiki/L%C3%B3gica

    http://www.pucsp.br/~logica/

    http://pt.wikipedia.org/wiki/L%C3%B3gicahttp://pt.wikipedia.org/wiki/L%C3%B3gica