Semana 01 - Aula 01 Introdução

Prévia do material em texto

Professora Hévilla Nobre Cezar
hevilla@gmail.com
Elementos de lógica matemática•
Teoria dos Conjuntos•
Divisibilidade e congruência dos números inteiros•
Relações de ordem•
Indução e recursão•
Álgebra booleana•
Ementa
Gersting, Judith. Fundamentos Matemáticos para a Ciência da Computação, LTC, 5ª ed.•
Alencar Filho, Edgar. Iniciação à lógica Matemática, Nobel.•
Bispo, Carlos; Castanheira, Luiz B.; Souza Filho, Osvaldo. Introdução à Lógica Matemática, 
Cengage Learning, 2011
•
Notas de aula.•
Bibliografia
P1 (Nota da Prova1): 03/04•
P2 (Nota da Prova2): 08/05•
P3 (Nota da Prova3): 26/06•
Prova substitutiva: 03/07 (substitui a menor das provas)•
Provas
Introdução
O que é Lógica
É a ciência de índole matemática ligada fortemente à Filosofia. A Lógica é um ramo da Filosofia que 
cuida das regras do bem pensar, ou do pensar correto; lida com os métodos de raciocínio. Lógica 
Matemática é o uso da lógica formal para estudar o raciocínio matemático.
Matemática Discreta
Também chamada de Matemática Finita, é o estudo das estruturas matemáticas que são 
fundamentalmente discretas. Trata de processos discretos (realizados passo-a-passo).
Lógica
A Lógica formal se preocupa com as premissas e conclusões, estrutura e forma de raciocínio. 
Premissas são o conjunto de informações e o encadeamento das premissas levarão à conclusão.
O conteúdo não importa, mas sim a sequência que essas premissas serão encadeadas, de forma que 
se encontre uma conclusão lógica.
O objeto da Lógica é a forma pela qual o raciocínio está estruturado - Lógica Formal
Semana 01 - Aula 01: Introdução
terça-feira, 25 de fevereiro de 2014 21:02
 Página 1 de MAT017 - Fundamentos de Lógica Matemática Discreta 
http://www.baixaki.com.br/tecnologia/1697-a-historia-dos-computadores-e-da-
computacao.htm

http://afiolosofia.no.sapo.pt/Hist.htm
Wikipédia
Material para pesquisar:
 Página 2 de MAT017 - Fundamentos de Lógica Matemática Discreta