Lógica & Filosofia
I'm a title. Click here to edit me
Lógica Básica
Código da disciplina: NHI2049 - 13 Créditos: 4 – 0 – 0 – 4
Este sítio não tem caráter oficial relativamente à Universidade Federal do ABC e tampouco representa os outros professores.
Quadrimestre letivo
Primeiro quadrimestre letivo 2024
Turmas e horários
campus São Bernardo do Campo
diurno, turma DA1
quarta-feira, 08hs00 – 10hs00, S203, Bloco A1
sexta-feira, 10hs00 – 12hs00, S203, Bloco A1
campus São Bernardo do Campo
noturno, turma Nxx
quarta-feira, 00hs00 – 00hs00, S xxx, Bloco Ax
sexta-feira, 00hs00 – 00hs00, S xxx, Bloco Ax
Atendimento
campus de Santo André
Bloco B, sala 1011
Horário
turma DA1, quarta-feira
14hs00 - 16hs00
e eventualmente, sexta-feira, 14hs30
turma Nxx, xxx-feira
xxhsxx - xxhsxx
vistas de avaliação
Monitoria
campus de Santo André
Bloco Y, sala yyyy
Horário
xx de xxxxxx
xxxx-feira, xxhsxx - xxhsxx
sala xxx-x, bloco A
Avaliações e conceitos
Avaliações, faltas e conceitos parciais
turma DA1, diurno, SBC [[Novo]]
avaliaações, faltas, conceitos parciais
turma Nxx, noturno, SBC
valiaações, faltas, conceitos parciais
Ementa
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, consequência semântica. Cálculo sentencial clássico: noções de linguagem, conectivos e métodos semânticos, e.g., de valorações. Análise de algumas noções em lógica básica, e.g., dedução e teorema. Apresentação do conceito formal de teoria, fecho dedutivo. Exposição informal de alguns temas de lógica, e.g., acerca da consistência de teoria, completude de teoria.
Comunicados & informes
Cadernos de estudo
SU01, SU02 [[Novo]]
Questionários de estudo
Q01, Q02, Q03, Q04, Q05, Q06, Q07, Q08, Q09, Q10, Q11,
Q12c, Q13, Q14 [[Novo]]
conceito parcia disponíveis para consulta [[Novo]]
Avaliações quadrimestrais
estimativas de datas
turma DA1, diurno: Ava1: 20, março & Ava2: 19, abril
turma Nxx, noturno: Ava1: yy, yyyy & Ava2: yy, yyyy
Avaliação de recuperação
se for o caso, realizar-se-á eventualmente em datas
e horários não necessariamente coincidentes com aqueles das aulas
turma DA1: 26 abril, sexta-feira, 10hs00
campus Sâo Bernardo, bloco x, xxx, sala xxx-x
turma Nxx: yy yyyy, xxx-feira, 00hs00
campus Sâo Bernardo, bloco x, xxx, sala xxx-x
Avaliação substitutiva
se for o caso, realizar-se-á eventualmente em datas
e horários não necessariamente coincidentes com aqueles das aulas
turma A, Subx: xx, xx, xx-feira, 00hs00 - 00hs00
campus Santo André, bloco A, torre x, sala xxx-xx
turma X: xx, xxx, xxx-feira, 00hs00-00hs00
campus Santo André, bloco A, torre x, sala xxx-x