UFSCar - Universidade Federal de São Carlos

Plano de Ensino
84280 - INTRODUÇÃO À TEORIA DOS CONJUNTOS (Turma A)

2023/1 - Regular - Semestral - Presencial - Por Atividade Curricular - Campus

São Carlos

Ministrante(s) Adilson Eduardo Presoto

Equipe de Apoio

Curso(s)
Indicado(s) M - Matemática

Analisar os conceitos básicos da teoria intuitiva dos conjuntos, bem como da moderna teoria
dos conjuntos (pós Cantor). Analisar a linguagem da teoria dos conjuntos e sua função como
Objetivos Gerais fundamento da linguagem da álgebra, da análise e da topologia.

Lógica elementar. Sentenças e seus conectivos. Raciocínio dedutivo. Conjuntos. Operações

entre conjuntos. Paradoxo de Russel. Famílias indexadas. Relações e funções. Partições e
relações de equivalência. Domínio, imagem e imagens inversas de conjuntos. Funções:
injetora, sobrejetora e bijetora. Composição de funções. Conjuntos: finitos e infinitos,
enumeráveis e não enumeráveis. Equipotência. Números cardinais e aritmética cardinal.
Ementa Axioma da escolha. Lema de Zorn.

Total Teórica Prática PCC Estudo Pesquisa Estágio EaD

60 60 0 0 0 0 0 0

Carga

Requisitos

Co-Requisitos

PESCD
Programa de Estágio
Supervisionado de
Capacitação Docente
 Tópicos Horas

Lógica elementar. Sentenças e seus conectivos. Raciocínio dedutivo. Regras de

8
inferência.

Conjuntos. Operações entre conjuntos. Reunião, interseção e diferença. 8

Regras de Quantificação. 2

Demonstrações de Validade. 4

Famílias indexadas. Reuniões e interseções de famílias indexadas. 4

Paradoxo de Russel. A não existência do conjunto de todos os conjuntos. 2

Relações e funções. 4

Relações de equivalência. conjuntos quocientes e partições. 4

Imagens e imagens-inversas de conjuntos. 4

Funções: injetoras, sobrejetoras e bijetoras. 6

Lema de Zorn e Axioma da Escolha 4

Conjuntos enumeráveis, não enumeráveis, finitos e infinitos. O axioma da escolha

4
como ferramenta em várias demonstrações. Equipotência.

Números cardinais e aritmética cardinal. 4

Boa ordenação e conjunto minimal ordenado 2

Tópicos

1. Levar ao aluno o conhecimento de técnicas dedutivas e a teoria das demonstrações

matemáticas, com vistas ao aprimoramento da sistemática da escrita de deduções de
teoremas.

2. Apresentar de forma sistemática e organizada as idéias intuitivas da teoria ingênua dos

conjuntos, originárias dos trabalhos de Georg Cantor.

Objetivos 3. Desenvolver os conceitos relativos à cardinalidade de conjuntos, como preparo para futuras
Específicos generalizações.

Para todos os tópicos:

Aulas expositivas sobre o conteúdo.

Elaboração de listas de exercícios.

Trabalho coletivo.
Estratégias de
Ensino Atendimento extraclasse com o professor para esclarecimento de dúvidas.
 Para todos os tópicos:

- Prestar atenção à explicação do professor.

- Estudar a teoria e resolver os exercícios do(s) texto(s) indicado(s), após cada aula.
- Participar das aulas e das resoluções dos problemas em sala.
Atividades dos - Frequentar as aulas, com frequência mínima de 75%.
Discentes - Fazer as listas elaboradas pelo professor e provas.

Atividades em
EaD

Recursos a
Serem Utilizados Serão ultilizados os recursos disponbilizados pela Universidade.
 Serão realizadas 3 provas escritas, P1, P2 e P3, cada uma valendo até 10(dez) pontos. Para
i=1, 2 e 3, a prova Pi serão realizadas a cada terça parte da disciplina. Será atribuída à esta
prova a nota Ai.

O conteúdo de cada uma das provas será o ministrado no período imediatamente precedente
desde o início do semestre ou desde a última prova, conforme o caso. Claro que, devido ao
conhecimento ser construtivo, conceitos previamente abordados no curso poderão ser
necessários para a completa resolução da prova.

Ao longo do semestre, serão propostos exercícios em sala ou para serem entregues, em

grupos ou individualmente. O conjunto dos Exercícios gerará uma nota E, variando de 0(zero)
a 10(dez).

Além das atividades acima, o aluno deverá desenvolver um trabalho a ser desenvolvido ao
longo do curso de temática proposta pelo professor, sendo necessário elaborar o projeto,
entregando-o até o fim da primeira metade do curso, apresentá-lo em data acordada com o
professor e entegrar o trabalho redigido no dia da apresentação. Ao todo será atribuída uma
nota T, valendo de 0 a 10.

A Média Final do aluno será constituída por

M=(A1+A2+A3)/3*0,8+E*0,1+T*0,2

Se M >ou= 3,0 e <6,0, o aluno poderá realizar uma avaliação cuja nota substituirá a menor das
três avaliações A1,A2 e A3 no cálculo acima, gerando uma nova média, denominada de média
final, MF. O aluno com M>6,0, só poderá realizar a avaliação substitutiva desde que faltou uma
das três avaliações com devida justificativa.

O aluno que obtiver MF >ou= 6, estará aprovado. O aluno que obtiver MF<5, estará reprovado.
O aluno que obtiver MF igual ou superior a 5 e inferior a 6, poderá realizar a Avaliação
Complementar (prova escrita - nota AC, de 0 a 10), a qual contemplará todo o conteúdo do
curso. Neste caso, a nota final NF do aluno será calculada do seguinte modo: NF =
mínimo{máximo{MF,AC},6}.

Procedimentos OBS: A Avaliação Complementar será aplicada na segunda semana de aula do período letivo
de Avaliação seguinte.

1. Lin, Y.-F. and Lin, S.-Y. T., Set Theory: An Intuitive Approach. Houghton Mifflin Company,
Atlanta, 1974.

2 .Castrucci, B,, Elementos de Teoria dos Conjuntos, 12a. edição, Livraria Nobel, São Paulo,
1983.
Bibliografia
Básica 3. Lipschutz, S., Teoria dos conjuntos, McGraw-Hill, São Paulo, 1963.
 1. Teoria Axiomática dos Conjuntos: Uma introdução; disponível em
http://www.cle.unicamp.br/prof/coniglio/CONJUN.pdf

2. Textos para estudo, em http://www.dm.ufscar.br/~sampaio/itc.html

3. Halmos, P.R., Teoria Ingênua dos Conjuntos, Ciência Moderna, Rio de Janeiro, 2001.

4. Castrucci, B., Introdução à Lógica Matemática, Livraria Nobel, São Paulo, 1977.
Bibliografia
Complementar 5. Hrbacek, K., Jech, T., Introduction to Set Theory, 3a ed., CRC, 1999.

Observações