Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	PROGRAD-COORDENAÇÃO-GERAL DOS BACHARELADOS INTERDISCIPLINARES (11.01.05.22)
Código:	NHI2049-13
Nome:	LÓGICA BÁSICA
Carga Horária Teórica:	48 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Estudo Individual:	0 h.
Carga Horária Total:	48 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:	( MC2210 ) OU ( NHI2049-08 )
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	2
Ementa/Descrição:	Cálculo sentencial (ou proposicional) clássico: noções de linguagem, conectivos, dedução e teorema, semântica de valorações. Cálculo clássico de predicados de primeira ordem: os conceitos de linguagem de primeira ordem, igualdade, teorema da dedução, consequência sintática. Semântica: noções de interpretação, verdade em uma estrutura, modelo. O conceito formal de teoria, fecho dedutivo. Exposição informal de temas, e.g., acerca da consistência de teorias, completude de teorias.
Referências:	COSTA, Newton Carneiro Afonso da. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008. 289 p. MORTARI, Cezar A. Introdução à lógica. São Paulo: Editora da Unesp, 2001. 393 p. OLIVEIRA, Augusto J Franco de. Lógica & Aritmética: uma introdução à lógica, matemática e computacional. 3 ed. Lisboa: Gradiva, 2010. 301 p. (Trajectos Ciência, 1). BLANCHÉ,Robert; DUBUCS,Jacques. História da Lógica. Lisboa: Edições 70, 1996. 395 p. (O saber da Filosofia). CARNIELLI, Walter; EPSTEIN, Richard L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. São Paulo: Unesp, 2006. 415 p. DEVLIN, Keith. Sets, functions, and logic: an introduction to abstract mathematics. 3rd ed.. Boca Raton: Chapman & Hall, 2004. 141 p. (Chapman & Hall mathematics). ENDERTON, Herbert B.. A mathematical introduction to logic. 2.ed. San Diego: Academic Press, 2001. 317 p. HAACK, Susan; LORENZI, Harri. Filosofia das lógicas. São Paulo: UNESP, 2002. 359 p. KNEALE, W. C; KNEALE, Martha. The development of logic. Oxford: Clarendon Press, 1962. 783 p. MENDELSON, Elliott. Introduction to mathematical logic. 4 ed. London: Chapman & Hall, 1997. 440 p. SUPPES, Patrick. Introduction to logic. Mineola, N.Y: Dover Publications, 1999. 312 p.
Outros componentes que têm esse componente como equivalente NHI2049-08 - LÓGICA COMPUTACIONAL MC2210 - LÓGICA MATEMÁTICA MCCC010-23 - MATEMÁTICA DISCRETA II
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( MC2210 ) OU ( NHI2049-08 ) ATIVO 01/06/2006
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCH 2015 2016.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCH 2015 2016.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCH 2010 2010.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCH 2010 2010.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BNC 2010/2015 - N 2011.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2010/2015 - N 2011.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BNC 2015 - N 2016.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BMAT 2012/2016 - N 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCE 2011 - N 2013.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2011 - N 2013.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BMAT 2012/2016 - N 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim LFIL 2011 - N 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Sim 5 Sim LFIL 2011 - N 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Sim 5 Sim BFIL 2011 - N 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Sim 5 Sim BFIL 2011 - N 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Sim 5 Sim BCC 2010/2015 - A 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 6 Sim LM 2010 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LM 2010 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim BMAT 2017 - N 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BNC 2015 - N 2016.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BMAT 2017 - N 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCC 2017 - N 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 5 Sim BCC 2017 - N 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 5 Sim BCC 2015/2016 - N 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 5 Sim LFIL 2016 - N 2017.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Sim 8 Sim LFIL 2016 - N 2017.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Sim 8 Sim BMAT 2010/2011 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2010/2011 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCC 2010/2015 - N 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 6 Sim BCC 2015/2016 - N 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 5 Sim BCE 2017 - N 2017.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2017 - N 2017.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCC 2010/2015 - A 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 6 Não BCC 2010/2015 - N 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 6 Sim BCC 2015/2016 - A 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 5 Sim BCC 2015/2016 - A 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 5 Não BCC 2017 - A 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 5 Sim BCC 2017 - A 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 5 Não BCE 2011 - A 2013.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2011 - A 2013.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCE 2017 - A 2017.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2017 - A 2017.2 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BFIL 2011 - A 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Sim 5 Sim BFIL 2011 - A 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Sim 5 Sim LFIL 2011 - A 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Sim 5 Sim LFIL 2011 - A 2011.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Sim 5 Sim LFIL 2016 - A 2017.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Sim 8 Sim LFIL 2016 - A 2017.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Sim 8 Sim BMAT 2010/2011 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2010/2011 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BMAT 2012/2016 - A 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2012/2016 - A 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BMAT 2017 - A 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2017 - A 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BNC 2010/2015 - A 2011.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2010/2015 - A 2011.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BNC 2015 - A 2016.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2015 - A 2016.2 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim LM 2010 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LM 2010 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim BCT 2015-2016 2016.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim LM 2018 - N 2019.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LM 2018 - N 2018.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim LCH 2019 2019.2 CIÊNCIAS HUMANAS - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Não 0 Sim LCH 2019 2019.2 CIÊNCIAS HUMANAS - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Não 0 Sim LCNE 2019 2019.2 CIÊNCIAS NATURAIS E EXATAS - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LCNE 2019 2019.2 CIÊNCIAS NATURAIS E EXATAS - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim BCH 2019 2020.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCH 2019 2020.2 CIÊNCIAS E HUMANIDADES - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim LM 2018 - A 2019.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LM 2018 - A 2019.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim BNC 2021 - BCT 2009/2015 2021.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2021 - BCT 2009/2015 2021.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCE 2021 - BCH 2019 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2021 - BCH 2019 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim LCB 2022 - LCNE 2020 2020.2 CIÊNCIAS BIOLÓGICAS - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LFIL 2022 - LCH 2020 2020.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Sim 11 Sim LM 2022 - LCNE 2020 2020.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LCB 2022 - LCNE 2020 2020.2 CIÊNCIAS BIOLÓGICAS - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Não LCH 2022 2023.1 CIÊNCIAS HUMANAS - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - M Não 0 Sim LCH 2022 2023.1 CIÊNCIAS HUMANAS - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Não 0 Sim BCE 2022 - BCH 2015 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2022 - BCH 2011 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCE 2022 - BCH 2015 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCE 2022 - BCH 2011 2021.3 CIÊNCIAS ECONÔMICAS - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BFIL 2022 - BCH 2022 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Sim 5 Sim BFIL 2022 - BCH 2015 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Sim 5 Sim BFIL 2022 - BCH 2011 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Sim 5 Sim BFIL 2022 - BCH 2022 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Sim 5 Sim BFIL 2022 - BCH 2015 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Sim 5 Sim BFIL 2022 - BCH 2011 2021.1 FILOSOFIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Sim 5 Sim LCNE 2022 2023.1 CIÊNCIAS NATURAIS E EXATAS - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Sim LCNE 2022 2023.1 CIÊNCIAS NATURAIS E EXATAS - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim LFIL 2022 - LCH 2020 2020.2 FILOSOFIA - SÃO BERNARDO DO CAMPO - LICENCIATURA - Presencial - N Sim 11 Sim BNC 2023 - BCT 2022 2023.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Não BNC 2023 - BCT 2022 2023.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Não LM 2023 - LCNE 2022 2023.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - M Não 0 Não LM 2023 - LCNE 2022 2023.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Não LM 2022 - LCNE 2020 2020.2 MATEMÁTICA - SANTO ANDRÉ - LICENCIATURA - Presencial - N Não 0 Não BFIS 2023 - BCT 2022 2024.1 FÍSICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Não BFIS 2023 - BCT 2022 2024.1 FÍSICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Não

SIGAA | UFABC - Núcleo de Tecnologia da Informação - ||||| | Copyright © 2006-2024 - UFRN - sigaa-1.ufabc.int.br.sigaa-1-prod v4.9.3