Lógica - engtelecom (página)

De MediaWiki do Campus São José
Ir para navegação Ir para pesquisar

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


1 Carga horária, Ementas, Bibliografia, Professores

1.1 Plano de Ensino

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

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

3 Instrutor

Professor: Tiago Semprebom, Dr. Eng.
Email: tisemp@ifsc.edu.br
Atendimento paralelo: 2a feira 8:20h - 09:20h e 6a feira 9:45h - 10: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.

4 Material de apoio

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

4.1 20/08/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)
  • Resposta do exercício 5 da Lista de exercício 1

Pega-se 1 moeda do primeiro grupo, 2 moedas do segundo grupo, 3 moedas do terceiro grupo, 4 moedas de quarto grupo e assim sucessivamente até 10 moedas do décimo grupo, pesando tudo uma só vez.

O peso que faltar para 10+20+30+40+50+60+70+80+90+100=550 gramas é o numero grupo que tem as moedas de 9 gramas.

Exemplo 1: Pesagem 548, temos 2 moedas de 9 gramas logo se pesar 548 é o segundo grupo quem deu 2 moedas de 9g.

Exemplo 2: Pesagem 545, temos 5 moedas de 9 gramas logo se pesar 545 é o quinto grupo quem deu 5 moedas de 9g.

Exemplo 3: Pesagem 549, temos 1 moedas de 9 gramas logo se pesar 549 foi o primeiro grupo quem deu 1 moeda de 9g.

4.2 27/08/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)

4.3 03/09/13: Lógica Proposicional

  • Revisão e correção de exercícios
  • Cálculo proposicional Simples

4.4 10/09/13: Proposições Simples (Aula 3)

  • Construção de tabelas-verdade e Funções-verdade
  • Lista de exercícios IV Lista 4

4.5 17/09/13: Proposições Compostas (Aula 4)

  • Proposições Compostas

4.6 24/09/13: Ordem de Precedência das Operações

  • Não haverá aula (Assembleia Nova Resolução 13)
  • Ordem de Precedência das operações (conectivos)

4.7 01/10/13: Avaliação 1

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

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

  • Vista de prova (avaliação 1)

4.9 15/10/13: Construção de Tabelas Verdade Aula 6

  • Debate: candidatos a Direção do Câmpus São José.
  • Guia de referência (conectivos, relações de equivalência e inferência): Guia de Referência
  • Lista de Exercícios VIII Lista 8

4.10 22/10/13: Construção de Tabelas Verdade Aula 7

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

4.11 29/10/13: Equivalência Lógica

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

4.12 05/11/13: Aula de ELI (Prof. Pedro Armando Jr.)

  • Participação no SBESC 2013 (Niterói/RJ)

4.13 12/11/13: Equivalência Lógica

4.14 19/11/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

4.15 26/11/13: Lógica de Primeira Ordem: sintaxe e semântica

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

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

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

4.17 10/12/13: Avaliação 2

4.18 17/12/13: Encerramento da Disciplina

  • Avaliações de Recuperação A1 e A2
  • Conceitos finais da disciplina: clique aqui
Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom

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

6 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.

7 Material de apoio

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

7.1 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)

7.2 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)

7.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

7.4 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

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

  • Proposições Compostas

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

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

7.7 14/05/13: Avaliação 1

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

7.8 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.

7.9 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

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

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

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

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

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

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

7.13 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

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

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

7.15 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

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

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

7.17 23/07/13: Avaliação 2

7.18 30/07/13: Encerramento da Disciplina

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


Curso de Engenharia de Telecomunicações

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