Mudanças entre as edições de "Tiago Semprebom"

De MediaWiki do Campus São José
Ir para navegação Ir para pesquisar
(Limpou toda a página)
Linha 1: Linha 1:
−
=Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom=
 
  
−
=Instrutor=
 
−
''Professor'': Tiago Semprebom, Dr. Eng.
 
−
<br>''Email'': tisemp@ifsc.edu.br
 
−
<br>''Atendimento paralelo'': 3a feira 8:30h - 09:30h e 6a feira 15:45h - 15:45h (Lab. de Desenvolvimento de Tele)
 
−
<br> ''Endereço web do grupo'': http://groups.google.com/group/ifsc_log
 
−
<br> ''Endereço de e-mail da disciplina'': ifsc_log@googlegroups.com
 
−
<br>
 
−
<br> '''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.
 
−
 
−
* [http://www.sj.ifsc.edu.br/~tisemp/LOG/plano-de-ensino.pdf Plano da disciplina]
 
−
 
−
= Material de apoio =
 
−
 
−
* Apostila de referência para disciplina de redes de computadores
 
−
**[http://www.sj.ifsc.edu.br/~tisemp/LOG/logica.pdf Apostila de Lógica]
 
−
 
−
* Listas de exercícios
 
−
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1]
 
−
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
 
−
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3]
 
−
 
−
* Transparências utilizadas durante as aulas
 
−
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf.pdf Aula 1]
 
−
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]
 
−
 
−
==02/04/13: Introdução a Lógica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf.pdf Aula 1])==
 
−
* Apresentação da disciplina
 
−
* Lógica formal
 
−
* Dedução e Indução
 
−
* Exercícios de raciocínio lógico ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1])
 
−
 
−
==09/04/13: Lógica Clássica e Lógica Simbólica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]) ==
 
−
* Lógica Clássica e Lógica Simbólica
 
−
* Proposições e Predicados
 
−
* Lista Exercícios II ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
 
−
* Lista Exercícios III [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3])
 
−
 
−
==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 15h23min de 9 de abril de 2013

Disponível em “https://wiki.sj.ifsc.edu.br/index.php?title=Tiago_Semprebom&oldid=52067”