LogMat 2013 Aula 00

Faculdade Anhanguera de Taubaté – Unidade II
Curso de Ciência da Computação
Lógica Matemática
Fernando Salles Claro
Aula 00 – Apresentação da disciplina

Agenda da Aula

•
•
•
•
•
•
•
•

Apresentação do professor
Apresentação da disciplina
Bibliografias
Processos de avaliação
Datas importantes
Lista de discussão
Contrato pedagógico
Passo a palavra
2

Apresentação do Professor

• Nome: Fernando Salles Claro
• Formação Acadêmica: ü 2014 – Mestrado em Eng. Mecânica – ênfase em Automação ü 2009 – MBA em Gestão de Pessoas ü 2001 – Graduação em Computação ü 1988 – Graduação em Tecnólogo em Proc. de Dados

3

Apresentação do Professor

4

Apresentação do Professor

• Experiência Acadêmica: ü 26 anos como professor de curso técnico em informática. ü 7 anos como professor de curso superior:
Engenharia Elétrica, Ciência da
Computação, Sistemas de Informações, MBA em Gestão de Projetos, etc. ü 3 anos como coordenador de curso superior:
Ciência da Computação e Eng. da
Computação.

5

Apresentação do Professor

• Experiência Acadêmica: ü 4 resumos publicados em anais de congressos ü 2 trabalhos completos publicados em anais de congressos. ü 59 participações em bancas de TCC ü 42 orientações de TCC ü 14 orientações em PIC (programa de iniciação científica).

6

Sobre a Disciplina
Lógica Matemática

7

Apresentação da Disciplina

• EMENTA ü A matemática e o Método Axiomático
Dedutivo.
ü Motivação para o estudo da lógica. ü Lógica Proposiconal (Linguagem, semântica, sistemas dedutivos). ü Lógica de Predicados (Linguagem, semântica, sistemas dedutivos).
8

Apresentação da Disciplina

• EMENTA ü Sistemas de tableaux. ü Formalização de problemas. ü Técnicas de demonstração. ü Indução finita. ü Álgebra de Boole.

9

Apresentação da Disciplina

• POR QUE ESTA DISCIPLINA É
IMPORTANTE?
ü O estudo da lógica nos remete à preocupação de