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

De MediaWiki do Campus São José
Ir para navegação Ir para pesquisar
Linha 1: Linha 1:
 
{{DivulgueEngtelecom}}
 
{{DivulgueEngtelecom}}
 +
 +
{{Collapse top | Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom}}
 +
=[[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]=
 +
 +
 +
==[[LOG-EngTel (Plano de Ensino) | Plano de Ensino]]==
 +
 +
==Aulas Semestre 2013-2==
 +
=Diário de aula de LOG - 2013-2 - 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]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13]
 +
 +
* Transparências utilizadas durante as aulas
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf Aula 1]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica.pdf Aula 5]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica_simplificacoes.pdf Aula 6]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/inferencia_logica_simplificacoes.pdf Aula 7]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/predicados_quantificadores.pdf Aula 8]
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/regras_deducao_log_predicados.pdf Aula 9]
 +
 +
* Guia de referências (conectivos, relações de equivalência e inferência)
 +
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência]
 +
 +
==02/04/13: Introdução a Lógica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.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==
 +
* Não haverá aula de Lógica
 +
* Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC)
 +
* Aula será resposta posteriormente
 +
 +
==23/04/13: Proposições Simples ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3])==
 +
* Revisão e correção de exercícios
 +
* Cálculo proposicional Simples
 +
* Construção de tabelas-verdade e Funções-verdade
 +
* Lista de exercícios IV [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4]
 +
 +
==30/04/13: Proposições Compostas ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4])==
 +
* Proposições Compostas
 +
 +
* Lista Exercícios V [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5])
 +
 +
==07/05/13: Ordem de Precedência das Operações==
 +
* Ordem de Precedência das operações (conectivos)
 +
 +
* Lista Exercícios VI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6])
 +
* Lista Exercícios Revisão para Avaliação [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista_revisao1.pdf Lista de Revisão])
 +
 +
==14/05/13: Avaliação 1==
 +
* Avaliação individual e sem consulta.
 +
* Conceitos Avaliação 1 [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui]
 +
 +
==21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica.pdf Aula 5]==
 +
* Vista de prova (avaliação 1)
 +
* Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação.
 +
 +
* Lista de Exercícios VII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7]
 +
 +
==28/05/13: Construção de Tabelas Verdade [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica_simplificacoes.pdf Aula 6]==
 +
* Guia de referência (conectivos, relações de equivalência e inferência): [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência]
 +
* Lista de Exercícios VIII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8]
 +
 +
==04/06/13: Construção de Tabelas Verdade [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/inferencia_logica_simplificacoes.pdf Aula 7]==
 +
* Regras de inferência lógica.
 +
* Lista de Exercícios IX [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9]
 +
 +
==11/06/13: Equivalência Lógica==
 +
* Revisão: exercícios de inferência lógica (Lista X): [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10]
 +
 +
==18/06/13: Lógica de Primeira Ordem (cálculo de predicados) ==
 +
* Correção da lista de exercícios em sala
 +
 +
==25/06/13: Lógica de Primeira Ordem (cálculo de predicados)  [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/predicados_quantificadores.pdf Aula 8]==
 +
* Cálculo de Predicados (Predicados, variáveis e quantificadores)
 +
* Lista de exercícios XI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11]
 +
 +
==02/07/13: Lógica de Primeira Ordem: sintaxe e semântica==
 +
* Lista de exercícios de revisão XII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12]
 +
 +
==09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont')  [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/regras_deducao_log_predicados.pdf Aula 9]==
 +
* Lista de exercícios XIII: Cálculo de predicados  [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13]
 +
 +
==16/07/13: Método dedutivo, Formas Normais==
 +
* Correção de lista de exercícios
 +
* Exercícios de revisão para avaliação final
 +
 +
==23/07/13: Avaliação 2==
 +
* Vista de Prova 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/vista_prova_log.pdf clique aqui]
 +
* Conceitos Avaliação 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui]
 +
 +
==30/07/13: Encerramento da Disciplina==
 +
* Avaliações de Recuperação A1 e A2
 +
{{Collapse bottom}}
 +
 +
 +
 
{{Collapse top | Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom}}
 
{{Collapse top | Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom}}
 
=[[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]=
 
=[[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]=

Edição das 17h48min de 18 de agosto de 2013

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



Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom

Carga horária, Ementas, Bibliografia, Professores

Plano de Ensino

Aulas Semestre 2013-2

Diário de aula de LOG - 2013-2 - 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.

Material de apoio

  • Guia de referências (conectivos, relações de equivalência e inferência)

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

  • Não haverá aula de Lógica
  • Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC)
  • Aula será resposta posteriormente

23/04/13: Proposições Simples (Aula 3)

  • Revisão e correção de exercícios
  • Cálculo proposicional Simples
  • Construção de tabelas-verdade e Funções-verdade
  • Lista de exercícios IV Lista 4

30/04/13: Proposições Compostas (Aula 4)

  • Proposições Compostas

07/05/13: Ordem de Precedência das Operações

  • Ordem de Precedência das operações (conectivos)

14/05/13: Avaliação 1

  • Avaliação individual e sem consulta.
  • Conceitos Avaliação 1 clique aqui

21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5

  • Vista de prova (avaliação 1)
  • Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação.

28/05/13: Construção de Tabelas Verdade Aula 6

  • Guia de referência (conectivos, relações de equivalência e inferência): Guia de Referência
  • Lista de Exercícios VIII Lista 8

04/06/13: Construção de Tabelas Verdade Aula 7

  • Regras de inferência lógica.
  • Lista de Exercícios IX Lista 9

11/06/13: Equivalência Lógica

  • Revisão: exercícios de inferência lógica (Lista X): Lista 10

18/06/13: Lógica de Primeira Ordem (cálculo de predicados)

  • Correção da lista de exercícios em sala

25/06/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8

  • Cálculo de Predicados (Predicados, variáveis e quantificadores)
  • Lista de exercícios XI Lista 11

02/07/13: Lógica de Primeira Ordem: sintaxe e semântica

  • Lista de exercícios de revisão XII Lista 12

09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9

  • Lista de exercícios XIII: Cálculo de predicados Lista 13

16/07/13: Método dedutivo, Formas Normais

  • Correção de lista de exercícios
  • Exercícios de revisão para avaliação final

23/07/13: Avaliação 2

30/07/13: Encerramento da Disciplina

  • Avaliações de Recuperação A1 e A2


Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom

Carga horária, Ementas, Bibliografia, Professores

Plano de Ensino

Aulas Semestre 2012-1

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.

Material de apoio

  • Guia de referências (conectivos, relações de equivalência e inferência)

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

  • Não haverá aula de Lógica
  • Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC)
  • Aula será resposta posteriormente

23/04/13: Proposições Simples (Aula 3)

  • Revisão e correção de exercícios
  • Cálculo proposicional Simples
  • Construção de tabelas-verdade e Funções-verdade
  • Lista de exercícios IV Lista 4

30/04/13: Proposições Compostas (Aula 4)

  • Proposições Compostas

07/05/13: Ordem de Precedência das Operações

  • Ordem de Precedência das operações (conectivos)

14/05/13: Avaliação 1

  • Avaliação individual e sem consulta.
  • Conceitos Avaliação 1 clique aqui

21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5

  • Vista de prova (avaliação 1)
  • Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação.

28/05/13: Construção de Tabelas Verdade Aula 6

  • Guia de referência (conectivos, relações de equivalência e inferência): Guia de Referência
  • Lista de Exercícios VIII Lista 8

04/06/13: Construção de Tabelas Verdade Aula 7

  • Regras de inferência lógica.
  • Lista de Exercícios IX Lista 9

11/06/13: Equivalência Lógica

  • Revisão: exercícios de inferência lógica (Lista X): Lista 10

18/06/13: Lógica de Primeira Ordem (cálculo de predicados)

  • Correção da lista de exercícios em sala

25/06/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8

  • Cálculo de Predicados (Predicados, variáveis e quantificadores)
  • Lista de exercícios XI Lista 11

02/07/13: Lógica de Primeira Ordem: sintaxe e semântica

  • Lista de exercícios de revisão XII Lista 12

09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9

  • Lista de exercícios XIII: Cálculo de predicados Lista 13

16/07/13: Método dedutivo, Formas Normais

  • Correção de lista de exercícios
  • Exercícios de revisão para avaliação final

23/07/13: Avaliação 2

30/07/13: Encerramento da Disciplina

  • Avaliações de Recuperação A1 e A2

Links auxiliares


Curso de Engenharia de Telecomunicações

Disponível em “https://wiki.sj.ifsc.edu.br/index.php?title=Lógica_-_engtelecom_(página)&oldid=57745”