Mudanças entre as edições de "Tiago Semprebom"
Ir para navegação
Ir para pesquisar
Linha 35: | Linha 35: | ||
** [http://www.sj.ifsc.edu.br/~tisemp/RES/aulas/cap5.pdf Capítulo 5] | ** [http://www.sj.ifsc.edu.br/~tisemp/RES/aulas/cap5.pdf Capítulo 5] | ||
− | == | + | ==02/04/13: Introdução a Lógica== |
+ | |||
+ | ==09/04/13: Lógica Clássica e Lógica Simbólica== | ||
+ | |||
+ | ==16/04/13: Lógica Proposicional== | ||
+ | |||
+ | ==23/04/13: Proposições Simples== | ||
+ | |||
+ | ==30/04/13: Proposições Compostas== | ||
+ | |||
+ | ==07/05/13: Ordem de Precedência das Operações== | ||
+ | |||
+ | ==14/05/13: Avaliação 1== | ||
+ | |||
+ | ==21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução)== | ||
+ | |||
+ | ==28/05/13: Construção de Tabelas Verdade== | ||
+ | |||
+ | ==04/06/13: Construção de Tabelas Verdade== | ||
+ | |||
+ | ==11/06/13: Equivalência Lógica== | ||
+ | |||
+ | ==18/06/13: Inferência Lógica== | ||
+ | |||
+ | ==25/06/13: Lógica de Primeira Ordem (cálculo de predicados)== | ||
+ | |||
+ | ==02/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont')== | ||
+ | |||
+ | ==09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont')== | ||
+ | |||
+ | ==16/07/13: Método dedutivo, Formas Normais== | ||
+ | |||
+ | ==27/07/13: Avaliação 2== | ||
+ | |||
+ | ==30/07/13: Encerramento da Disciplina== | ||
+ | * Avaliações de Recuperação A1 e A2 |
Edição das 09h05min de 2 de abril de 2013
Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom
Instrutor
Professor: Tiago Semprebom, Dr. Eng.
Email: tisemp@ifsc.edu.br
Atendimento paralelo: 3a feira 17:00h - 18:00 h e 6a feira 16h - 17h (Lab. de Desenvolvimento de Tele)
Endereço web do grupo: http://groups.google.com/group/ifsc_log
Endereço de e-mail da disciplina: ifsc_log@googlegroups.com
IMPORTANTE: o direito de recuperar uma avaliação em que se faltou somente existe mediante justificativa reconhecida pela coordenação. Assim, deve-se protocolar a justificativa no prazo de 48 horas, contando da data e horário da avaliação, e aguardar o parecer da coordenação. O não cumprimento desse procedimento implica a impossibilidade de fazer a recuperação, e assim a reprovação na disciplina.
Material de apoio
- Apostila de referência para disciplina de redes de computadores
- Transparências utilizadas durantes as aulas
02/04/13: Introdução a Lógica
09/04/13: Lógica Clássica e Lógica Simbólica
16/04/13: Lógica Proposicional
23/04/13: Proposições Simples
30/04/13: Proposições Compostas
07/05/13: Ordem de Precedência das Operações
14/05/13: Avaliação 1
21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução)
28/05/13: Construção de Tabelas Verdade
04/06/13: Construção de Tabelas Verdade
11/06/13: Equivalência Lógica
18/06/13: Inferência Lógica
25/06/13: Lógica de Primeira Ordem (cálculo de predicados)
02/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont')
09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont')
16/07/13: Método dedutivo, Formas Normais
27/07/13: Avaliação 2
30/07/13: Encerramento da Disciplina
- Avaliações de Recuperação A1 e A2