UFS › SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas São Cristóvão, 28 de Março de 2024

A UFS preocupa-se com a sua privacidade

A UFS poderá coletar informações básicas sobre a(s) visita(s) realizada(s) para aprimorar a experiência de navegação dos visitantes deste site, segundo o que estabelece a Política de Privacidade de Dados Pessoais. Ao utilizar este site, você concorda com a coleta e tratamento de seus dados pessoais por meio de formulários e cookies.

Ciente


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-2024 - UFRN v3.5.16 -r19032-7126ccb4cf