UFS › SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas São Cristóvão, 23 de Outubro de 2020


Notícias

Banca de DEFESA: RAFAEL MESSIAS SANTOS
21/08/2015 12:25


Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: RAFAEL MESSIAS SANTOS
DATA: 28/08/2015
HORA: 10:30
LOCAL: Sala de Seminários - DMA
TÍTULO: Fundamentos de Lógica, Conjuntos e Números Naturais
PALAVRAS-CHAVES: Noções de Lógica, Equivalências Lógicas, Noções de Conjuntos, Especificações de Conjuntos, Teoremas, Técnicas de Prova, Números Naturais, Axiomas de Peano.
PÁGINAS: 120
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Matemática
RESUMO:

O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na construção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especificações de conjuntos, de acordo com o axioma da especificação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.


MEMBROS DA BANCA:
Presidente - 1688996 - JOSE ANDERSON VALENCA CARDOSO
Interno - 1447640 - ALMIR ROGERIO SILVA SANTOS
Externo à Instituição - CRISLENE SANTOS DA PAIXAO

SIGAA | Superintendência de Tecnologia da Informação/UFS | Telefonista/UFS (79)3194-6600 | Copyright © 2009-2020 - UFRN v3.5.16 -r12712-85cc87cea5