Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	DEPARTAMENTO DE MATEMÁTICA/ICE (12.28.01.00.00.00.63)
Código:	IC579
Nome:	FUNDAMENTOS DA MATEMÁTICA
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Sim
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Sim
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:
Ementa/Descrição:	Os axiomas da aritmética de Peano. O cálculo de predicados de Frege. Cantor e a axiomatização da teoria dos conjuntos. O programa formalista de Hilbert. A incomplitude de Gödel e as funções recursivas. O construtivismo em matemática. O uso do computador nas demonstrações matemáticas.
Expressões específicas de currículo cadastradas para este componente Currículo Expressão Tipo Início da Vigência Fim da Vigência MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2004.1 - 00141 ( IC243 ) Pré-Requisito 2004.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2004.1 - 00141 ( IC268 ) Correquisito 2004.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2004.1 - 00143 ( IC243 ) Pré-Requisito 2004.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2004.1 - 00143 ( IC268 ) Correquisito 2004.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2006.1 - 00144 ( IC243 ) Pré-Requisito 2006.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2006.1 - 00145 ( IC243 ) Pré-Requisito 2006.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2006.1 - 00145 ( IC268 ) Correquisito 2006.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2008.1 - 00147 ( IC243 ) Pré-Requisito 2008.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.1 - 00149 ( IC243 ) Pré-Requisito 2009.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.2 - 00152 ( IC243 ) Pré-Requisito 2009.2 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2009.1 - 00150 ( IC243 ) Pré-Requisito 2009.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2013.1 - 00153 ( IC243 ) Pré-Requisito 2013.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2016.1 - 00155 ( IC243 ) Pré-Requisito 2016.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2016.1 - 00154 ( IC243 ) Pré-Requisito 2016.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2016.1 - 00156 ( IC243 ) Pré-Requisito 2016.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2009.1 - 00151 ( IC243 ) Pré-Requisito 2020.2 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00428 ( IC243 ) Pré-Requisito 2023.2 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00429 ( IC243 ) Pré-Requisito 2023.2 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2023.1 - 00430 ( IC243 ) Pré-Requisito 2024.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2023.1 - 00430 ( IC268 ) Correquisito 2024.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00429 ( IC268 ) Correquisito 2024.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00428 ( IC268 ) Correquisito 2024.1 .
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 00370 2020.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00154 2016.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00428 2023.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Sim 00429 2023.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Sim 00430 2023.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Sim 00150 2009.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00155 2016.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00156 2016.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00151 2009.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00153 2013.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Sim 7 Não 00143 2004.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00144 2006.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Sim 7 Não 00152 2009.2 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Sim 7 Não 00149 2009.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Sim 7 Não 00142 2004.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00145 2006.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00147 2008.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00141 2004.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Sim 7 Não

SIGAA | Coordenadoria de Tecnologia da Informação e Comunicação - COTIC/UFRRJ - (21) 2681-4638 | Copyright © 2006-2025 - UFRN - sig-node2.ufrrj.br.producao2i1 v4.17.0_r4