Edição das 15h25min de 9 de abril de 2013

MURAL DE AVISOS E OPORTUNIDADES DA ÁREA DE TELECOMUNICAÇÕES

Carga horária, Ementas, Bibliografia, Professores

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 8:30h - 09:30h e 6a feira 15:45h - 15:45h (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.

Plano da disciplina

Material de apoio

Apostila de referência para disciplina de redes de computadores
- Apostila de Lógica

Listas de exercícios
- Lista 1
- Lista 2
- Lista 3

Transparências utilizadas durante as aulas
- Aula 1
- Aula 2

02/04/13: Introdução a Lógica (Aula 1)

Apresentação da disciplina
Lógica formal
Dedução e Indução
Exercícios de raciocínio lógico (Lista 1)

09/04/13: Lógica Clássica e Lógica Simbólica (Aula 2)

Lógica Clássica e Lógica Simbólica
Proposições e Predicados
Lista Exercícios II (Lista 2
Lista Exercícios III 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

Plano de Ensino

Aulas Semestre 2012-1

Materiais de apoio as aulas

Listas de Exercícios

Cálculo proposicional e tabela verdade

Links auxiliares

Curso de Engenharia de Telecomunicações

@@ Linha 1: / Linha 1: @@
 {{DivulgueEngtelecom}}
-==[[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]==
+=[[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]=
-{{Professor|2013-1|[[Tiago Semprebom]]}}
+=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
 ==[[LOG-EngTel (Plano de Ensino) | Plano de Ensino]]==

Mudanças entre as edições de "Lógica - engtelecom (página)"